AXIOS July 25, 2024
Two AI systems from Google DeepMind together solved four of the six problems in this year’s International Mathematical Olympiad — on par with silver medalists in the annual world math championship for high school students.
Why it matters: The ability to solve a range of math problems in step-by-step proofs is considered a “grand challenge” in machine learning and has been beyond the reach of current state-of-the-art AI systems.
- “These are extremely hard mathematical problems and no AI system has ever achieved a high success rate in these types of problems,” Pushmeet Kohli, vice president of research focused on AI for science at DeepMind, said in a press briefing.
How it works: AlphaProof teaches itself by trial-and-error —...