International Mathematical Olympiad
Learning the Language of Geometry: AlphaGeometry, a system that nears expert proficiency in proving complex geometry theorems
Machine learning algorithms often struggle with geometry. A language model learned to prove relatively difficult theorems.