DeepMind's AlphaProof Nexus Solves Multiple Erdős Problems, Published in Science

Google DeepMind's AlphaProof Nexus, built on Gemini 3.1 Pro, has formally solved 9 of 353 open Erdős problems, including two that stood unsolved for 56 years. The results passed peer review and were published in Science.

2026-10-12 ~ 2026-10-12 · 3 related posts

• DeepMind's AlphaProof Nexus solves 9 Erdős problems, 2 open 56 years, passes peer review in Science — Hesamation · 2026-10-12

2 near-duplicate retellings: aziz4ai · kimmonismus