GPT 证明出更强数学结果
SebastienBubeck · x · 2026-07-19
引用内容称：在一个数学证明任务中，GPT 在 Korsky 的提示下证明了一个比 Beck 1991 年《Annals》论文更强的结论，而且只用了 1 页的简单调和分析技巧。 这条的重点不是“又一个跑分”，而是模型在**生成非平凡数学证明**时展现出的意外能力：结果更强、证明更短，足以被作者称为“crazy results”。
所属事件:GPT-5.6连破历史数学难题，证明能力大幅提升(10 条相关)→
「研究」频道最新
- Baseten 研究发现，LLM 新事实写入权重后很脆弱 — alex_verem · 2026-07-21
- Kimi K3 与 Fable 5 的差距已不像过去那样明显 — FinanceYF5 · 2026-07-21
- uv-scripts/ocr重回HF热门榜并新增JSON模型选择目录 — vanstriendaniel · 2026-07-21
- DeepSearch-World 用 42 万可验证问答训练网页智能体 — HKUST · 2026-07-21
- GigaAM Multilingual 用 200 万小时音频攻低资源语音识别 — ai-sage · 2026-07-21
- WorldCupArena 用 104 场球赛评测语言模型预测能力 — Zhaokai Wang · 2026-07-21