OpenAI's AI model solves 80-year-old unsolved mathematical problem

OpenAI's latest AI model has solved a mathematical problem that remained unsolved for nearly 80 years, researchers have announced. The proof presented by the model has been verified and accepted as mathematically correct by mathematicians.

The problem was in the field of combinatorics, which has been known to mathematicians since the mid-20th century. Despite decades of research, no acceptable solution was found.

After extensive searching and analysis, the model produced a proof that no previous researcher had presented. Mathematicians verified the logical consistency and mathematical accuracy of the proof.

Researchers said this marks a significant milestone in the development of artificial intelligence. While AI has primarily worked on data analysis and existing knowledge, discovering a new solution to a long-standing unsolved problem demonstrates a different capability. Researchers believe that further development of such reasoning-based AI could open new research opportunities in physics, chemistry, biology and computer science.

Google researchers have also recently claimed that DeepMind's 'AlphaProof Nexus' automatically solved nine open mathematical problems of Paul Erdős, some of which had remained unsolved for 56 years.