跳到正文
今天11月12日周四5 条
  1. 雷峰网60

    姚期智与杨植麟联合提出 TCSExam,Kimi K3 将图论参考纪录从 629 条边推进到 630 条

    姚期智与月之暗面创始人杨植麟等联合提出 TCSExam,用 100 项理论计算机科学研究任务评测前沿 AI Agent 的科研能力。Kimi K3 在 124 个点的图构造任务中构造出 630 条边、超过此前 629 条的参考纪录,并通过程序验证。该框架通过 Lean 4、程序检查器和 Checkpoint 机制分别核验定理证明、算法表现与中间推导,避免把局部进展误判为完整成果。

  2. 博客园67

    uni-app 适配 HarmonyOS NEXT 直播推流复盘:六轮真机实验后 UI 全部迁入 ArkUI 子窗口

    作者复盘将 uni-app 电商 App 的直播推流页适配到 HarmonyOS NEXT 的过程,经六轮真机实验证伪同层渲染路线后,把推流页可见 UI 整体迁入原生 ArkUI 子窗口。

    推荐理由:作者用六轮真机实验记录 uni-app 适配 HarmonyOS NEXT 的排查过程,给出了同层渲染不可行的具体证据与替代方案。

  3. InfoQ 中文52

    蚂蚁数科 LingDT-Decision 首发信息抽取能力

    蚂蚁数科决策模型 LingDT-Decision 在 System One 协议上新增 extract 题型,首发信息抽取能力,可返回原文片段及位置。该模型通过 mid-train、强化学习等技术适配产业侧决策精度与效率需求,在 23 项开源评测基准中综合评分超过 Microsoft-Decision-1、Jev 1.13 等模型,27B 版本在同参数规模中准确率最高。

11月10日周二
  1. 量子位62

    蚂蚁灵波开源触觉预训练基础模型 LingBot-Touch

    蚂蚁灵波开源触觉预训练基础模型 LingBot-Touch,把磁触觉、视触觉、压阻式触觉三类传感器信号统一编码成触觉 Token 再交给动作模型。预训练数据共 4983 小时、约 13.3 亿帧,轻量版 LingBot-Touch-Tiny 约 532 万参数,技术报告、代码和模型权重均已开源。

    同一件事,精选收录的是《蚂蚁灵波开源触觉基础模型 LingBot-Touch》

  2. 博客园58

    从一次多跳查询复盘看 GraphRAG 库内图化如何落地

    作者以供应链溯源多跳查询为例,回顾外挂图库虽把查询从 40 秒降到 2 秒,但半年内同步链路出过四次问题、每次一天。文章据此拆解金仓 10 月 30 日发布会提出的库内知识化,认为图化是把关系表按语义对象映射成视图而非复制数据,省掉同步链路、第二套权限和两份存储。作者还给出边界判断:图关系须能从表推导、多跳深度以五跳以内为常态、社区发现等复杂图算法仍适合专业图库。

  3. InfoQ 中文40

    千问谈 Personal Agent:为什么下限比上限更重要

    阿里千问事业部 AI 算法负责人蒋冠军指出,Personal Agent 理论能力上限接近 100%,实际交付能力目前只有 60%~70%,稳定完成任务比刷新 Demo 上限更关键。千问已建立覆盖 30 多个头部行业的需求透视图,拆解出 8000 多项原子模型能力要求,并通过模型与 Harness 深度耦合,在部分场景减少约 40% 的 Token 消耗。

11月9日周一
  1. 雷峰网72

    百度文心披露ERNIE Evolve RSI进展,已用于文心5.5 Flash推理优化

    百度文心首次披露自动研究系统ERNIE Evolve,该系统可自主提出研究方向、开展实验并验证结果,在NanoChat AutoResearch和NanoGPT Speedrun两项任务的三个评测指标上取得公开验证的SOTA表现。

    推荐理由:原文给出ERNIE Evolve在昆仑芯P800上三项推理优化的耗时与提升幅度,可了解RSI在真实研发中的落地方式。

11月6日周五