众力资讯网

AI证明已有50年历史的数学难题,仅用一小时

🤖OpenAI最新模型GPT-5.6 Sol Ultra利用64个子智能体,在不到一小时内独立完成了“循环双覆盖猜想”的完整证明。
这一图论难题已悬而未决长达半个多世纪。虽然证明简洁巧妙,但尚未经同行评审,数学界正保持谨慎并展开审查。