25 Fields Medalists Sign Declaration Criticizing AI Firms' Benchmark-Driven Math

Coverage timeline

1. Techmeme2 months ago
   A group of 25 Fields Medal recipients says AI companies' push to solve mathematical problems as a benchmark is detrimental to the science of mathematics (Terence Tao/What's new)

   Terence Tao / What's new : A group of 25 Fields Medal recipients says AI companies' push to solve mathematical problems as a benchmark is detrimental to the science of mathematics — I am proud to be among the list of 25 initial signatories — all Fields Medallists — to the declaration below, which grew out of discussions between ourselves over the last week.

   
2. TechCrunch AITim Fernholz2 months ago
   OpenAI’s feud with mathematicians is only escalating

   Twenty-five leading mathematicians signed an open letter arguing that AI labs are threatening their intellectual work.

3. 量子位量子位last month
   陶哲轩邓煜究竟在反对什么：AI暴力解题摧毁人类数学精神

   陶哲轩邓煜究竟在反对什么：AI暴力解题摧毁人类数学精神 衡宇 2026-09-12 12:53:58 来源： 量子位 25位菲尔兹奖得主联名吹哨 衡宇 发自 凹非寺 量子位 | 公众号 QbitAI 面对近期AI大厂推进数学研究的方式，连一向与AI为善的陶哲轩都坐不住了。 刚刚，陶哲轩、邓煜等25位菲尔兹奖得主联合发起并作为首批签署人，发布了一份声明表示： AI公司推进数学的方式，已经与数学共同体的目标出现“severe misalignment （严重偏移）”。 因鉴于近期AI急剧发展对数学领域带来的冲击极为严峻，发起人未走流程繁琐的协商程序，而是选择紧急公开发布，以尽快回应危机。 过去几个月，大语言模型的数学能力急剧提升，已经能解决多个数学领域中重大的未决问题；但AI公司越来越倾向于把解决数学问题当作benchmark来推进的做法，对数学这门科学、对数学共同体都是有害的。 AI公司的目标与数学共同体的目标严重错位。 我们认为，这属于更广泛的错位问题的一部分，影响着其他科学与创意职业，乃至整个社会。 回顾过去半年，AI在解决数学难题方面频频取得了突破性进展—— 5月，OpenAI内部模型给出Erdős单位距离猜想反例。 7月，Claude参与推翻Jacobian conjecture。 9月初，GPT-6 Astra在孪生素数猜想方向上取得了新进展，用Lean形式化证明把连续素数间距的上界从246推到了186。 本周，OpenAI用1万个Agent跑了88小时，拿出Navier-Stokes证明，并由此引发出一场涉及OpenAI、Anthropic和两位数学家之间的罗生门事件。 单纯从数学进展来说，这无疑是好事。 但无可否认，由此还带来的一系列冲击和影响。 本周关于Navier-Stokes的实践更是成为直接导火索 ，促使25位菲尔兹奖得主在过去一周紧急商议，并迅速发表此联名公开信。 声明全文：https://mathandai.org/ 首先要说明，这份声明并不是呼吁or要求停止AI，或停止用AI来主导/辅助数学研究工作，也没有否认AI取得的这些成果。 他们的核心担忧集中在下面三个方面： 第一， AI解题速度开始超过数学共同体消化知识的速度。 第二， AI公司追求benchmark成绩，数学界追求方法、理解和知识传承，两套评价体系开始分叉。 第三， 当AI能快速

   
4. 机器之心机器之心last month
   突发！陶哲轩、邓煜等25位菲尔兹奖得主联合声明：AI公司正在摧毁数学

   编辑｜Panda 9 月 11 日，陶哲轩、邓煜等 25 位菲尔兹奖得主联合署名发表了一份公开信《 人工智能在数学中的严重错位（A Severe Misalignment of AI in Mathematics） 》。陶哲轩把全文贴在了自己的博客「What's new」上，另有专门页面 mathandai.org 承载并开放继续联署。 地址：https://terrytao.wordpress.com/2026/09/11/a-severe-misalignment-of-ai-in-mathematics/ 公开信第一段内容就解释了原因：「过去几个月，大语言模型的数学能力急剧提升，已经能解决多个数学领域中重大的未决问题；但 AI 公司把解决数学问题当作基准测试来推进的做法， 对数学这门科学、对数学共同体都是有害的。AI 公司的目标与数学共同体的目标严重错位 。我们认为，这属于更广泛的错位问题的一部分，影响着其他科学与创意职业，乃至整个社会。」 这倒不是一封反对 AI 做数学的信。声明后文明确承认 AI 有加速真正数学研究的潜力。 它反对的是公布方式 ：匆忙宣布、来不及写出像样的论文、来不及提炼新方法、也来不及引用他人在先的工作。在数学界看来，这套流程正是数学之所以能被传承下去的重要依托。 值得一提的是，声明选用的核心词 misalignment（错位/对齐失败） 原本是 AI 安全圈的术语。这两天，AI 公司的自己人也经常说到这个词。比如，就在今天，刚离开 Anthropic 安全团队、即将加入独立评估机构 METR 的 Joe Benton 在 𝕏 上写道，AI 公司正竞相打造比任何人类都聪明得多的机器，而我们可能无法在这场竞赛中幸存。 而三天前辞职的 Jacob Coxon 措辞更硬，称他待过的 两家公司 OpenAI 和 Anthropic 都没有负责任地行事 。其推文引发广泛关注，已有超过 1.66 亿次浏览。 这些警告都指向了同一个判断： AI 推进的方式似乎和它本该服务的目标之间出现了偏差（misalignment）。 一份没有时间打磨的公开信 这份公开信签名名单横跨 48 年的菲尔兹奖史，从 1978 年的皮埃尔·德利涅（Pierre Deligne）一直排到 2026 年的邓煜（Yu Deng）。中间是彼得·舒尔茨（Peter Scholze）

   
5. 机器之心机器之心last month
   AI又攻克了一个40年数学猜想

   编辑｜Panda 今天凌晨， 陶哲轩等 25 位菲尔兹奖得主发出一份联合声明 ，标题是《AI 在数学中的严重失准》（A Severe Misalignment of AI in Mathematics）。署名名单从 1978 年的皮埃尔·德利涅（Pierre Deligne）一直排到今年刚刚获奖的邓煜，中间是舒尔茨（Peter Scholze）、维亚佐夫斯卡（Maryna Viazovska）、许埈珥（June Huh）、梅纳德（James Maynard）等诸多数学界大佬。 https://mathandai.org/ 声明并没有否认 AI 很强、作用很大，毕竟 AI 已经可以解决多个数学分支中的重大未决问题。问题是：太快了。 这些解法常常是在匆忙中被宣布的，来不及写成规范论文，来不及把新方法和新想法剥离出来，也来不及引用他人的相关前作。 这 25 位菲尔兹奖得主担心，以越来越快的节奏批量生产「真/假」判断，会毁掉孕育新思想的土壤，而数学家之间那条至关重要的人类传承链条会就此断掉。 陶哲轩在博文里还补充说，他们原本计划像 6 月的《莱顿宣言》那样走更充分的征询流程，但认为 事态紧迫 ，必须先把声明发出去。 到底有多紧迫？就在声明发布前一天，又有一个重要猜想被 AI 证明了。 Komlós 猜想被 AI 证明 9 月 10 日，arXiv 编号 2609.11189，标题《Vector Balancing via Directional Total Variation》（经方向全变差的向量平衡），归入组合数学与泛函分析，全文 18 页，无图。 摘要的最后一句是： 本证明由 Odin Automatic AI Research Agent 发现 。 https://arxiv.org/pdf/2609.11189 该论文声称已证明 Komlós 猜想（Komlós conjecture） 。该猜想由匈牙利数学家 János Komlós 提出，最早见于 Spencer 1985 年那篇著名的《六倍标准差足矣》的记述中，四十年来是差异理论（discrepancy theory）里最有名的未解问题之一。 这个猜想的陈述可以压缩得很短：给你任意多个欧氏长度不超过 1 的向量，无论它们有多少个、处在多少维空