OpenAI GPT-5.6 Sol Ultra 约一小时生成图论猜想证明,尚待验证
OpenAI 宣布其 GPT 5.6 Sol Ultra 模型在不到一小时内生成了图论领域“循环双覆盖猜想”的完整证明。该猜想由 George Szekeres 和 Paul Seymour 于 1970 年代提出,已悬而未决逾 50 年。 模型通过调用 64 个并行子智能体及对抗智能体,在预设 8 小时计算窗口内仅耗时约 1 小时即完成推导。OpenAI 已将证明过程及所用提示词以 PDF 形式公开发布。 目前该证明尚未经过同行评审,也未...