Google's AI solves 56-year-old unsolved math problems

Google DeepMind's artificial intelligence (AI) system 'Alphaproof Nexus' has solved several math problems that have been unsolved for 56 years. Researchers claim that the AIT has automatically solved 9 open problems of the legendary mathematician Paul Erdos, each of which cost only a few hundred dollars.

In addition, the AIT has proven 44 open conjectures of the 'Open Encyclopedia of Integer Sequences' and has also found a new algorithmic parameter in optimization theory, including solving a 15-year-old question in algebraic geometry, reports India Today.

The significant aspect of the research is that the entire process was completed without human assistance. DeepMind has combined the analytical power of the Large Language Model with a formal verification system called 'Lin', which automatically checks each logical step and rejects incorrect proofs. According to researchers, this method could change the course of mathematical research in the future.