The company’s AlphaGeometry2 reaches the level of gold-medal students in the International Mathematical Olympiad.