https://english.news.cn/20260127/26a2c05ece9f493fbcb90525ce0201f0/c.html

https://www.nature.com/articles/s42256-025-01164-x

A joint research team from Beijing Institute for General Artificial Intelligence (BIGAI), the School of Psychological and Cognitive Sciences at Peking University, the School of Intelligence Science and Technology at Peking University, the Institute for Artificial Intelligence at Peking University, and the Wuhan Institute for Artificial Intelligence at Peking University has developed a general artificial intelligence (AGI) system capable of both autonomous problem proposing and automated problem solving, marking a critical milestone in the self-developed logic cores for automated reasoning.

In performance and functional diversity, TongGeometry has fully outperformed international benchmarks, including DeepMind’s AlphaGeometry. It  solved all International Mathematical Olympiad geometry problems from 2000 onward in 38 minutes or less using just a single consumer-grade GPU.

This breakthrough provides core technical support for future advances in automated mathematical proofs, personalized intelligent education, and the development of “Science Large Language Models.” Going forward, the joint research team will continue to iterate on the “Tong” series of general intelligence models, driving Chinese AI technology to take the lead in more fields of complex logic and scientific discovery.