“In a benchmarking test of 30 Olympiad geometry problems, AlphaGeometry solved 25 within the standard Olympiad time limit.”
AlphaGeometry solved 25 of 30 Olympiad geometry problems. The average gold medalist solves 25.9. A symbolic engine does the deduction, and the language model only suggests which point or line to add, trained on 100 million synthetic proofs. Geometry is the Olympiad topic that reduces most cleanly to search. Google picked the friendliest event and called it Olympiad-level.