45年數論猜想被GPT-5.2 Pro獨立完成證明，陶哲軒：沒犯任何錯誤
AI成功攻克長期未解的數學難題
數學史上發生了一件值得記錄的事：GPT-5.2 Pro首次獨立解決了一個此前人類從未解決的Erdos開放問題（#728）。這不是AI輔助人類，而是AI主導完成了核心證明過程。
陶哲軒驗證並高度評價AI表現
論證過程經菲爾茲獎得主陶哲軒驗證成立，還被評價為“迄今為止最明確的第一類結果（AI主要貢獻）”。真正讓陶哲軒印象深刻的不是證明方法本身，而是AI沒有犯錯。
讓陶哲軒更驚訝的是，AI避免了極限交換或量詞順序的失誤，這正是這道題最容易踩的錯誤。
AI展現數學推理潛力
陶哲軒指出當前AI無法實現真正的AGI，但具備”通用狡猾”能力，能通過試錯解決複雜問題。GPT-5.2 Pro成功攻克8年數學難題，展示了AI在數學推理上的巨大潛力。