GOOGLE CLAIMS MATH BREAKTHROUGH WITH PROOF-SOLVING AI MODELS

Summary from the TLDR newsletter

Google DeepMind's AlphaProof and AlphaGeometry 2 AI systems reportedly solved four out of the six problems from this year's International Mathematical Olympiad. AlphaProof uses reinforcement learning to train itself while AlphaGeometry 2 is powered by a Gemini-based language model. While the achievement is significant, the programs needed a lot more time to solve the problems than human contestants, and some of the problems needed to be manually translated by humans before the AI could understand them.