GPT-5.6连破数学界难题

第 1 集 · GPT-5.6接连破解多年未解数学难题(2026-07-15,4 条)

GPT-5.6 系列模型近期在数学推理领域展现出惊人实力，接连攻克困扰学术界 20 至 30 年的复杂难题。测试显示，无论是通过单次提示还是结合 CDC 提示与多智能体协作，GPT-5.6 均能在数小时内给出正确解答，并成功通过 Lean 形式化验证。这标志着 AI 在解决真实开放性数学问题方面取得了重大突破。

• 传ChatGPT 5.6一次破解20年数学难题 — Crosas-B · 2026-07-15
• GPT-5.6 Sol被称能形式化证明题 — jasondeanlee · 2026-07-16
• GPT-5.6 Pro 解出开放数学题 — Kyrannio · 2026-07-17
• 模型助力解决30年优化难题 — pkerger · 2026-07-17

第 2 集 · 研究者用 GPT-5.6 Sol 五天连解 6 个 Erdős 数学问题(2026-07-23,6 条)

具有数学背景的研究者 Shouqiao Wang 发文称，自己借助 OpenAI 的 GPT-5.6 Sol 模型与 Codex 工作流，在 5 天内成功解决了 6 个开放的 Erdős 数学问题。该事件引发了科技圈的广泛关注，被视为大模型高阶数学推理能力的又一强力证明。

已确认

根据原帖信息，Shouqiao Wang 具有数学背景，但他强调所使用的 Codex 工作流实际上并不要求使用者具备极深的数学功底。在总共的尝试中，他共解出了 6 道难题，并计划后续公开相关细节。此外，据 Dan Robinson 转述，OpenAI 赞助了该用户的探索，以观察模型能力被推至极限时的表现。

为什么重要

Erdős 问题以高难度著称，此次 5 天内连解 6 题的表现极为亮眼。这不仅展示了 GPT-5.6 Sol 在复杂数学推演上的强劲实力，也暗示了通过特定的 Codex 工作流或提示词工程，即使非顶尖数学家也有机会利用 AI 攻克学术难题。正如 Dan Robinson 所指出的，真正拉开差距的或许正是提示词能力与工作流的优化。

• OpenAI GPT-5.6 Sol 五天解出 6 个 Erdős 问题 — Charuru · 2026-07-23
• 研究者称 GPT-5.6 Sol 5 天解出 6 个 Erdős 问题 — rohanpaul_ai · 2026-07-23
• 借助 Codex 工作流，一周解出六道 Erdős 问题 — schwentker · 2026-07-24
• Polymarket 称博士生用 GPT-5.6 Sol 五天解 6 个 Erdős 问题 — Polymarket · 2026-07-24
• 用户称用 GPT-5.6 Sol 在 5 天内解出 6 个 Erdős 问题 — arampell · 2026-07-24
• 帖称 GPT-5.6 Sol 助博士生 5 天解出 6 个 Erdős 问题 — QuanquanGu · 2026-07-24