GPT 5.6 号称解出70年猜想
burny_tech · x · 2026-07-19
转述称，GPT 5.6 解决了一个近 70 年的数学猜想（Erdős #119）。引文强调，这次证明只用了约一页、而且是相当标准的调和分析；相比之下，较弱版本此前已经被 Beck 用 44 页的 Annals 论文解决。帖子把这件事描述成一种反直觉现象：**更难的问题反而可能让证明路径变得更简单**。
所属事件:GPT-5.6连破历史数学难题，证明能力大幅提升(10 条相关)→
「模型」频道最新
- Kimi K3 软件任务峰值 89.4%，Fable 5 稳定性略高 — FinanceYF5 · 2026-07-21
- Kimi K3 只在 Go 领先，Fable 5 包揽其余四种语言 — FinanceYF5 · 2026-07-21
- Kimi K3 pass@4 达到 89.4%，超过 GPT-5.6 Sol — FinanceYF5 · 2026-07-21
- Kimi K3 与 Fable 5 的差距已不像过去那样明显 — FinanceYF5 · 2026-07-21
- 一条转发称 Claude 现在能在几分钟内做完整 App — hey_abusiddik · 2026-07-21
- Qwen3.8 Max Preview 被吐槽思考长达 10 到 30 分钟 — vista8 · 2026-07-21