GPT-5.6 调用 64 个 Agent 提出 50 年猜想证明

OpenAI 的 GPT-5.6 Sol Ultra 调用 64 个子 Agent，在不到 1 小时内为「循环双覆盖猜想」提供了一份证明。OpenAI 已公开完整 prompt 和证明全文，并开源 Lean 形式化版本，相关代码已通过 Lean 内核检查。目前，数学界尚未完成独立审查，因此该结果暂时只能称为「给出证明」，而不能直接称为「正式解决」

本内容仅供参考，不构成任何金融、投资、法律或税务建议。文中提及的任何活动、奖励、线上活动或相关信息，不应被视为对购买、出售或交易任何加密资产的推荐、招揽或邀请。加密资产具有高波动性，存在价值损失风险。WEEX服务、产品及相关活动的可用性可能因地区而异。用户在参与前有责任确保符合当地适用法律法规。