DeepMind’s AlphaGeometry solved 25 of 30 olympiad geometry problems with no human examples

Trained on 100 million machine-generated proofs, AlphaGeometry solved 25 of 30 International Mathematical Olympiad geometry problems, near gold-medallist level; the previous best program solved 10 and GPT-4 solved none.








