AI 数学解题能力爆发：OpenAI 模型包揽 234 项数学成果
haider1 · x · 2026-08-04
AI 在高阶数学领域的解题能力正迎来爆发式增长。据追踪网站 VibeMathed 数据显示，目前已有 312 道悬而未决的数学难题被 AI 完全解决，这些题目原本累计公开了 6,238 年。其中，130 项成果已通过 Lean 形式化验证（机器检验）。
在模型贡献方面，OpenAI 模型占据了绝对主导地位，包揽了 234 项被记录的数学成果。相比之下，Google DeepMind 仅被记录贡献了 27 项成果。这一悬殊差距凸显了当前不同大模型在深层逻辑推理能力上的差异。
所属事件:AI数学解题能力爆发已解决312道难题(2 条相关)→
「模型」频道最新
- Kimi 被夸能做长程编码，而且表现得更“听话” — casper_hansen_ · 2026-08-04
- llama.cpp 补丁把 DeepSeek-V4-Flash-0731 提速到 25.91 tok/s — dyn___ · 2026-08-04
- Qwen3.8-Max 在 Vision Arena 视觉榜单排第 2，仅差 13 分 — arena · 2026-08-04
- Polymarket 预计两周内发布新 Gemini Pro，概率达 82% — Polymarket · 2026-08-04
- Reddit 在比 Qwen3.5-VL、InternVL 和 Gemma 4 的图像描述能力 — TekeshiX · 2026-08-04
- Claude 使用量监控疑似异常，两轮对话就显示 99% — dreamwieber · 2026-08-04