Alphabet's Google has unveiled two groundbreaking AI systems, AlphaProof and AlphaGeometry 2, showcasing remarkable advancements in abstract mathematics. These systems excelled at the 2024 International Math Olympiad, solving four out of six challenging questions and demonstrating unprecedented reasoning capabilities.

Developed by DeepMind, Google’s AI unit, AlphaProof and AlphaGeometry 2 are revolutionizing the field. AlphaProof, which combines the Gemini language model with the AlphaZero system, solved three problems, including the toughest one. AlphaGeometry 2 tackled and solved another problem, proving their prowess in the competition.

This marks the best performance by an AI system in the Olympiad’s history, with some problems solved in minutes and others taking up to three days. Meanwhile, Microsoft-backed OpenAI is working on a similar project called ‘Strawberry,’ sparking debates about its potential implications.

Stay tuned for more updates on the future of AI and mathematics!