AlphaGeometry solved 25 Olympiad problems in the allotted time limit, improving on the previous state-of-the-art, which solved 10.
Importantly, it was trained on 100 million synthetic problems, which eliminates an existing data bottleneck. DeepMind has open-sourced the code and weights.