AI Breakthrough: Google's AlphaProof Nexus Cracks Decades-Old Math Problems for Under $500
Google's AlphaProof Nexus has successfully solved nine out of 353 open Erdős problems, a feat that has stumped mathematicians for decades, all while keeping costs under $500 per problem. This breakthrough has significant implications for the field of mathematics and beyond, demonstrating the potential of AI to augment human capabilities.
Google Deepmind's AlphaProof Nexus has autonomously solved nine open Erdős problems, including two that stumped mathematicians for 56 years, for just a few hundred dollars per problem in inference costs. Unlike OpenAI's natural-language approach, the system uses the Lean compiler to verify every proof step automatically. Still, the overall success rate sits at just 2.5 percent. The article Google Deepmind's AlphaProof Nexus solves decades-old math problems for a few hundred dollars appeared first on The Decoder.