Note: This blog was first published on July 25, 2024. On November 12, 2025, we published the methodology behind AlphaProof in an article in Nature Artificial general intelligence (AGI) with advanced ...

Google DeepMindが、形式的な数学推論のための新たな強化学習ベースのシステムとして「AlphaProof」および幾何学を解くシステムとして「AlphaGeometry 2」を発表しました。これら2つのシステムを ...

The competition not only showcases young talent, but has emerged as a testing ground for advanced AI systems in math and reasoning. In a paper published today in Nature, we introduce AlphaGeometry, an ...