Google with its AI models wins silver medal at math Olympiad | Festina Lente - Your leading source of AI news | Turtles AI

Google with its AI models wins silver medal at math Olympiad
Isabella V26 July 2024

 


 AlphaGeometry: Google’s AI challenges Math Olympiad champions

Key points:
- High performance: AlphaGeometry successfully solved 25 out of 30 geometry problems.
- High-level competition: Performance approaches the average of International Mathematics Olympiad gold medal winners.
- Advanced integration: Combines a neural language system with a logical inference system.
- Innovative training: Uses a symbolic inference process and traceability through the generation of a billion random diagrams.

 Google challenges top mathematicians with AlphaGeometry

Google’s new artificial intelligence model, AlphaGeometry, put its mathematical skills to the test against the winners of the International Mathematics Olympiad, achieving impressive results. AlphaGeometry, developed by Google’s DeepMind team, was compared with the results of the 16 editions of the Mathematics Olympiad held between 2000 and 2015. Out of 30 geometry problems, the system solved 25 questions, coming remarkably close to the average of 25.9 problems solved by the gold medal winners.

 A remarkable performance

AlphaGeometry’s result not only approached that of the top competitors in the international competition, but also exceeded the averages of the bronze and silver medal winners, who solved 19.3 and 22.9 problems, respectively. This outcome fully satisfied the Google DeepMind team, demonstrating the power of the new AI model.

An advanced AI model

AlphaGeometry represents a significant innovation in the field of AI. It combines a neural language system, which mimics how the human brain works, with a logical inference engine based on geometric shapes. This integration enables an iterative process in which the deduction engine analyzes problems until it encounters difficulties, at which time the language model intervenes to suggest modifications.

 Unique training

AlphaGeometry’s training process is equally innovative. Instead of "seeing" problems directly, the software generates a billion random diagrams of geometric objects, then works backward to determine what additional constructs are needed to arrive at those diagrams. This method, referred to as the "symbolic inference and traceability process," enables the system to solve complex problems efficiently.

 Future Perspectives.

Although AlphaGeometry currently specializes only in geometry problems, the Google team plans to expand the AI’s capabilities to several other mathematical disciplines. This represents a significant step forward from Google’s previous systems, as evidenced by a comparison with earlier software that solved only 10 out of 30 problems in the same challenge.

AlphaGeometry’s incredible performance marks a major advance in the field of AI applied to mathematics, paving the way for future developments that could revolutionize the way we approach and solve complex problems.