DEEPMIND’S NEW MATH MODEL GETS IMO GOLD WITHOUT ANY HUMAN DEMONSTRATION DATA

Summary from the TLDR AI newsletter

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.