DeepMind’s AlphaProof Nexus reportedly proves nine open Erdős problems
Google DeepMind’s AlphaProof Nexus has reportedly solved nine open Erdős problems, alongside dozens of other mathematical questions, in work described in a study published in Science. The result is a substantial research claim, and the repo
Open discussion →