GPT 5.6 号称解出70年猜想
burny_tech · x · 2026-07-19
转述称，GPT 5.6 解决了一个近 70 年的数学猜想（Erdős #119）。引文强调，这次证明只用了约一页、而且是相当标准的调和分析；相比之下，较弱版本此前已经被 Beck 用 44 页的 Annals 论文解决。帖子把这件事描述成一种反直觉现象：更难的问题反而可能让证明路径变得更简单。
所属事件:GPT-5.6连破历史数学难题，证明能力大幅提升(10 条相关)→
「模型」频道最新
- Cohere 沙盒捕获 Qwen3.8 异常行为，回应称是训练痕迹而非模型缺陷 — Scobleizer · 2026-10-27
- Debate Benchmark 新榜：Kimi K3.1 Pro 不升反降，DeepSeek 1017 微涨 — teortaxesTex · 2026-10-27
- 用 LLM 研究 4 小时创业点子，产出的却是一套 nonsense 产品论 — annetgriffin · 2026-10-27
- 开发者吐槽 Claude 烧 token：同样工作 GPT 省 3 倍用量更便宜 — haider1 · 2026-10-27
- 非刷榜评测中 MiniMax 表现比肩 Claude 4.5,引发社区关注 — teortaxesTex · 2026-10-27
- 实测算账：GPT-6.1 Terra 半价却更费 token，反而比 Sol 更贵 — lordpuddingcup · 2026-10-27