AI数学解题能力爆发已解决312道难题

AI 在高阶数学领域的解题能力正迎来爆发。据追踪网站数据显示，目前已有 312 道原本悬而未决的数学难题被 AI 完全解决。其中，OpenAI 的模型贡献了 234 项数学成果，包含 129 项经 Lean 正式验证的证明，在数量上显著超越 Google DeepMind 等其他机构。

2026-08-04 ~ 2026-08-04 · 2 条相关

• OpenAI模型贡献234项数学成果，远超DeepMind — haider1 · 2026-08-04
• AI 数学解题能力爆发：OpenAI 模型包揽 234 项数学成果 — haider1 · 2026-08-04