专题 · FULL STORY
AI数分钟证明数学猜想引发惊叹
研究者断续思考两年未解的数学猜想被AI在数分钟内证明。数学家随后分享经历，指出最新模型已无需复杂提示即可解决早期模型束手无策的难题。
2026-08-01 ~ 2026-08-02 · 2 集 · 5 条
第 1 集 · AI数分钟证明两年未解数学猜想(2026-08-01,3 条)
AI大模型在数学推理领域展现出惊人突破。研究者此前在ICML'25论文中提出了一个关于best-of-n采样与参考模型间KL散度更紧上界的猜想，团队断断续续思考两周也未果。然而，将问题交给Fable 5和GPT-5等大模型后，AI仅在几分钟内便成功写出了严谨的数学证明，轻松解决了困扰人类学者两年的难题。
- 困扰学者两年的数学猜想，AI 数分钟写出严谨证明 — abeirami · 2026-08-01
- AI成功证明数学猜想：几分钟解决人类两周末果的难题 — abeirami · 2026-08-01
- AI 几分钟证明两年未解的 ICML 数学猜想 — abeirami · 2026-08-02
第 2 集 · 数学家分享AI证明进化：最新模型无需复杂提示即可解题(2026-08-02,2 条)
一位数学家分享了利用AI辅助证明数学猜想的演进经历。早期在使用GPT-4o和Claude 3.5 Sonnet时，模型虽能提出文献中未见的猜想，但历经一个月仍给出充满自信却错误的证明，需依赖精心设计的复杂提示词。然而，在最新的模型（如o1-mini）上重新运行时，AI不仅无需复杂提示就能直接给出全新且正确的证明，其解题过程也变得更加有趣和多样化，印证了AI数学推理能力的显著提升。
- 数学家分享 AI 辅助证明经历：o1-mini 给出全新正确证明 — prof_g · 2026-08-02
- 展示 AI 数学证明进化：最新模型已无需复杂提示词 — prof_g · 2026-08-02