The system, called "AlphaGeometry2" (AG2), is an advanced AI framework capable of solving 84% of geometry problems posed in the International Mathematical Olympiad (IMO). The average IMO gold ...