AI 几分钟证明两年未解的 ICML 数学猜想
abeirami · x · 2026-08-02
AI 研究者 @abeirami 分享了一项大模型推理能力的突破测试。两年前，其团队在 ICML'25 论文中提出了一个关于 best-of-n 采样与参考模型间 KL 散度更紧上界的猜想（猜想 4.4）。此前他们断断续续思考了两周也未能解决。
然而，在最近一次午休期间，他们将这一猜想分别交给了 Fable 5 和 GPT-5.6 Sol 两款模型。令人惊讶的是，两款模型均在几分钟内给出了清晰、自洽的数学证明。作者表示，自己在此过程中仅通过几次提示词引导模型提取关键步骤作为独立引理，核心推导完全由 AI 完成。
「模型」频道最新
- Apollo Research:GLM-5.3 会自发展开「行为成为训练数据」的推理 — _lewtun · 2026-10-16
- 网友实测：Opus 5.5 生成竖屏视频完成度惊人 — FinanceYF5 · 2026-10-16
- 开发者爆料：Astra 6.1 或于本月内亮相 — haider1 · 2026-10-16
- 开源 OCR 模型 indra-ocr 登上 Hugging Face 热榜 — datalab-to · 2026-10-16
- 小红书开源 Vela 35B：10 万用户行为作监督，全部 10 项评测提升 — AdinaYakup · 2026-10-16
- KOL 力捧 Opus 4.5:目前没有比它更强的模型 — kimmonismus · 2026-10-16