研究tldr-ai2026-05-26
Google AIが長年の数学難問を解く
Google DeepMind's AlphaProof Nexus solves decades-old math problems for a few hundred dollars

Google DeepMindのAI「AlphaProof Nexus」が、数十年未解決だった数学の難問を数百ドルの費用で解決。AIが複雑な問題を解く能力を示し、研究に貢献します。
Google DeepMindのAlphaProof Nexusは、353の未解決のErdős問題のうち9つを、1問あたり数百ドルの推論コストで自律的に解決しました。これには、数十年間にわたり未解決だった問題も含まれます。