The team found it was able to solve 4 of 6 problems listed in the IMO this past summer. For this new study ... Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2, arXiv ...