Theorem Proving · Google DeepMind
AlphaGeometry: Olympiad Geometry Without Human Proofs
AlphaGeometry pairs a language model with a symbolic engine and trains on 100M synthetic theorems, solving 25 of 30 olympiad geometry problems versus 10 for the prior best.