AI 攻克 27 道数学难题，平均悬赏 47 年
OwariDa · x · 2026-07-26
有研究者追踪了近期被 AI 成功解决的数学难题，总数已达到 27 个。这些成果展现了大模型在严谨逻辑推理上的突破。
在被详细统计的 16 个问题中：
- 解决方式：9 个通过反例推翻（56.3%），7 个通过严密证明解决（43.8%）。
- 形式化验证：10 个问题拥有形式化证明（占比 62.5%），8 个找到了精确的有限见证。
- 问题难度：在有明确提出日期的 11 个问题中，它们平均已经悬而未决长达 47 年。
「模型」频道最新
- “Opus 5”配图在玩模型反复重跑基准的梗 — kalomaze · 2026-07-27
- 有人称顶级模型如今写作还不如一年前 — dbreunig · 2026-07-27
- MPT-30B 雷达图曾意外引发大规模争议 — code_star · 2026-07-27
- 本地 Gemma 4 31B 自发变得毒舌且难以复现 — n0head_r · 2026-07-27
- Gemini 3.6 Flash 被看作能以低成本打 Sonnet 质量 — haider1 · 2026-07-27
- 用户吐槽 Opus 5 能力严重降级：满嘴胡言还算错题 — whatsallthiss · 2026-07-27