Google DeepMind's AlphaProof Nexus solves dozens of open math problems and undergoes peer review
🤖 AI-generated content — The title and summary were produced automatically by artificial intelligence, without human editorial review.
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 geometry question, and improved a min-max optimization bound. The publication follows peer review, contrasting with OpenAI's recent unreviewed GitHub AI proof release.
Continue in the app — vote & join in ➔Source: The Decoder (AI) · via ahirlevel.hu