DeepMind AI cracks math problem that remained unsolved for 90 years

A team of mathematicians has solved a complex math problem that has been on the shelf for over 90 years using an artificial intelligence system. This breakthrough was announced this week in a scientific publication, in which the system found a valid solution to a problem that could not be tackled with traditional methods. The AI's approach involved exploring millions of possible reasoning paths and assembling a chain of verifiable steps.

The developed algorithm does not work by simply searching for the answer directly but through a process of iterative reasoning and testing. This is reminiscent of how programmers optimize search algorithms. The AI system has been trained to develop long, coherent lines of reasoning without getting stuck in unproductive side paths. The structure found by the AI served as the basis for a formal proof that has been reviewed by human experts.

Verifying the proofs generated by the AI remains crucial, given that the validity of mathematical statements must be formally confirmed. The team has ensured that some parts of the proof have been reformulated and placed in a so-called proof assistant, which helps perform checks on every step of the proof. This safeguards accuracy and increases the likelihood of acceptance within the mathematical community.

The implications of this breakthrough are significant, especially for Europe, where fundamental innovations often arise from mathematical theories. This research could accelerate the development of new ideas in sectors such as logistics, cryptography, and data security. The EU AI Act plays a supportive role by advocating for transparency and reproducibility in research. Moreover, it emphasizes the importance of collaboration between institutions to promote the development of AI applications. This presents opportunities for higher education institutions to incorporate AI tools into their programs, helping students develop their analytical skills.

Read the full article from AI Insider.