OpenAI内部AI模型成功攻克困扰数学界约80年的爱多士(Erdős)单位距离等数学难题，并已获数学家验证，被视为AI在数学研究领域的里程碑式突破。

OpenAI AI模型攻克80年数学难题

知情人士透露，OpenAI已接近解决「千禧年大奖难题」中的霍奇猜想，公司员工预计这一问题将在不久后被攻克。不过对外公布可能会推迟：本月早些时候OpenAI因被数学家指控抢占解题功劳而陷入舆论争议，公司正设法与数学界合作，避免再次引发公关危机。

OpenAI总裁已公开确认在相关数学问题上取得重大进展。部分研究人员认为，数学是继软件工程之后模型最自然的下一个方向——两者都依赖循序渐进的逻辑推理，且答案通常可以自动验证正确性。也有研究人员判断，过去一年席卷软件工程的自动化浪潮，会在未来六到九个月内蔓延到数学领域，这同时有助于推进机器学习研究本身的自动化。

OpenAI接近攻克又一千禧年难题

OpenAI宣布组建一个独立的数学顾问团队，为人工智能与数学研究的结合方向提供外部建议。公司同时披露，自8月28日以来其模型已解决超过100个数学问题。这一动作出现在AI在数学研究中扮演何种角色持续引发争议之际，数学界对这类工具既日益依赖，又普遍保持警惕。

OpenAI成立数学顾问团队

OpenAI宣布将发布一批由其内部前沿模型得出的全新数学研究成果，并称在发布前已持续与普林斯顿高等研究院的数学与人工智能独立顾问组沟通，参考了该顾问组的意见与公开建议。

相关成果已于10月6日公开，《纽约时报》报道称此次发布涵盖377个数学问题的研究结论，部分证明通过形式化验证工具Lean进行了检查，所用模型目前尚未对外发布。此次发布再度在数学界引发争议，多家媒体报道称部分数学家对AI介入研究的方式以及成果署名归属提出质疑。

OpenAI发布AI数学研究成果 引学界争议

OpenAI宣布，其下一代模型驱动的多智能体系统完成了对纳维-斯托克斯方程千禧年奖难题的证明。该问题关注三维流体运动方程是否会出现奇异性，困扰数学界约90年，是克雷数学研究所悬赏的七大千禧年难题之一。OpenAI称证明由一组智能体协作完成，所用新一代模型能力显著超过GPT-6 Astra。不过这一成果同时引发学界争议，多名研究者对功劳归属提出质疑。

OpenAI宣称攻克纳维-斯托克斯千禧难题

OpenAI发布一份249页报告，称未发布模型Astra在群论、高维几何、算子代数等领域推动10项数学与理论计算机科学进展，并公开证明及部分Lean形式化验证；相关成果仍有待学界进一步检验。

OpenAI公布Astra推动10项数学研究进展

陶哲轩等25位菲尔兹奖得主发表联合声明，称AI公司追求快速解题和基准成绩的目标与数学界严重错位，可能牺牲理解、传承与开放合作，侵蚀数学研究生态。

地里快讯

OpenAI AI模型攻克80年数学难题

相关新闻