Google’s DeepMind says its AlphaProof and AlphaGeometry 2 AI models are breaking new ground in mathematical reasoning — an Achilles’ heel of AI chatbots.
Google DeepMind says its artificial intelligence models are now at a “silver-level standard” in complex mathematics, after solving four out of six problems of this year’s International Mathematical Olympiad — one of the toughest mathematics competitions in the world.
On July 25, Google DeepMind stated it had achieved breakthroughs in solving advanced reasoning problems in mathematics for AlphaProof and AlphaGeometry 2.
Mathematics has been deemed a crucial benchmark for AI development. Complex maths such as geometry requires intuitive and creative problem-solving and sophisticated reasoning skills.
