OpenAI GPT-5.6 Sol Ultra 一小时内独立证明50年图论猜想

OpenAI 宣布其 GPT-5.6 Sol Ultra 模型在不到一小时内,成功生成了图论领域悬而未解 50 年的“循环双覆盖猜想”完整证明。该模型利用提示词工程调度 64 个并行子智能体,通过动态管理、对抗式验证及多样化路线尝试,在无联网搜索的情况下独立完成了推导。证明过程归约为三次图问题,利用 8-流定理和 GF(3) 线性代数构造了关键边标记。曼彻斯特大学数学家 Thomas Bloom 评价该证明“简洁漂亮”,但也指出其缺乏文献引用,且目前尚未经过同行评审或形式化验证。尽管数学界保持谨慎,但此次事件标志着 AI 在独立解决复杂科研难题上取得了重大进展,展示了多智能体协作在提升逻辑推理效率方面的巨大潜力。

事件分析

此次事件标志着 AI 在数学推理领域从“辅助工具”向“独立研究者”的潜在跨越。技术核心在于采用了多智能体编排策略,通过设置专门寻找漏洞的“对抗智能体”和并行的多样化尝试,成功模拟并加速了人类数学家的试错过程。低成本(数百美元)解决长期悬而未决的难题,证明了算力与算法结合在科研领域的边际成本正在极速下降。然而,缺乏文献引用和形式化验证(如 Lean 代码)表明,AI 仍难以建立符合学术规范的严谨逻辑链,其擅长的是在现有框架下的穷举与组合,而非概念创新。这预示着未来科研范式将转向“AI 提出猜想,人类验证概念”的人机协作模式。

💡 核心观点:AI 突破了人类思维在耐心与算力上的生理极限,算力成本正取代思维门槛成为科研效率的新变量。

原文链接:Linux.do

C code80.ai · AI 编码 API 聚合 Claude / GPT 多模型统一接入,稳定不限速,按量计费,几行配置接入 Claude Code。 了解一下 ›

抢沙发

评论前必须登录!

立即登录   注册