9月11日，25位菲尔兹奖得主（包括陶哲轩、彼得·舒尔茨等）签署声明，题为《AI在数学中的严重错位》。他们警告，AI实验室将“解决数学问题”作为基准竞赛，正损害数学本身的严谨性和优先权认定机制。声明指出，AI生成的证明常依赖海量计算而非洞见，且Lean等形式化工具正被用于“时间戳”而非真正验证。
这一表态正值OpenAI等实验室高调宣称在千年难题上的突破（如Navier-Stokes）之际。数学家认为，此类“slop mathematics”不仅稀释了人类研究的价值，还可能扭曲学术激励——谁先用AI跑通证明，谁就抢占优先权。
对比之下，美国实验室更依赖规模化基准追赶，而欧洲和中国部分团队则强调可验证的垂直应用。Fields Medalists的介入，凸显了AI从“工具”向“裁判”角色转变时，传统学术共同体的抵触。短期内，这或迫使实验室调整评估方式；长期看，数学作为AI对齐的“试金石”领域，其治理博弈才刚刚开始。
悬念在于：下一轮前沿模型发布时，学术界是否会要求“人类主导验证”成为强制门槛？
信源：
https://aiweekly.co/ai-news-today/edition/2026-09-11
https://www.theverge.com/2026/9/11/fields-medal-ai-math-declaration
https://techstartups.com/2026/09/11/top-tech-news-today-september-11-2026-anthropic-deepseek-google-pentagon-oracle-spacex-more/