DeepMind’s AlphaProof Nexus Solves Nine Erdős Problems for a Few Hundred Dollars
DeepMind’s AlphaProof Nexus, powered by Gemini 3.1 Pro and a Lean‑based proof‑checking loop, open‑sourced its code on GitHub and solved nine long‑standing Erdős problems—including a 56‑year‑old set—for only a few hundred dollars per theorem, while also proving 44 OEIS conjectures and advancing convex‑optimization theory.
