DeepMind unveiled AlphaGeometry to solve challenging geometry problems.
DeepMind unveiled AlphaGeometry — a system that the lab claims can solve as many geometry problems as the average International Mathematical Olympiad gold medalist. AlphaGeometry, the code for which was open-sourced this morning, solves 25 Olympiad geometry problems within the standard time limit, beating the previous state-of-the-art system’s 10.
Trinh and Luong, Trinh and Thang Luong, Google AI research scientists, said, “With so many examples of how these constructs led to proofs, AlphaGeometry’s language model is able to make good suggestions for new constructs when presented with Olympiad geometry problems,” write. “One system provides fast, ‘intuitive’ ideas, and the other more deliberate, rational decision-making.”
“Solving Olympiad-level geometry problems is an important milestone in developing deep mathematical reasoning on the path toward more advanced and general AI systems. We hope that AlphaGeometry helps open up new possibilities across mathematics, science and AI,” Trinh and Luong added.
The results of AlphaGeometry’s problem-solving, are likely to fuel the long-running debate over whether AI systems should be built on symbol manipulation — that is, manipulating symbols that represent knowledge using rules — or the ostensibly more brain-like neural networks.
