Chinese AI goes next level in geometry at a top US maths Olympiad
AI Summary
A Chinese AI system called TongGeometry has demonstrated advanced capabilities in geometry, outperforming US competitors at the International Mathematical Olympiad (IMO) level. Developed by researchers from the Beijing Institute for General Artificial Intelligence and Peking University, the system solves problems in less time and with fewer computational resources than existing models. Unlike other AI, TongGeometry can also generate mathematical problems; three of its problems appeared in Chinese and US Olympiad-level exams in 2024. The system utilizes a "neuro-symbolic" approach and tree search to discover, propose, and prove geometry problems. The developers trained TongGeometry using 196 past Olympiad geometry problems, leading it to generate 6.7 billion geometry problems requiring auxiliary constructions.
Key Entities & Roles
Keywords
Sentiment Analysis
Source Transparency
This article was automatically classified using rule-based analysis. The political bias score ranges from -1 (far left) to +1 (far right).
Topic Connections
Explore how the topics in this article connect to other news stories