Artificial intelligence (AI) is significantly impacting various fields, including \u00a0mathematics\u00a0. Notable advancements have been made, such as the ability of AI to generalize critical mathematical concepts. For instance, in October 2024, Meta AI achieved a remarkable milestone by generalizing the \u00a0Lyapunov function\u00a0, a concept introduced by the Russian mathematician Aleksander Lyapunov in 1892. This function is pivotal in the study of \u00a0dynamic systems\u00a0, yet mathematicians have long encountered challenges in identifying these functions broadly. However, with the emergence of \u00a0Goal AI\u00a0, significant progress is being made.<\/p>\n
<\/p>\n
This breakthrough is just one among several recent successes in employing AI within advanced mathematics. Sergei Gukov, a professor at the \u00a0California Institute of Technology (Caltech)\u00a0, is leading efforts to utilize AI for tackling complex mathematical problems that require extensive computational resources\u2014sometimes necessitating thousands, millions, or even billions of operational steps. Currently, Gukov’s team is engaged in exploring the \u00a0Andrews-Curtis conjecture\u00a0, a combinatorial theory problem that has puzzled mathematicians for over six decades.<\/p>\n
<\/p>\n
Although Gukov and his team are yet to resolve the main conjecture, their collaboration with AI has yielded critical outcomes. They have successfully refuted several families of counterexamples related to the Andrews-Curtis conjecture, many of which have remained unresolved for more than 25 years. Gukov acknowledges existing limitations in current AI models when addressing intricate mathematical dilemmas. Nevertheless, he remains hopeful that as this technology evolves, it may eventually empower researchers to tackle and solve the millennium’s most pressing mathematical problems.<\/p>\n
<\/p>\n
Reinforcement learning offers a promising approach for optimizing AI’s problem-solving skills in mathematics.<\/p>\n<\/p><\/div>\n<\/div>\n
According to Gukov, one of the most promising tools available to researchers is the strategy of \u00a0reinforcement learning\u00a0 to instruct AI in overcoming mathematical challenges. Importantly, a recent achievement has captured attention, as models developed by \u00a0Google\u00a0 and \u00a0OpenAI AI\u00a0 have collectively secured \u00a0gold medals\u00a0 at the \u00a0International Mathematics Olympiad\u00a0. These AI systems succeeded in solving five out of the six problems presented, employing general-purpose reasoning models capable of understanding mathematical concepts framed in natural language. This innovative approach contrasts sharply with prior methodologies used by AI companies in mathematical assessments.<\/p>\n
<\/p>\n
Experts predict that the rapid pace at which AI models are evolving suggests they might not be far from solving longstanding mathematical challenges. A specialist consulted by \u00a0SCMP\u00a0 noted that these advancements indicate we could see AI tackle unresolved problems that mathematicians have wrestled with for decades. While Gukov supports this view, he refrains from committing to a specific timeline for when AI might achieve solutions for these enduring mathematical enigmas. Nevertheless, the possibility that we might be on the verge of breakthroughs related to the millennium problems is an exciting prospect for mathematicians and enthusiasts alike.<\/p>\n
<\/p>\n