AlphaProof

AlphaProof: DeepMind's formal mathematics system, which reached silver-medal standard on International Mathematical Olympiad problems in 2024.

Browse the full glossary →