Google DeepMind’s AI problem solver, AlphaGeometry 2, has surpassed the level of the average gold medallist in the International Mathematical Olympiad (IMO). The AI system, which was upgraded to include Google’s state-of-the-art large language model, Gemini, was able to solve 84% of all geometry problems set in IMOs over the past 25 years. This achievement marks a significant milestone in the development of AI problem-solving capabilities and raises questions about the potential future of human-AI collaboration in mathematics.
Forecast for 6 months: Within the next 6 months, we can expect to see more AI systems being developed to tackle complex mathematical problems, potentially leading to breakthroughs in fields such as physics and engineering. Additionally, there may be increased collaboration between human mathematicians and AI systems to solve problems that require human intuition and creativity.
Forecast for 1 year: By the end of the year, we may see AI systems being used to assist human mathematicians in solving problems that are too complex or time-consuming for humans to tackle alone. This could lead to a significant increase in the number of mathematical discoveries and advancements in various fields. Furthermore, there may be a growing debate about the role of AI in mathematics and its potential impact on the field.
Forecast for 5 years: Within the next 5 years, AI systems are likely to become an integral part of mathematical research, potentially leading to a new era of human-AI collaboration. We may see the development of new mathematical theories and models that are created in partnership with AI systems. Additionally, there may be a significant increase in the use of AI in education, with AI systems being used to help students learn and understand complex mathematical concepts.
Forecast for 10 years: By the end of the decade, AI systems may have become so advanced that they are capable of solving complex mathematical problems independently, potentially leading to a significant shift in the way mathematics is practiced and understood. We may see the development of new mathematical disciplines that are focused on the study of AI-generated mathematical structures and patterns. Additionally, there may be a growing concern about the potential risks and consequences of relying on AI systems for mathematical research and discovery.
