突发！Claude拿下概率论「圣杯」，AI跨过菲尔兹奖终点线
突发！Claude拿下概率论「圣杯」，AI跨过菲尔兹奖终点线Anthropic内部尚未发布的超前代Claude自动生成完整证明代码，并经Lean严格验证，攻克了渗流理论3至10维连续相变猜想这一困扰数学界近70年的概率论“圣杯”难题。
来自主题: AI资讯
11176 点击 2026-10-07 15:20
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
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时刻"。
克雷西 发自 凹非寺 量子位 | 公众号 QbitAI 「AI不可能对最尖端的数学家有任何影响」……吗？ 说出这句话的丘成桐，现在已经用上AI辅助研究了。 而且解决的问题，还是44年前他亲自列入自己的
北京大学AI for Math团队宣布在Lean 4中完整形式化庞加莱猜想，约320万行代码、半个月内完成、成本不到3万美元，是首个同时通过Lean编译与Comparator双重验证的版本。
思特雅大学曾仔健搭建的AI Has Taste项目公开453份数学研究手稿和6篇AI-Proposed Conjectures，其中AI曾构造反例推翻论文猜想并获原作者确认，该系统通过多Agent协作将失败转化为新一轮研究输入，推动AI从生成答案走向生成研究议程。
OpenAI一款8月28日开始训练的内部模型已攻克100多道世界级数学难题，多伦多大学数学家Daniel Litt撰文指出，AI虽将大幅提升数学产出效率，但人类对数学的理解仍不可替代，数学教育与评价体系需重新定义，真正应被保留的是人与人之间的讨论、追问与理解。
数学界，真被AI追到家门口了！