The first system to reach human-gold-medal standard on International Mathematical Olympiad geometry problems, using a neuro-symbolic approach.
Open the full topic