Science
1 article tagged with Science
October 12, 2026
researchGoogle DeepMind
DeepMind's AlphaProof Nexus solves 9 of 353 open Erdős problems in peer-reviewed Science paper
Google DeepMind's AlphaProof Nexus solved nine of 353 open Erdős problems and proved 44 OEIS conjectures, according to a study published in Science. The system pairs Gemini 3.1 Pro with the Lean proof assistant, and the work went through peer review, unlike other recent AI-math releases.