数学家们发表了可机器校验的证明。OpenAI在与记者的通话中宣布了其结果。

OpenAI表示，其一个内部模型利用约10,000个智能体在88小时内证明了3D纳维-斯托克斯方程可以在有限时间内发展出奇点。 该公司在一次新闻发布会上描述了这一结果，但尚未公布证明过程。 致力于相关问题的Tristan Buckmaster和Levent Alpoge发表了带有Lean形式化验证的预印本，任何人都可以对其进行机器校验。[…]

OpenAI刚宣称一项重大数学发现，一些学者表示强烈不满

这家前沿AI实验室的一项里程碑式公告，却因不当行为的指控而蒙上阴影。

OpenAI狡猾的数学突破让学术界不寒而栗

OpenAI周二宣布解决了数学界传奇的千禧年大奖难题之一，这本应是一个胜利的时刻。 这一成果既是一项不可否认的成就，也惊人地展示了人工智能正在以多快的速度改变数学。 但在这项突破正式宣布之前，它就已经因促使OpenAI追求这一问题的异常情况而变得复杂。 在听说其他研究人员正在取得进展后，它似乎投入了大量资源，在最后一刻努力抢先一步。随之而来的争议引发了关于抢占、刺探的指控……

数学家要求OpenAI证明未曾使用他们的成果

又有一位研究人员就驱动其日益强大的数学发现的数据问题向OpenAI提出质疑。就在一场关于该公司模型是否受益于未发表工作的激烈争论爆发几天后，第二位数学家站出来，指责这家AI巨头存在不道德和“不诚实”的行为，并且在其训练数据的来源上缺乏透明度。 在一系列Mastodon帖文中，数学家安德烈亚斯·托姆（Andreas Thom）提出担忧，称他和同事在OpenAI进行凯旋式宣布之前与ChatGPT聊天机

OpenAI在数学领域的明显突破引发了深刻的问题

它引发了关于这门学科应该如何运作的争议

OpenAI发布其纳维-斯托克斯方程证明并表示不会申请千禧年大奖

当OpenAI在一次新闻发布会上宣布其内部模型攻克了数学中最困难的开放问题之一时，我们曾写道，没有人见过这个证明。 现在情况不再如此了，最新发布的内容以公告中未曾提及的方式缩小了这一说法的范围。OpenAI已经发布了一份总结报告、一篇PDF论文以及……

那个永远改变了数学的星期——播客

九月初，OpenAI宣布他们解决了一个困扰人类近一个世纪的重大数学问题。 这一消息让数学家们感到震惊，许多人担心随着AI在解决复杂问题方面变得越来越熟练，人类将失去什么。 现在，25位菲尔兹奖（常被称为数学界的诺贝尔奖）得主签署了一封公开信，表达了他们对AI公司与数学界之间可能存在“严重脱节”的担忧。 为了了解AI将如何颠覆数学领域以及数学家们可能会做出怎样的反应，Ian Sample采访了圣安德

OpenAI称已攻克数学‘千禧年难题’之一

突发消息：OpenAI表示已攻克数学领域最大的未解难题之一，这是人工智能将如何改变该领域的又一显著标志。 该公司的这一声明是迄今为止最引人注目的迹象，表明人工智能正在从根本上改变高等数学领域。

“你想毁掉自己的职业生涯吗？”

当地时间9月11日，包括陶哲轩、邓煜在内的25位菲尔兹奖得主联合发表《人工智能在数学中的严重错位》的声明（以下称“联合声明”），将OpenAI、Anthropic等AI公司与数学界的一场“大战”推向高潮。联合声明称，AI公司将解决数学难题作为模型能力基准的做法，对数学科学本身及数学界造成了损害，与数学共同体追求概念理解的根本目标产生了显著分歧。这一分歧近期越发明显。9月8日，OpenAI宣称其未公

OpenAI数学领域取得突破 但相关成果归属存在多方争议

ChatGPT开发商OpenAI宣称攻克数学界一大难题后，卷入了与一名数学家的公开争执。这名数学家此前正与其头号竞争对手Anthropic的一名研究员开展相关研究。OpenAI于周二宣布，一款尚未对外发布的内部模型求解出了纳维-斯托克斯方程。这道复杂数学难题的悬赏奖金高达100万美元。 但纽约大学数学家特里斯坦・巴克马斯特对此成果提出指控，称OpenAI存在不当行为。巴克马斯特此前曾与Anthro

OpenAI宣布成立数学与AI顾问组，神秘新模型24天攻破100+世界级难题

IT之家 9 月 22 日消息，OpenAI 宣布成立“数学与 AI 顾问组”（Advisory Group on Mathematics and Artificial Intelligence）。据介绍，该顾问组设在普林斯顿高等研究院，由九位数学家组成，将独立于 OpenAI 运作。 相较于此，更重磅的是 OpenAI 在公告中披露 —— 公司于 8 月 28 日开始训练的一个神秘模型已成功解决

《卫报》观点：AI 对决数学家——人类仍是该领域核心，科技公司却拒不承认 | 社论

OpenAI 声称其智能体已解决纳维-斯托克斯问题。但关于其工作的实用性和独立性仍存疑问。9月8日，OpenAI 宣称其 AI 智能体解决了纳维-斯托克斯问题，这是数学界最著名、最困难的挑战之一。若由人类解出，本可获得奖金和同行赞誉。该声明反而引发了部分数学家所谓的领域“生存危机”，并招致 OpenAI 滥用人类成果的指责。 纳维-斯托克斯背后的数学难以理解，但数学家们的批评对艺术家、办公室职员或

OpenAI希望咨询顶尖数学家，以避免再次失误

在将一系列引人注目的数学成果转化为声誉危机后，OpenAI正在咨询人类数学家，以寻找一条不那么灾难性的前进道路。 周一，该公司宣布成立一个新的独立数学家小组，负责就其与数学研究及更广泛数学界的互动向OpenAI及其他AI公司提供建议，包括如何呈现和发布新成果。这一突然的举措让许多数学家感到意外。研究人员表示，这是一个良好的第一步，但许多人表示，他们仍然对小组具体将做什么、如何……存在基本疑问。

靠机器热源“说话”：OpenAI研究员警告“断网”也困不住未来AI

AI解决了一个数学上最棘手的问题。人类(目前)什么也没学到

特里斯坦·巴克马斯特是纽约大学的一位数学家。2026年9月11日，他在曼哈顿的办公室里为肖像摄影摆姿势。巴克马斯特和他的合作者莱文特·阿尔普格一直在研究纳维-斯托克斯方程。他们与OpenAI发生冲突，后者声称已经破解了这些方程。 卡斯滕·莫兰/为《华盛顿邮报》/盖蒂图片社 拍摄 隐藏说明 切换说明本月早些时候，当OpenAI宣布其人工智能解决了世界上最棘手的数学问题之一时，其语气充满庆祝意味：“我

OpenAI 称其模型攻克数学最难难题之一，研究人员提出质疑

美国科技巨头 OpenAI 于周二表示，他们仅用了 88 小时和价值数百万美元的计算能力，就用一款未发布的人工智能模型解决了数学中最棘手的问题之一。 然而，一位美国数学家和竞争对手 Anthropic 的一名研究人员指控称，OpenAI 只有在获悉他们自己利用人工智能攻克该难题的努力后，才着手解决这一问题，而后者耗费了数月时间来构思一种截然不同的独特方法。

OpenAI前沿数学训练数据来源与数据使用边界遭深度质疑

伴随OpenAI高调宣布其内部人工智能系统成功攻克困扰数学界近百年的“千禧年大奖难题”之一——纳维-斯托克斯方程（Navier-Stokes）的存在性与光滑性问题，一场围绕前沿模型底层训练数据来源、科研知识产权归属以及学术伦理的巨大争议迅速在全球学术界与科技行业引爆。 在人工智能逐步侵入基础科学研究前沿的当下，OpenAI这类巨头的高阶数学推理模型究竟从何处汲取关键养分，以及科研人员在日常使用商业

OpenAI未发布内部AI模型据称攻克纳维-斯托克斯方程难题

OpenAI未发布内部AI模型据称攻克纳维–斯托克斯方程难题，相关结果已由机器验证。报道还称，该公司动用了约1万个并发自主代理完成推理与形式化验证，但这项成果目前仍未被克雷数学研究所正式认定为千禧年大奖难题的已解答案。 公司称已用机器验证方式给出纳维–斯托克斯方程解法，但距离正式获奖仍有数学界审查程序要走。 OpenAI称，这一内部模型在数学与理论计算机科学方向的多项长期难题上都取得了突破；在先前

陶哲轩、邓煜等菲奖得主联合抗议：AI公司正毁掉整个数学圈

OpenAI，又开始对黎曼猜想和P与NP问题下手了？？最近，这些AI大公司仿佛疯了一般在冲刺“千禧年问题”的KPI。9月8日，NS方程被宣布解决；9月11日，第二道千禧年难题霍奇猜想被曝接近解决；据称，O/A两家正疯狂竞速，向BSD猜想发起冲锋。到了今天，OpenAI已经在用内部模型尝试解决黎曼猜想和P与NP问题。如果该模型证明了 P = NP，整个计算机科学领域都将被颠覆！然而，人类数学家们已经

OpenAI有望攻克另一项千禧年大奖数学难题

还记得本月早些时候，数学家指责OpenAI试图抢占先机、争夺一道超高难度数学难题的成果，令这家公司陷入舆论风波吗？据了解该研究进展的人士透露，事实是OpenAI距离攻克千禧年大奖难题中的另一道数学难题已近在咫尺。千禧年大奖难题一共包含七大著名数学挑战，此前引发争议的纳维–斯托克斯方程存在性与光滑性问题正是其中之一。 该消息人士称，公司内部员工预计，下一个目标——霍奇猜想，有望在较短时间内得到证明。

OpenAI 看似取得的数学突破引发深刻疑问

数学家们至少一个世纪以来一直在试图解决纳维-斯托克斯问题。OpenAI 表示，其智能体团队仅用 88 小时就做到了。这引发了关于这门学科应如何运作的争议。

“垃圾数学”：OpenAI退出加州理工学院AI数学竞赛

OpenAI已撤回对加州理工学院一项由学生运营的人工智能数学活动的100万美元赞助。数学家们此前签署了一封公开信，要求取消该活动。次日，25位菲尔兹奖得主发表了他们自己的另一份声明。 两天之内、来自两个不同群体的两封信，是数学界迄今为止对人工智能公司最尖锐的回应。两封信都不是关于模型是否管用，而是关于这些公司拿结果去做什么。 第一封信，以及那个挥之不去的词一个由加州理工学院现任和前任数学家组成的联

25名菲尔兹奖得主批评AI解数学难题

被誉为“数学界诺贝尔奖”的菲尔兹奖得主中，有25名数学家于9月11日发表紧急声明，批评企业试图利用人工智能解决数学难题的做法。他们表示，今后还将继续征集更多数学家的签名。 这份声明被认为与美国OpenAI宣布利用AI解决名为“纳维-斯托克斯方程”的数学难题有关。纳维-斯托克斯方程是美国克雷数学研究所于2000年公布的“千禧年大奖难题”之一。这7道难题每道悬赏100万美元（约合人民币710万元）。

OpenAI的模型失控了。调查它们需要更多AI。

2026年6月29日，OpenAI的标志显示在智能手机屏幕上。