ChatGPT踢到铁板了！能破解千禧数学难题，但论文复现率低至13.98%？
ChatGPT踢到铁板了！能破解千禧数学难题，但论文复现率低至13.98%？OpenAI最近真是频频往数学界扔重磅炸弹。
来自主题: AI技术研报
7364 点击 2026-10-09 12:01
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
OpenAI最近真是频频往数学界扔重磅炸弹。
彻底撕破脸了。
昨天早上，可能会是人类时代的一个分水岭。
今天上午，OpenAI 把一个尚未发布的内部模型产出的 722 篇数学手稿一次性放上了 GitHub。发布本身的来龙去脉、模型背景和数学界的争议，我们在上一篇报道里已经梳理过。这一篇换个角度，打开仓库，看看清单上到底有哪些成果。
OpenAI公开了未发布的内部前沿模型产出的722篇数学手稿，归为372个成果族，涉及准黎曼猜想和四维挂谷猜想等，其中235族附有Lean形式化说明，仍待专家审读验证。
Anthropic内部尚未发布的超前代Claude自动生成完整证明代码，并经Lean严格验证，攻克了渗流理论3至10维连续相变猜想这一困扰数学界近70年的概率论“圣杯”难题。
OpenAI在GitHub的openai/math仓库公开722份数学手稿，涉及372个问题家族及Lean形式化证明，并表示多数结果来自未发布的内部模型，部分未形式化结果可能存在问题。
xAI联合创始人Christian Szegedy在《数学何去何从？》中称，AI正解决多个数学猜想和长期悬而未决问题，数学将由少数天才的手艺转向科技行业基础设施，但Wolfram等人认为纯数学不会被AI做完。
一位北大数学系校友认为，OpenAI和Anthropic借AI高调宣传数学突破，可能误导公众并打击青年学习数学的热情，学界仍应支持人类数学研究与公平成果归属。
毕树超领衔的Meta超级智能实验室官宣，其Muse Spark模型在6个月内协助数学家连破概率论、微分方程、群论、优化理论、算术物理学及非结合代数六大领域的开放性难题，其中5篇论文直接给出前沿问题答案并推翻了既有群论规则，被毕树超称为数学界的"AlphaGo时刻"。