Google DeepMindのAlphaProof Nexusが数十年来の数学問題9件を解き、推論コストは問題あたり数百ドル

Google DeepMindのAlphaProof Nexusが、数学者たちを56年間困惑させた問題を含む9件のオープンErdős問題を自律的に解いた。推論コストは問題あたり数百ドル。

OpenAIの自然言語アプローチとは異なり、このシステムはLean compiler（証明の各ステップを自動検証するツール）を使用して全ての証明ステップを検証する。

全体的な成功率は2.5%である。