Research · The Decoder ·
Google Deepmind's AlphaProof Nexus solves decades-old math problems for a few hundred dollars
Google DeepMind's AlphaProof Nexus reportedly solved nine open Erdős problems, including two unsolved for 56 years, at an inference cost of a few hundred dollars per problem. The system uses the Lean compiler to verify each proof step automatically, though its overall success rate is 2.5 percent.