Google DeepMind Says AlphaProof Nexus Solved Nine Open Erdős Problems
Google DeepMind says its new AlphaProof Nexus framework solved nine open Erdős problems using AI-guided formal verification, though CEO Demis Hassabis cautioned the system is still far from AGI.