2026 年 10 月 20 日 · 星期二AI · 每日要闻每天 08:00 出刊
AI 日报 · 2026 年 10 月 20 日 · 星期二
MYHOT
第 27 期202026 年 10 月星期二
十月本月 20 期
一二三四五六日
3件大事2个来源2件一手发布约 2 分钟读完
头条
上海AI实验室书生-S2与数学家合作证明Ghys猜想，北大团队5天完成55万行Lean代码验证
大湾区大学许地生团队与上海AI实验室用书生-S2科学基础模型证明了1995年提出的Ghys猜想在复余维一情形下成立，解决了悬而未决30多年的复三维情形。模型经7批接续推演，问题图从15个节点扩展到389个节点，累计生成上千页材料。北京大学董彬、刘若川团队随后用Lean 4和自研SHEAF框架，在约5天内生成约55万行Lean代码，完成论文四个主要定理的形式化验证，代码已在GitHub公开。
模型发布/更新
The DecoderMiniMax 发布 M3.1 Flash 推理模型，单任务成本约 0.22 美元
MiniMax 发布推理模型 M3.1 Flash，在 Artificial Analysis 智能指数上得分 42，比前代 M3 高 13 分，单任务成本不到其一半。
论文研究
谷歌开源 Harness²：让 Agent 在运行中自改脚手架
谷歌团队开源了 Harness²，让大模型在运行中自行修改外挂代码、系统提示词、工具链和技能库，无需改动模型权重。该方法采用任务级与改进级双层递归，通过 Propose–Probe–Compose 机制在无标准答案场景下做行为对比，并把调试经验沉淀为 EXPERIENCE.md 存入经验库。