Google DeepMind's AlphaProof Nexus, built around Gemini 3.1 Pro and AlphaProof, solved dozens of open math problems in a study published in Science. The AI cracked 9 of 353 open Erdős problems—including two unsolved for 56 years—proved 44 OEIS integer sequence conjectures, solved an algebraic geomet