一句话看懂：OpenAI 用数万智能体宣称破解 90 年悬而未决的数学难题，Anthropic 的 Claude 也完成费马大定理的形式化证明，AI 正加速数学突破，但署名争议和数学家的焦虑随之浮现。
事件核心：发生了什么
过去一周，AI 在数学领域接连放出重磅消息。OpenAI 表示动用数万个 AI 智能体，解决了与 Navier-Stokes 方程奇点问题相关的 90 年难题，该问题附带百万美元悬赏，但结论仍需独立验证，方案建立在此前西班牙数学家 Diego Córdoba 和 Luis Martínez-Zoroa 的工作之上。与此同时，纽约大学数学家 Tristan Buckmaster 与 Anthropic 研究员 Levent Alpöge 称，他们已先于 OpenAI 发布三个高度相关问题的解法，并指责 OpenAI 在获知其进展后抢先发难、试图影响功劳归属。上周，Anthropic 也宣布 Claude 在形式化费马大定理的过程中顺带证明了 29500 个小定理。
为什么重要
康奈尔大学教授、《Big Math》合著者 Steven Strogatz 将 2026 年称为数学的“奇迹之年或灾难之年”。他认为，这些突破的真正价值未必在数学本身，而在于向外界证明自家模型更强，商业意味浓厚，甚至与冲刺 IPO 的节奏有关。Navier-Stokes 这类高度理论的问题对工程实践几乎无直接影响，目前公开信息显示，它更像是算力和推理能力的展示窗口。这也意味着大模型竞争正从语言、图像生成延伸到基础科学验证，科研评价体系和成果署名规则会承受新一轮压力。
对用户/开发者/创作者的影响
对开发者而言，智能体协作解决复杂推理任务的能力正在被验证，未来在科研辅助、代码验证和数学建模等场景中，调用 API 让模型批量探索假设可能成为常规工作流。对数学研究者，Strogatz 直言“未来想做突破性数学，没有 AI 就无法竞争”，他的合著者 Alex Townsend 已借助 ChatGPT 解决数十年悬而未决的数值线性代数问题，并坦言 15 年积累的巅峰技能被 AI 超越，感到威胁。对普通用户，短期内直接可用的产品变化有限，但模型推理能力提升会逐步渗透到搜索、编程和数据分析工具中。
AI 工具推荐
想把多个 AI 模型放在一个入口？
GamsGo AI 集成 ChatGPT、DeepSeek、Gemini、Claude、Midjourney、Veo 等常用模型，适合写作、绘图、视频和日常 AI 工作流。
推广链接：通过此链接购买，我可能获得佣金，不影响你的价格。
值得关注的后续
一是 OpenAI 的解答能否通过独立同行验证，若验证失败将影响其科研公信力。二是百万美元奖金的归属如何裁定，Buckmaster 与 Córdoba 团队的优先权争议是否引发学术机构介入。三是 Anthropic、Google DeepMind 等是否跟进发布类似数学成果，以及模型厂商是否会公开智能体协作的具体方法与成本，这决定开发者能否复现类似工作流。
来源：Wired
