In case you wonder how an #AlphaGeometry solution looks like, check out the full solution (109 step!) here. In this IMO 2015, problem #3, the symbolic component asked for help from the neural language models 3 times (the auxiliary constructions in blue) before succeeding 🙂

→ View original post on X — @lmthang