资讯
OpenAI 撤出 Caltech Mathathon，25 位菲尔兹奖得主联名反对 AI「错位」竞赛
一句话：9 月 10 日，在 771 位数学家联名信指控「AI 公司从事科研不端」后，OpenAI 撤回对 Caltech Mathathon 的赞助；次日，陶哲轩等 25 位菲尔兹奖得主发表《人工智能在数学中的严重错位》声明，批评以解题做公关的竞赛。
背景
- 导火索是 OpenAI 宣称内部模型调用约 1 万个 agent、88 小时「解决」纳维-斯托克斯千禧年难题并公布 Lean 形式化证明；NYU 数学家 Buckmaster 指控其借鉴了自己与 Anthropic 研究员 Alpöge 的未发表成果。
核心要点
- OpenAI 研究负责人 Dan Roberts 9 月 10 日宣布撤回赞助，称已通知主办方；截至 9 月 12 日赞助名单中已无 OpenAI。
- 25 位菲尔兹奖得主（Tao、Scholze、Viazovska、Maynard、Kontsevich 等）9 月 11 日联合声明，称 AI 公司与数学界目标「严重错位」。
- 声明核心诉求：给写作与思想提炼留时间、标注先前工作、承认需人类数学家接手消化。
- 背景中 OpenAI 还被指把千禧年难题当 KPI 冲刺，并已转向 Hodge 猜想、BSD 猜想等下一目标。
为什么重要
- 这是前沿实验室与基础科学共同体之间首次大规模、公开的规则冲突，关乎「谁为 AI 生成证明负责」的根本问题。
- 若「暴力解题即公关」成为常态，数学的学术传承链条与署名/归因体系面临被冲垮的风险。
关键事实速记
- 撤赞助：2026-09-10
- 联名：25 位菲尔兹奖得主（09-11）
- 导火索：NS 方程 88h / 1万 agent
- 主题：AI 与数学的「严重错位」
📂 原文链接：查看原文 →
← 返回资讯列表
AI8899 · 内容仅供学习参考