Solving olympiad geometry without human demonstrations

Trinh, Trieu H., Wu, Yuhuai, Le, Quoc V. · Nature · 2024