Google AI narrowly misses Gold in International Mathematics Competition: Report

livemint.com:

AlphaProof, a groundbreaking AI system introduced by Google, excels in formal mathematical reasoning, reported the publication. Utilizing a blend of language models and the AlphaZero reinforcement learning algorithm—renowned for mastering chess and Go—AlphaProof trains itself to tackle complex math problems using Lean, a formal language for mathematics.

Demonstrating its capabilities, AlphaProof successfully solved two challenging algebra problems and one number theory problem during the IMO, including the competition's most difficult problem, a feat achieved by only five human contestants.Reportedly, the second AI system, AlphaGeometry 2, is a notable advancement over Google's earlier geometry-solving AI. Using a neuro-symbolic hybrid method, it integrates an advanced language model with a robust symbolic engine.This enhancement enabled AlphaGeometry 2 to solve intricate geometry problems more efficiently.

During the IMO, AlphaGeometry 2 impressively solved Problem 4 in just 19 seconds, which involved complex geometric constructions and a deep understanding of angles, ratios, and distances. Trained on a vast dataset encompassing 25 years of historical IMO geometry problems, AlphaGeometry 2 boasts an impressive 83 per cent success rate in solving these challenges.Google's AI systems achieved a score of 28 out of 42 points at the IMO, falling just one point short of a gold medal.

Renowned mathematicians, such as Fields Medal recipient Prof Sir Timothy Gowers and Dr. Joseph Myers, Chair of the IMO 2024 Problem Selection Committee, reviewed the AI’s solutions.