AlphaGeometry
DeepMind's neuro-symbolic system solved 25 of 30 Olympiad geometry problems; code and model open-sourced.
Our AI system surpasses the state-of-the-art approach for geometry problems, advancing AI reasoning in mathematics
Official source
AlphaGeometry: An Olympiad-level AI system for geometrydeepmind.google · published