Google Deepmind's AlphaProof Nexus cracks 9 Erdős problems

google deepmind's alphaproof nexus, built around gemini 3.1 pro, solved 9 open erdős problems, including two unsolved for 56 years, and proved 44 conjectures from the oeis integer sequence database. it also solved an open question in algebraic geometry and improved a known bound in min-max optimization. the system uses lean to draft and revise proofs, with alpha proof assisting on harder sub-problems. this achievement shows ai's growing capabilities in mathematics, differing from openai's approach of dumping hundreds of ai proofs on github without peer review.