2026 年 10 月 13 日 · 星期二每天 08:00 出刊

AI 日报 · 2026 年 10 月 13 日 · 星期二

小易热点

第 20 期13

2026 年 10 月星期二

5件大事4个来源0件一手发布2个新模型约 2 分钟读完

头条

GPT-6 Astra 证明摆圆难题 N≤20 情形

数学爱好者 nor 借助 GPT-6 Astra，严格证明了摆圆问题中 N=15、16、17、18 和 20 这 5 种情况，此前仅 N≤14 和 N=19 得到验证。同日，华为 Memento 3 通关 ARC-AGI-3 全部 25 款游戏，操作次数比人类少 56%。

量子位

数学爱好者 nor 用 GPT-6 Astra 严格证明了摆圆问题中 N=15、16、17、18 和 20 这 5 种情况，此前只有 N≤14 和 N=19 得到验证。

雷锋网

微软基于阿里Qwen3.5-9B后训练推出全新决策模型Microsoft-Decision-1，在结构化决策任务的时延和准确性上超过LLM及Jev 1.13.0等热门决策模型。

量子位

华为诺亚方舟实验室联合 UCL 等团队提出 Memento 3 智能体系统，以 Claude Opus 5 为底模且不更新权重、不针对游戏微调，通关 ARC-AGI-3 公开集全部 25 款游戏、183 个关卡，总操作 7518 次，比人类的 17135 次少约 56%，RHAE 满分 100。

InfoQ 中文

CodeScene 发布案例研究，编码智能体在三周内重构了一个 30 万行 C 代码库，token 成本约 4000 美元，在 726 个文件中产生 2903 次提交、修改 252055 行代码，Code Health 评分从 5.6 升至 10.0。

极客公园

REA（Reverse Engineer Anything）项目 6 天内 GitHub 星标从不到 1 万涨到超过 11 万，它通过 MCP 把 Ghidra、IDA、JADX 等逆向工具接入 Claude Code、Codex 等编程智能体，让智能体自动分析二进制并给出证据。