专题 · FULL STORY
GPT-5.6接连破解多年未解数学难题
GPT-5.6系列模型近期在数学推理领域展现出惊人实力，接连攻克困扰学术界数十年的复杂难题。随后研究者实测进一步证实，该模型在短短五天内即成功解出多个公开难题，引发热议。
2026-07-15 ~ 2026-07-23 · 2 集 · 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 五天解出六个数学难题(2026-07-23,2 条)
一位具有数学背景的研究者 Shouqiao Wang 发帖称，自己使用 OpenAI 的 GPT-5.6 Sol 模型在短短五天内成功解决了六个公开的 Erdős 数学问题。这一消息引发了社区关注，展示了先进大模型在探索复杂数学猜想方面的巨大潜力。
- 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