Google DeepMind has claimed that its new AI agent, AlphaProof Nexus, autonomously solved nine out of 353 open Erdos problems in a purported milestone related to AI and mathematics.
First posed by legendary mathematician Paul Erdos in 1946, some of the problems had remained unsolved for the past 56 years. However, DeepMind researchers said that AlphaProof Nexus solved nine of these problems while relying on only a few hundred dollars-worth of computing resources.
AlphaProof Nexus also proved 44 open OEIS conjectures, resolved a 15-year-old question in algebraic geometry, and even discovered a new algorithmic parameter in optimisation theory that humans had not previously found, the researchers further claimed in a study titled ‘Advancing Mathematics Research with AI-Driven Formal Proof Search’ published on May 21.
Google’s latest mathematical achievement comes just days after OpenAI said one of its AI models had cracked the famous “planar unit distance problem”, which was unsolved for the last 80 years.
Disclaimer
We strive to uphold the highest ethical standards in all of our reporting and coverage. We StartupNews.fyi want to be transparent with our readers about any potential conflicts of interest that may arise in our work. It's possible that some of the investors we feature may have connections to other businesses, including competitors or companies we write about. However, we want to assure our readers that this will not have any impact on the integrity or impartiality of our reporting. We are committed to delivering accurate, unbiased news and information to our audience, and we will continue to uphold our ethics and principles in all of our work. Thank you for your trust and support.
