GPT 证明出更强数学结果
SebastienBubeck · x · 2026-07-19
引用内容称：在一个数学证明任务中，GPT 在 Korsky 的提示下证明了一个比 Beck 1991 年《Annals》论文更强的结论，而且只用了 1 页的简单调和分析技巧。
这条的重点不是“又一个跑分”，而是模型在生成非平凡数学证明时展现出的意外能力：结果更强、证明更短，足以被作者称为“crazy results”。
所属事件:GPT-5.6连破历史数学难题，证明能力大幅提升(10 条相关)→
「研究」频道最新
- Datology Curation Studio 线上深潜：少于 20% 算力匹配最强基线 — josh_wills · 2026-10-27
- KANLab 开源：浏览器里可视化玩转 KAN 网络 — Lukas Niehaus · 2026-10-27
- CMU 提出 LLM2Cert：LLM 生成证书，SMT/Lean 自动验证 — CarnegieMellonU · 2026-10-27
- NVIDIA 开源 FLORA：机器人数据引擎，成本仅 GPT-6 Astra 的 1/125 — nvidia · 2026-10-27
- RSNA 2026 深度学习实验室回归:芝加哥四天八节动手 AI 课 — PRouzrokh · 2026-10-27
- 实验：同时调控两组神经元，模型自行组合出「gnome」概念 — Sauers_ · 2026-10-27