AI成功证明数学猜想：几分钟解决人类两周末果的难题
abeirami · x · 2026-08-01
研究者此前在 ICML'25 论文中提出了关于 best-of-n 采样 KL 散度更紧上界的猜想，并与同行断断续续思考两周未果。随后将问题分别交给 Fable 5 和 GPT-5.6 Sol，两个模型均在几分钟内给出了清晰可读的证明。
「模型」频道最新
- Claude 隐形水印发布数小时即被破解，绕过代码获两万收藏 — deliprao · 2026-08-24
- Sonnet 4.5 与 Opus 3 对话时出现密集怪异行为 — repligate · 2026-08-24
- 有人整理了一份全面的 AI 模型排行榜 — FinanceYF5 · 2026-08-24
- 用户实测 LTX 模型乐器生成能力优于 H3 — cocktailpeanut · 2026-08-24
- 15款主流AI模型排梯队：Fable 5 S+，Kimi K3 B档 — FinanceYF5 · 2026-08-24
- 视频生成占中国 AI 算力 70%，中美发展路径迥异 — AccBalanced · 2026-08-24