一句话看懂：OpenAI 撤回对加州理工学生 AI 数学竞赛的 100 万美元赞助，Anthropic 选择留下；随后 25 位菲尔兹奖得主联署声明，数学界两天内两次对 AI 公司公开表态。
事件核心：发生了什么
这场名为 Mathathon 的竞赛由加州理工本科生组织，定于 10 月 30 日至 11 月 1 日举行。100 支队伍各获约 40 小时和约 2 万美元 AI 算力额度，攻关开放数学问题，优胜者进入为期六个月的二轮，需提交 arXiv 预印本、演示视频和自动形式化解答。组织者称截至 9 月 10 日已收到逾千份申请。
9 月 8 日起草、10 日发布的公开信有 771 人联署，要求暂停活动，理由是 AI 公司把产出结果的核验、传播和纠错成本转嫁给数学研究者，这种劳动”无报酬、无署名、不被承认”，信中称其为”泔水数学”。9 月 10 日 OpenAI 研究负责人 Dan Roberts 在 X 上确认退出并收回 100 万美元额度，Anthropic 出资的另一半未撤回。9 月 11 日，25 位菲尔兹奖得主（包括 Terence Tao、Peter Scholze 等）发布《AI 在数学中的严重错位》声明，未点名该竞赛，也未要求取消。
为什么重要
两封信指向的不是模型能否解题，而是公司如何使用解题结果。Anthropic 在此期间用 Claude 在 11 天内完成费马大定理的 Lean 形式化，并扩大形式化工作的免费额度和研究积分，形成了与 OpenAI 不同的应对姿态。对 AI 行业而言，这是数学界迄今最直接的一次集体回应：基础研究的验证劳动是否该被计入 AI 能力的宣传成本，正在成为可被追问的问题。
对用户/开发者/创作者的影响
目前公开信息显示，面向数学研究的 AI 算力资助开始带有社区条件——形式化验证、可复现的预印本、公开的评测流程可能成为合作前提。开发者若参与类似竞赛或申请研究积分，需留意产出核验责任归属；企业采购数学、科学推理类 AI 工具时，模型宣称的解题成绩能否被独立验证，将影响其可信度评估。
AI 工具推荐
想把多个 AI 模型放在一个入口？
GamsGo AI 集成 ChatGPT、DeepSeek、Gemini、Claude、Midjourney、Veo 等常用模型，适合写作、绘图、视频和日常 AI 工作流。
推广链接：通过此链接购买，我可能获得佣金，不影响你的价格。
值得关注的后续
一是竞赛是否按调整后的规则如期举行，二轮的形式化要求能否真正落地；二是 Anthropic 的赞助是否引发其研究者社区的新一轮反馈；三是 25 位菲尔兹奖得主声明会不会推动数学会议、期刊或资助机构对 AI 参与设定明确披露规则。
来源：The Next Web
