摘要
Terence Tao 发表《A Severe Misalignment of AI in Mathematics》(9 月 11 日),并发布 25 位 Fields 得主联署宣言(Deligne、Scholze、Villani、Viazovska 等;mathandai.org 开放签名)。核心主张:「AI 公司把解决数学问题当作基准的推进方式,对数学这门科学有害」;解题只是概念理解的「工具与代理」;批量产出的真假判断「可能摧毁沃土」;仓促宣告带来「严重的署名与抄袭问题」。Tao 并不反 AI,但结局「很大程度上取决于掌舵之人所做的决定」。
为什么重要
研究社群第一次针对「以基准为驱动的数学 AI」的协调反击,落地在 Anthropic FLT 形式化与数学界对 OpenAI 做法不满被报道的同一周。对评测团队:数学基准已是争议地带——预计社群规范(署名、writeup 要求)会开始约束 AI 数学结果的声称方式;「解决了著名难题」的宣告需要社群可验证的产物才算数。
技术细节
| 日期 | 2026-09-11 经 Tao 博客发布;mathandai.org 开放签名 |
|---|---|
| 联署 | 25 位 Fields 得主(1978-2026 各届) |
| 主张 | 以基准驱动解题对数学科学有害;解题是代理;署名/抄袭风险 |
| 立场 | 不反 AI;结局取决于人的决定 |
标签
research-policyevaluationmathematicscommunity-responseattribution