Google DeepMindのAlphaProof Nexusが5月26日にエルデシュ問題9問を解決、最古の未解決は56年間

xinzhiyuanによると、Google DeepMindは5月26日に、9つの長年にわたるエルデシュの未解決問題を解いたAI数学エージェント「AlphaProof Nexus」をリリースしました。最も古い未解決問題は56年間未解決でした。解答1件あたりのコストはわずか数百ドルでした。

それぞれの証明はLeanコンパイラによって形式的に検証され、誤りの可能性を排除しました。DeepMindはさらに、代数幾何学、凸最適化、グラフ理論、量子光学におけるブレークスルーも報告しています。