Original explanatory diagram
AlphaGeometry 2 showed why a proof result needs an input boundary
The February 2025 AlphaGeometry 2 paper reported Olympiad geometry performance through neural proposal and symbolic proof search, with formalized inputs central to the result.
Read analysis