OpenAI新版模型调用64个智能体，一小时完成数学猜想证明引关注

币界网消息，OpenAI宣布，GPT-5.6 SOL Ultra调用64个子Agent，用不到1小时，为提出约50年的「循环双覆盖猜想」给出一份证明。OpenAI已公开完整prompt和证明全文，并开源Lean形式化版本，相关代码已通过Lean内核检查。不过，这仍是OpenAI发布的结果，数学界尚未完成独立审查，因此暂时只能说「给出证明」，不能直接说「正式解决」。