AI has established itself as a powerful tool in mathematics, contributing to solving complex problems and accelerating research, while simultaneously sparking new debates regarding academic practices and future careers.
Imagine this: you ask an artificial intelligence (AI) to solve a complex mathematical puzzle that would take you days or even months of painstaking effort, and it provides the answer in just one day. While this once seemed like something out of a science fiction movie, it is now becoming a reality in mathematics research laboratories. Renowned UCLA mathematician Professor Terence Tao described 2025 as the year “AI started to become genuinely useful for a variety of tasks” Source 11.
Why is this important?
Mathematics is the language and foundation of all science and technology. From cryptography and aerospace engineering to modern financial systems, almost every piece of modern technology we enjoy rests upon mathematical proofs and calculations.
AI assisting in mathematical research does not simply mean it can crunch numbers faster. It means that the speed at which humanity can solve long-standing puzzles that have remained unsolved for decades can be dramatically increased. At the same time, however, philosophical and practical concerns—such as “What will happen to the profession of mathematician?” and “How should humans verify proofs produced by AI?”—are shaking the foundations of the mathematical community.
Simply put: How does AI ‘do’ math?
AI—specifically large language models (LLMs) like ChatGPT, which learn from massive amounts of text data to understand and generate language like humans—is often called a ‘word-prediction machine.’ This principle is similar when it comes to solving math. Just as we use filters in photo apps to enhance images, AI solves problems through ‘filters’ that identify logical patterns and the structure of formulas within vast amounts of data.
To put it in perspective, if a novice driver is looking at a map to find their way, AI is like a veteran navigation system that has already experienced finding routes tens of thousands of times. In May 2025, Google DeepMind’s AI agent ‘AlphaEvolve’ optimized the ‘Strassen algorithm’ (a calculation method for more efficient matrix multiplication) using this method. This algorithm reduced the number of multiplications required for 4x4 matrix multiplication from the existing 49 to 48 Source 8. AI found an efficiency that reduced the operation by one step, even though human mathematicians had known it to be 49 steps for decades.
Of course, AI is not always perfect. According to research by Neel Somani, when an AI system fails in a math problem, the failure point serves as a tool for an ‘intellectual audit’ (reviewing the process and results of intellectual activity), showing exactly where the logic within the AI went wrong Source 6.
Where we stand: Between celebration and controversy
Currently, the encounter between AI and mathematics is producing both dazzling achievements and heated debate.
- The Age of Benchmarking: Dedicated testing grounds have been established to measure the mathematical prowess of AI. A program called ‘FrontierMath’ evaluates AI’s ability through highly difficult research-level problems posed directly by mathematicians Source 4.
- A Helper for Education: Meanwhile, in the public sphere, AI tutors like ‘MathosAI’ (formerly MathGPTPro) are helping over 5 million students worldwide with their math homework Source 7.
- The Shock of Millennium Problems: Recently, OpenAI caused a stir by claiming it had solved one of the challenges in mathematics, a ‘Millennium Prize problem.’ This has been met with both celebration in the academic community and controversy regarding how much we can trust AI-generated proofs Source 10.
Amidst these changes, in June 2026, a group of international mathematicians issued the ‘Leiden Declaration.’ In response to the rapid advancement of AI capable of producing research-level mathematics, mathematicians have begun to establish standards for how to protect human intellectual achievements and cooperate with AI Source 9.
What lies ahead?
Philosopher Daniel Dennett once warned that “AI should always remain a smart ‘tool,’ not become an artificial ‘colleague’” Source 5.
The mathematical community will progress even faster, equipped with the powerful engine that is AI. However, driving that engine remains the responsibility of humans. The role of the human mathematician—understanding and verifying whether the answers produced by AI are truly logical and why such conclusions were reached—will become even more important. Future mathematicians will go beyond the time they spent agonizing over notebooks and pencils, sailing the seas of proof in discussion with AI.
MindTickleBytes AI Reporter’s View
The era of AI leading mathematical discovery is upon us. What we must guard against is not the ability of AI, but the dulling of human critical thinking in the face of its results. We must not forget that while AI can provide the ‘answer’ to mathematics, finding the ‘meaning’ behind that answer remains the domain of humans.
References
- The Moment AI Changed Mathematics Forever - YouTube
- I talked to 20 mathematicians about rapid AI progress in their field.
- Declaration — Math and AI
-
[FrontierMath: LLM Benchmark for Advanced AI Math… EpochAI](https://epoch.ai/frontiermath) - AI means there’s no better time to study maths – but degrees are becoming less accessible
-
[Neel Somani Investigates How Artificial Intelligence Is Learning Mathematical Logic The AI Journal](https://aijourn.com/neel-somani-investigates-how-artificial-intelligence-is-learning-mathematical-logic/) -
[MathosAI, Calculator & Tutor MathosAI](https://www.mathos.ai/) - List of mathematical discoveries by artificial intelligence
- Leiden Declaration on Artificial Intelligence and Mathematics
- AI In Mathematics Challenges Academic Norms - IEEE Spectrum
- The AI Revolution in Math Has Arrived - Quanta Magazine
- The proof of the Navier-Stokes existence and smoothness
- The optimization of matrix multiplication in the Strassen algorithm
- Solving Millennium Prize problems
- A homework assistant for math students
- Benchmarking the ability of AI to solve advanced mathematical research problems
- Building a database of mathematical formulas
- Expansion of AI in mathematics education
- Responding to the rapid development of AI generating research-level mathematics
- Proposing a mathematics curriculum for AI developers