困扰学者两年的数学猜想，AI 数分钟写出严谨证明

abeirami · x · 2026-08-01

一位学者分享了一项令人震惊的 AI 能力突破。两年前，作者在一篇 ICML'25 论文中提出了一个关于最佳样本（best-of-n）与参考模型之间 KL 散度更紧上界的猜想（猜想 4.4）。

作者与同行苦思冥想了两周也未能解决。然而，今天将这个问题分别交给了 Fable 5 和 GPT-5.6 Sol 模型，两者均在几分钟内给出了清晰且符合逻辑的数学证明。这展示了顶级大模型在复杂数学推理领域的巨大潜力。