AI system TongGeometry generates and solves olympiad-level geometry problems
The International Mathematical Olympiad (IMO) is a prestigious competition featuring talented high school students from around the world, in which competitors solve complicated mathematical problems. Geometry problems from these kinds of competitions—in particular, the formal logic and spatial reasoning involved—has…