
AlphaGeometry is as precise at solving geometry problems as an Olympiad gold medalist
AlphaGeometry is an AI system that combines a neural language model and a symbolic deduction engine to solve geometry problems at the level of the average Olympiad gold medalist. It was trained using a novel method for synthetic proof derivation that does not require human-made demonstrations.