AI System Solves Complex Geometry Problems at Near-Human Levels
• AlphaGeometry is an AI system that can solve complex geometry problems from math competitions at nearly the same level as the top high school students. It was created by researchers at Google DeepMind and NYU.
• The system pairs a neural network with a symbolic reasoning engine and generates its own training data, allowing it to teach itself to solve geometry problems.
• In tests, AlphaGeometry solved 25 out of 30 difficult competition geometry problems, on par with the average human gold medalist score.
• Experts say the system shows promise but may not reflect the creative process real mathematicians use or have broad applications beyond math competitions.
• The researchers aim to generalize the system to tackle reasoning tasks across mathematics and other fields.