GPT 5.6 号称解出70年猜想
burny_tech · x · 2026-07-19
转述称，GPT 5.6 解决了一个近 70 年的数学猜想（Erdős #119）。引文强调，这次证明只用了约一页、而且是相当标准的调和分析；相比之下，较弱版本此前已经被 Beck 用 44 页的 Annals 论文解决。帖子把这件事描述成一种反直觉现象：更难的问题反而可能让证明路径变得更简单。
所属事件:GPT-5.6连破历史数学难题，证明能力大幅提升(10 条相关)→
「模型」频道最新
- 有人想给软件工程任务建「形态分类」数据库,好按任务选模型 — StewartalsopIII · 2026-09-11
- 用户呼声下 DeepSeek V4 Pro API 宣布继续服务,计费不变 — teortaxesTex · 2026-09-11
- 第三方实测:DeepSeek V4.1 Flash 达 GPT-6 Astra 98% 分,成本仅 1.4% — ayushtweetshere · 2026-09-11
- TheZhi 发起调查:Fable 5.1 与 Astra 发布后,编码模型选择变了吗 — TheZvi · 2026-09-11
- antirez 谈 Anthropic 禁止未成年人使用 Claude — antirez · 2026-09-11
- Engram 随机读取不适合 SSD，CPU 内存低延迟共享或成正解 — bookwormengr · 2026-09-11