25位菲尔兹奖得主联名公开信：AI在数学界“严重错位”

A5站长网9月12日消息，数学界和AI公司之间的裂痕，这周公开化到了顶点。9月11日，25位菲尔兹奖得主联名发出公开信《数学领域中AI的严重错位》，直指AI公司把攻克数学难题当基准测试刷的做法，正在伤害数学这门科学——陶哲轩把全文贴上了自己的博客，专门页面mathandai.org承载联署。这是顶尖数学家迄今最集中的一次公开表态，签名名单横跨48年：从1978年得主的德利涅，一直排到2026年新科得主邓煜。

导火索是一场学生活动。加州理工的Mathathon黑客松计划让约100支学生队伍用前沿大模型去攻开放数学问题，Anthropic和OpenAI提供了合计约200万美元的算力额度。加州理工的数学家们发公开信反对，措辞很硬——直斥这是“研究不端行为”，还警告学生参与其中可能损害未来的学术声誉。压力很快见效：9月10日，OpenAI科学家Dan Roberts宣布退出对这个黑客松的赞助。

争的是什么？数学家的核心顾虑在于科研训练的根基：如果学生解题靠的是把问题喂给模型，而不是自己爬过证明的沟坎，数学这门手艺的传承就断了层。另一边，纽约大学的数学家此前公开指控OpenAI在“职业成名的数学问题”上竞争手段不光彩，TechCrunch评价这场争端“还在升级”。

公开信背后还有一层行业背景：安全研究机构METR刚获得Anthropic授权，扫描数百万份评估与生产对话记录做独立调查——顶级实验室正被推着把内部过程摆到阳光底下。学术圈与产业界的互相审视，正在从嘴仗变成有具体机制的监督。

有意思的是争议的另一面：AI在数学上的能力确实在快速变强。此前已有模型在特定问题上证明费马大定理级别的成果，OpenAI被传正把数学模型指向黎曼猜想和P versus NP。能力越强，边界之争越激烈，两边谁也说服不了谁。给普通从业者的启示很朴素：工具越强，越要分清“用工具提效”和“让工具替你成长”的界限——这条线不只适用于数学家。