姚期智与杨植麟联合提出 TCSExam,Kimi K3 将图论参考纪录从 629 条边推进到 630 条
姚期智与月之暗面创始人杨植麟等联合提出 TCSExam,用 100 项理论计算机科学研究任务评测前沿 AI Agent 的科研能力。Kimi K3 在 124 个点的图构造任务中构造出 630 条边、超过此前 629 条的参考纪录,并通过程序验证。该框架通过 Lean 4、程序检查器和 Checkpoint 机制分别核验定理证明、算法表现与中间推导,避免把局部进展误判为完整成果。
姚期智与月之暗面创始人杨植麟等联合提出 TCSExam,用 100 项理论计算机科学研究任务评测前沿 AI Agent 的科研能力。Kimi K3 在 124 个点的图构造任务中构造出 630 条边、超过此前 629 条的参考纪录,并通过程序验证。该框架通过 Lean 4、程序检查器和 Checkpoint 机制分别核验定理证明、算法表现与中间推导,避免把局部进展误判为完整成果。
作者复盘将 uni-app 电商 App 的直播推流页适配到 HarmonyOS NEXT 的过程,经六轮真机实验证伪同层渲染路线后,把推流页可见 UI 整体迁入原生 ArkUI 子窗口。
推荐理由:作者用六轮真机实验记录 uni-app 适配 HarmonyOS NEXT 的排查过程,给出了同层渲染不可行的具体证据与替代方案。
叶帆科技创始人刘洪峰以运行二十年的工业物联底座 3.0 重构为样本,提出老系统真正的短板是数据模型而非运行时,测点被绑死在设备名下导致设备一换点就断。
蚂蚁数科决策模型 LingDT-Decision 在 System One 协议上新增 extract 题型,首发信息抽取能力,可返回原文片段及位置。该模型通过 mid-train、强化学习等技术适配产业侧决策精度与效率需求,在 23 项开源评测基准中综合评分超过 Microsoft-Decision-1、Jev 1.13 等模型,27B 版本在同参数规模中准确率最高。
作者在 HarmonyOS 7(API 26)上用同一 Demo 工程实测 FAST Kit 的自然语言排序与 4096 点 FFT 两项能力。排序实验中 1 万条数据耗时从 146 ms 降至 20 ms,10 万条时差距进一步扩大,两方案排序结果哈希一致;FFT 在模拟器上单次耗时约 0.02~0.03 ms。
作者系统梳理了 Kimi Team 技术报告中的 Attention Residuals,把标准残差在深度维的等权累加换成可学习伪查询加 softmax 注意力,并给出 Block 版本以降低内存。
11 月 10 日,蚂蚁灵波科技开源触觉基础模型 LingBot-Touch,基于近 5000 小时真实触觉数据预训练,覆盖磁触觉、视触觉和压阻式三类传感原理,将不同信号编码为统一的触觉 Token。
同一件事,精选收录的是《蚂蚁灵波开源触觉基础模型 LingBot-Touch》
openJiuwen提出TTSE(双轨自演进)框架,将Agent任务经验分为FACT环境事实与TIP条件式技巧两条轨道,分别归纳、验证与更新。论文在ALFWorld、ScienceWorld、GDPevo、SOPBench和PinchBench五个基准上评测,其中ALFWorld在DeepSeek-V3.2上成功率达97.8%,较GraSP的83.6%提升14.2个百分点。
蚂蚁灵波开源触觉预训练基础模型 LingBot-Touch,把磁触觉、视触觉、压阻式触觉三类传感器信号统一编码成触觉 Token 再交给动作模型。预训练数据共 4983 小时、约 13.3 亿帧,轻量版 LingBot-Touch-Tiny 约 532 万参数,技术报告、代码和模型权重均已开源。
同一件事,精选收录的是《蚂蚁灵波开源触觉基础模型 LingBot-Touch》
作者以供应链溯源多跳查询为例,回顾外挂图库虽把查询从 40 秒降到 2 秒,但半年内同步链路出过四次问题、每次一天。文章据此拆解金仓 10 月 30 日发布会提出的库内知识化,认为图化是把关系表按语义对象映射成视图而非复制数据,省掉同步链路、第二套权限和两份存储。作者还给出边界判断:图关系须能从表推导、多跳深度以五跳以内为常态、社区发现等复杂图算法仍适合专业图库。
阿里千问事业部 AI 算法负责人蒋冠军指出,Personal Agent 理论能力上限接近 100%,实际交付能力目前只有 60%~70%,稳定完成任务比刷新 Demo 上限更关键。千问已建立覆盖 30 多个头部行业的需求透视图,拆解出 8000 多项原子模型能力要求,并通过模型与 Harness 深度耦合,在部分场景减少约 40% 的 Token 消耗。
CNCF Sandbox 项目 Hyperlight 新增 hyperlight-unikraft(CLI 为 hluk),可在 hypervisor 隔离的 micro-VM 中运行未修改的 Linux 程序。
百度文心首次披露自动研究系统ERNIE Evolve,该系统可自主提出研究方向、开展实验并验证结果,在NanoChat AutoResearch和NanoGPT Speedrun两项任务的三个评测指标上取得公开验证的SOTA表现。
推荐理由:原文给出ERNIE Evolve在昆仑芯P800上三项推理优化的耗时与提升幅度,可了解RSI在真实研发中的落地方式。
海量数据在10月24日1024开发者日暨产品发布会上发布海量数据库两大关键升级,即向标联合与多模协同,依托“多模原生,融算一体”路线向AI原生智能数据基座演进。