AI成功证明数学猜想：几分钟解决人类两周末果的难题
abeirami · x · 2026-08-01
研究者此前在 ICML'25 论文中提出了关于 best-of-n 采样 KL 散度更紧上界的猜想，并与同行断断续续思考两周未果。随后将问题分别交给 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