AlphaGeometry2: Achieving Gold Medal Performance in Olympiad Geometry Through Enhanced Language Coverage and Knowledge Sharing
This new DeepMind system achieves gold-medal level performance on geometry olympiad problems by combining language understanding with formal mathematical reasoning. The key innovation is automatically converting natural language problems into formal ma…