新 闻科教                                             

AI重大突破,数学家吵翻了
网易科技2026-09-11  

声明: 本消息或因风格和篇幅原因进行过编辑,但未经核实,也不代表我们的立场、观点或建议。如有侵权,联系秒删。[ 使用条款 ]
赞助信息

一道困扰数学界约90年的千禧难题,OpenAI称,AI用88小时找到了证明。

9月8日,OpenAI公布纳维—斯托克斯(Navier–Stokes)难题的研究成果。公司动用了一个据称比GPT-6 Astra更强的内部模型,组织约1万个并发智能体寻找解法,随后又用17小时完成Lean形式化与验证。论文和验证代码已一并公开。

点击图片看原样大小图片





这道题悬赏100万美元。但消息公布前,两位数学家已经和OpenAI吵了起来:论文该署谁的名、成果该怎么发布,还有他们存在Codex里的研究草稿,究竟有没有被用来训练模型。

他们此前用Claude和Codex辅助研究,已经取得了相关的欧拉方程成果。OpenAI则在听到研究进展的传言后,调动内部模型和大量算力投入攻题。双方成果并不相同,但原本提供研究工具的公司,如今也成了同一领域的竞争者。

点击图片看原样大小图片





您的观点至关重要

点击朱笔,直抒胸臆

By Google

    © 2026    八阕之地™ by Towards Digital Group关于我们反馈意见业务合作八阕书局隐私政策使用条款  
AI重大突破,数学家吵翻了