https://www.lab4ai.com/2024/03/09/deepmind-alphageometry-solves-complex-geometry-problems/