Google claims math breakthrough with proof-solving AI modelsAI systems AlphaProof and AlphaGeometry 2 solved 4/6 IMO problems, close to gold medal threshold, showcasing advanced math capabilities.
DeepMind hits milestone in solving maths problems - AI's next grand challengeGoogle DeepMind's AI system solved math problems at near gold-medal level at IMO, showcasing significant advancements in AI's mathematical capabilities.