AI 攻克 27 道数学难题，平均悬赏 47 年
OwariDa · x · 2026-07-26
有研究者追踪了近期被 AI 成功解决的数学难题，总数已达到 27 个。这些成果展现了大模型在严谨逻辑推理上的突破。
在被详细统计的 16 个问题中：
- 解决方式：9 个通过反例推翻（56.3%），7 个通过严密证明解决（43.8%）。
- 形式化验证：10 个问题拥有形式化证明（占比 62.5%），8 个找到了精确的有限见证。
- 问题难度：在有明确提出日期的 11 个问题中，它们平均已经悬而未决长达 47 年。
「模型」频道最新
- 爆料称 Kimi 疑似转发 Claude 冒充自家成绩，DeepSeek 新模型评测反超 — realsohamparekh · 2026-09-11
- 网友吐槽 GPT-5.6 文笔好读但缺乏记忆点 — BasedRaddka · 2026-09-11
- Opus 以"安全"为由拒碰蛋白质生成代码,开发者吐槽误伤 — josephdviviano · 2026-09-11
- 网友称 DeepSeek 4.1 Flash 是语言模型历史拐点(未证实) — himanshustwts · 2026-09-11
- Terminal Bench v4 榜单:GLM-5.3 以 41.9% 一骑绝尘 — Ok_Warning2146 · 2026-09-11
- GPT-6 Astra 用时 44 小时通关含敌人 Factorio,API 成本约 4500 美元 — liminal_bardo · 2026-09-11