标签
数学
共 3 篇文章
AI资讯
OpenAI 公开 722 份数学手稿，内部模型批量产出未解问题结果
OpenAI 于 10 月 6 日在 GitHub 公开 722 份数学手稿，来自其内部前沿模型对约 4000 道未解问题的求解，平均每题消耗约 3 小时 ChatGPT Pro 思考算力，并附 Lean 形式化证明。这是 AI 批量产出数学成果首次以可更新仓库开放，也让学术界的署名与验证争议再次升温。
2026-10-07
AI资讯
OpenAI 内部模型提出纳维-斯托克斯千禧年难题解法
OpenAI 9 月 8 日宣布，其内部未公开模型提出纳维-斯托克斯存在性与光滑性问题的解答，证明光滑流体可在有限时间内形成奇点，并用约 1 万个智能体协作、Lean 形式化验证，成为 AI 攻克顶级数学难题的标志性事件。
2026-09-09
Anthropic 用 Claude 完成费马大定理形式化证明，11 天写出 1300 万行 Lean
Anthropic 于 9 月 4 日公开，Claude 用 11 天、1300 万行 Lean 代码自主完成费马大定理的完整形式化证明，成为数学史上首个被计算机逐行验证的大定理证明，AI 自动形式化能力就此迈上新台阶。
2026-09-05