Event ·Multi-source

OpenAI GPT-5.6 Sol Ultra 一小时证明 50 年数学猜想

OpenAI 于 7 月 10 日宣布，GPT-5.6 Sol Ultra 模型在不到 1 小时内生成了循环双覆盖猜想的完整证明。该猜想是图论领域悬而未决 50 多年的重要难题。证明步骤包括将原猜想归约为三次图问题、利用 8-流定理和 GF(3) 上的线性代数构造。整个证明由 AI 独立完成，但尚未经过正式同行评审，也未使用 Lean 等形式化验证工具。

Current read

OpenAI 的 GPT-5.6 Sol Ultra 只用一小时就搞定了一个困扰数学家 50 年的图论难题，用的是 64 个子智能体协作，比人类更有耐心反复试错。

11 sources91° AI heatLast updated 2026/7/12 00:44:43

Evidence

11 sources

Primary sourceIT之家

2026/7/12 00:44:43View source

Related source 1Decoder

2026/7/11 17:38:35View source

Related source 2SuperTechFans

2026/7/11 00:01:15View source

Related source 3shao__meng

2026/7/10 09:02:01View source

Related source 4elvis

2026/7/10 16:01:24View source

Related source 5AI Will

2026/7/11 13:39:59View source

Related source 6Rowan Cheung

2026/7/10 17:31:49View source

Related source 7@OpenAIDevs

2026/7/10 19:02:54View source

Related source 8OpenAI

2026/7/10 20:59:51View source

Related source 9Greg Brockman

2026/7/11 00:40:30View source

Related source 10Sam Altman

2026/7/11 16:46:22View source

Conflict check

Dedup data only shows that these sources discuss the same event, not that they agree. There is no structured supporting or refuting evidence yet, so no conflict is inferred automatically.

Open the story