Google Deepmind's AlphaProof Nexus solves decades-old math problems for a few hundred dollars (the-decoder.com)

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 .