Tagged articles

AlphaProof Nexus

2 articles · Page 1 of 1

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.

AI mathematicsAlphaProof NexusDeepMind

0 likes · 10 min read

DeepMind’s AlphaProof Nexus Solves Nine Erdős Problems for a Few Hundred Dollars

Machine Heart

May 25, 2026 · Artificial Intelligence

How DeepMind’s AI Solved Nine Erdős Problems for Only a Few Hundred Dollars Each

DeepMind’s AlphaProof Nexus framework enabled an AI agent to automatically prove and verify nine long‑standing Erdős conjectures at a cost of only a few hundred dollars per problem, using a simple “think‑try” loop and a more advanced multi‑agent evolution architecture, and demonstrating a shift toward leveraging raw large‑model reasoning for formal mathematics.

AI researchAlphaProof NexusDeepMind

0 likes · 11 min read

How DeepMind’s AI Solved Nine Erdős Problems for Only a Few Hundred Dollars Each