困扰学者两年的数学猜想，AI 数分钟写出严谨证明
abeirami · x · 2026-08-01
一位学者分享了一项令人震惊的 AI 能力突破。两年前，作者在一篇 ICML'25 论文中提出了一个关于最佳样本（best-of-n）与参考模型之间 KL 散度更紧上界的猜想（猜想 4.4）。
作者与同行苦思冥想了两周也未能解决。然而，今天将这个问题分别交给了 Fable 5 和 GPT-5.6 Sol 模型，两者均在几分钟内给出了清晰且符合逻辑的数学证明。这展示了顶级大模型在复杂数学推理领域的巨大潜力。
「模型」频道最新
- 博主实测：argon 日常全面能打，但重度编码仍略逊 Claude — iruletheworldmo · 2026-10-16
- NVIDIA 发布 Qwen3.8-Flash FP4 量化版，主打本地部署 — nvidia · 2026-10-16
- RoboVista 机器人理解基准发布:Gemini-4 Argon 81.9% 登顶 — berkeley_ai · 2026-10-16
- 开发者实测:决策模型 jev 质量跑赢 GPT-6-Luna — genmon · 2026-10-16
- Reddit 用户求证 Google AI Pro 订阅中 Argon 4 用量上限 — Consistent-Text-2662 · 2026-10-16
- Reddit 用户困惑:为什么那么多人觉得 Claude 比 ChatGPT 好 — -ButterflyEffect- · 2026-10-16