7月10日，OpenAI宣布其新模型GPT-5.6 Sol Ultra在不到1小时内独立完成图论难题‘循环双覆盖猜想’的完整证明。该猜想由Szekeres与Seymour于1973–1979年提出，悬而未决逾50年。模型调用64个并行子智能体，基于三次图归约、8-流定理及GF(3)线性代数构造完成证明，全程离线、无文献引用。证明已发布至OpenAI CDN，但尚未经过同行评审或形式化验证。数学界正开展严格审查，结果待定。

免责声明：本文内容由开放的智能模型自动生成，仅供参考。