Java Tech Enthusiast

Jun 14, 2026 · Artificial Intelligence

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.