Google Deepmind's AlphaProof Nexus solves decades-old math problems for a few hundred dollars
Google DeepMind's AlphaProof Nexus has autonomously solved nine open Erdős mathematical problems, including two that had remained unsolved for 56 years. The AI system, which pairs a large language model with the Lean compiler for automatic proof verification, achieved these breakthroughs at a cost of a few hundred dollars per problem. This development showcases AI's growing capability in generating original mathematical solutions and formal verification. AI
IMPACT Demonstrates AI's capacity for original mathematical discovery and formal verification, potentially accelerating research in complex fields.