Google DeepmindのAlphaProof Nexusが数十年未解決の数学問題を数百ドルで解決

Google DeepmindのAlphaProof Nexusは、9つの未解決のエルデシュ問題（うち2つは56年間数学者を悩ませてきた）を自律的に解決し、1問題あたりの推論コストはわずか数百ドルでした。OpenAIの自然言語アプローチとは異なり、このシステムはLeanコンパイラを使用してすべての証明ステップを自動的に検証します。ただし、全体的な成功率はわずか2.5%です。