Download 
A Chinese AI system has outperformed its US competitors in solving geometry problems at the International Mathematical Olympiad (IMO) level, taking less than half the time and using simpler computational resources, according to its developers.
Unlike existing models confined to problem-solving, the Chinese system can also generate mathematical problems – three of which appeared in a Chinese national team qualifying exam and a top Olympiad in the United States in 2024.
“We present TongGeometry, a neuro-symbolic system that discovers, proposes and proves IMO-level geometry problems through principled tree search,” researchers from the Beijing Institute for General Artificial Intelligence and Peking University wrote in the peer-reviewed journal Nature Machine Intelligence on Monday.
The developers of TongGeometry said the system “functioned more like a coach who both designs training problems and guides solution strategies, rather than merely a student who solves given problems”.
Drawing on 196 past Olympiad geometry problems, the system generated 6.7 billion geometry problems that required auxiliary constructions.
Download 
