AI 攻克 27 道数学难题，平均悬赏 47 年
OwariDa · x · 2026-07-26
有研究者追踪了近期被 AI 成功解决的数学难题，总数已达到 27 个。这些成果展现了大模型在严谨逻辑推理上的突破。
在被详细统计的 16 个问题中：
- 解决方式：9 个通过反例推翻（56.3%），7 个通过严密证明解决（43.8%）。
- 形式化验证：10 个问题拥有形式化证明（占比 62.5%），8 个找到了精确的有限见证。
- 问题难度：在有明确提出日期的 11 个问题中，它们平均已经悬而未决长达 47 年。
「模型」频道最新
- Clinical System One v0.2:更难测试下顶级医疗 AI 准确率跌至 65% — MaziyarPanahi · 2026-10-27
- ChatGPT 把 404 Media 当科技公司客服，大批用户被推荐去找记者修手机 — 404 Media · 2026-10-26
- 用 Claude 讲清压限器自动增益补偿，音频工程师直呼最佳示范 — teropa · 2026-10-26
- ChatGPT 把记者当客服：404 Media 收到大量 AI 代写爆料邮件 — 404 Media · 2026-10-26
- Fern 团队提出「上下文即智能」:预测精度随上下文增至 1000 万 token 持续提升 — bneyshabur · 2026-10-26
- Mirendil 发布首个自研预训练模型 Fern,上下文最长 1000 万 token — bneyshabur · 2026-10-26