Google Deepmind's AlphaProof Nexus solves decades-old math problems for a few hundred dollars

In three linesGoogle DeepMind's AlphaProof Nexus autonomously solved nine open Erdős problems, including two unsolved for 56 years, for a few hundred dollars per problem. The system uses the Lean compiler to automatically verify each proof step, with a 2.5% success rate.

Summary generated by Claude — human-verified