GPT-5.6 连解 Erdős 难题，但被指夸大
7 月 14 日至 15 日，围绕 GPT-5.6 数学能力的讨论迅速升温。多名测试者称该模型接连解出多道 Erdős 问题，相关消息被《Scientific American》等媒体概括为"ChatGPT 又证明了一个 50 多年的数学猜想"，把大模型的数学推理从竞赛题、标准 benchmark 推进到更接近真实研究问题的场景；但原作者本人随后表态，认为此事被过度炒作。
关键细节
最具体的一手说法来自 ThunderBeanage：他称在一周的 stealth 测试期间用 GPT-5.6 Pro 做出多道 Erdős 问题的解，已把 730、671、948、346、1139 五题提交到站点，部分仍在等待验证。讨论焦点则集中在 Erdős #793，该题涉及 2-primitive set 的渐近性质、已有 50 多年历史；jdlichtman 最早放出这一消息（经 Sebastien Bubeck 转述），称 GPT-5.6 给出了一条非常短而优雅的构造。另有测试者继续用 GPT-5.6 Sol Ultra 在同一题上尝试，得到新的构造思路。
传播与争议
《Scientific American》及其衍生转述把事件概括为"ChatGPT 又证明了一个 50 年前的数学猜想"，使讨论从技术圈扩散到更广泛受众。随后有转发指出，原作者明确表示此事被过度炒作：相关证明本身可能正确，但不应直接解读为一次重大数学突破。
需分开看待的另一说法
本簇还混入新智元转述的一条消息：其称 OpenAI 官方宣称 GPT-5.6 Sol Ultra 通过 64 个并发智能体协作，在不到 1 小时内证明了"循环双覆盖猜想"，并由 Codex 验证。就本批帖子而言，这一说法没有配套的一手原帖支撑，与前述 Erdős 题目讨论也并非同一条证据链，宜单独看待。
2026-07-14 ~ 2026-07-15 · 10 条相关
一手来源
- GPT-5.6 Pro 解出5道Erdős题 — ThunderBeanage ·
- ChatGPT 被称助证数学猜想 — scientificamerican ·
- GPT-5.6 传出数学突破 — 新智元 ·
- GPT-5.6再解50年数学难题 — FlorianGallwitz · 2026-07-14
- GPT-5.6在Erdős问题上给出新构造 — HZoete · 2026-07-14
- GPT-5.6 再解 Erdős 难题 — socoolandawesome · 2026-07-14
- 【源头】GPT-5.6 Pro 解出5道Erdős题 — ThunderBeanage · 2026-07-14
- 【源头】ChatGPT 被称助证数学猜想 — scientificamerican · 2026-07-14
- GPT-5.6 解出旧题但被泼冷水 — _onionesque · 2026-07-15
- 【源头】GPT-5.6 传出数学突破 — 新智元 · 2026-07-15
另有 3 条近重复转述:lukaszkaiser · scientificamerican · throwawaykJQP7kiw5Fk