Google DeepMind claims AI progress after AlphaProof Nexus solves 9 Erdos math problems | Technology News
3 min readNew DelhiUpdated: May 26, 2026 04:55 PM IST Google DeepMind has claimed that its new AI agent, AlphaProof Nexus, autonomously solved nine out of 353 open Erdos problems in a purported milestone related to AI and mathematics. First posed by legendary mathematician Paul Erdos in 1946, some of the problems had remained unsolved…