Researchers say the Chinese-developed TongGeometry system not only outperforms American competitors in solving problems but also generates mathematical ones, with three appearing in a 2024 Chinese national team qualifying exam and a top US Olympiad.
Researchers from the Beijing Institute for General Artificial Intelligence and Peking University have developed TongGeometry, a system that outperforms American competitors, such as Google DeepMind's AlphaGeometry, in solving geometry problems. Unlike existing models limited to problem-solving, it can also generate mathematical problems—three of which appeared in a 2024 Chinese national team qualifying exam and a top US Olympiad. 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. It runs on an NVIDIA RTX 4090 GPU and was published in Nature Machine Intelligence, with involvement from New York University researchers. This advancement highlights Chinese AI's progress in the International Mathematical Olympiad, pushing beyond the constraints of prior models.