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.
Chinese AI researchers, Beijing Institute for General Artificial Intelligence, Peking University, International Mathematical Olympiad, TongGeometry, AlphaGeometry, Nature Machine Intelligence, Google DeepMind, New York University, NVIDIA RTX 4090 GPU, US Ersatz Math Olympiad#Chinese #level #geometry #top #maths #Olympiad1769649592
AlphaGeometry
Beijing Institute for General Artificial Intelligence
Chinese
Chinese AI researchers
geometry
google deepmind
International Mathematical Olympiad
Level
maths
Nature Machine Intelligence
New York University
NVIDIA RTX 4090 GPU
Olympiad
Peking University
TongGeometry
top
US Ersatz Math Olympiad
