To the models of artificial intelligence (AI) Currently, mathematics are good. In fact, in October 2024 Goal AIthe finish line, managed to generalize Lyapunov’s function. The Russian mathematician Aleksander Lyapunov proposed the concept of the function that bears his name in 1892. His work is a very important tool in the study of dynamic systems, but mathematicians have since struggled to find a general method that allows identifying the functions of Lyapunov. And they have not been successful. However, Goal AI has had it.
This is not at all the only recent success of AI models in the field of mathematics. Sergei Gukov, Professor of Theoretical Physics and Mathematics at the California Institute of Technology (Caltech), leads a team of researchers who are looking for The way to use this technology to solve advanced mathematical problems that require thousands, millions, or even billions of steps. Currently these scientists are working on the conjecture of Andrews-Curtis, a problem of combinatorial theory of groups proposed 60 years ago.
Google and Openai AI have won gold in the mathematics Olympiad
Gukov and his team have not yet managed to solve the main conjecture, but with the help of AI they have achieved something important: they have refuted several families of problems related to the conjecture of Andrews-Curtis and known as counterexamples that have remained open for more than 25 years. Gukov acknowledges That current AI models have important limitations when facing very complex mathematical problems, but it has the hope that in the future this technology allows the human being to solve Mathematical Millennium Problems.
The best asset that researchers have to face this challenge is to instruct AI by resorting to learning for reinforcement
According to this mathematician, the best asset that researchers have to face this challenge is to instruct AI by resorting to Reinforcement learning. Anyway, something important has just happened. As we anticipate in the holder of this article, the models of Google and Openai AI They have won the gold in The International Mathematics Olympiad. Both managed to solve five of the six problems posed using general purpose reasoning models capable of processing mathematical concepts using natural language. This strategy is different from the one they have previously used the AI companies in mathematical tests.
In any case, According to SCMP An expert they have consulted argues that the speed with which the AI models are being developed suggests that they are less than a year after being used to solve some mathematical problems that still have no solution. As we have seen, Sergei Gukov defends this same idea, although this last mathematician has not dared to specify the moment in which AI will begin to solve the problems in which mathematicians have been engaged decades. Who knows, perhaps the solution to the millennium problems is close. Hopefully.
Image | Jesus Thomas
More information | SCMP
In Xataka | These two problems have baffled mathematicians for decades. A genius has solved them with a stroke
GIPHY App Key not set. Please check settings