Google DeepMind 的 AlphaProof Nexus 在 5 月 26 日解決 9 個 Erdős 問題，56 年來最古老的未解問題

根據 xinzhiyuan，Google DeepMind 於 5 月 26 日發布了 AlphaProof Nexus——一款 AI 數學代理，解決了九個長期未解的 Erdős 未解難題，其中最久未解的問題已有 56 年。每個解答的成本僅幾百美元。

每個證明都透過 Lean 編譯器進行了形式化驗證，消除了出錯的可能性。DeepMind 也報告了在代數幾何、凸最佳化、圖論以及量子光學方面的突破。