Google's AlphaProof Nexus Solved Nine Open Erdős Problems — and Passed Peer Review in Science

Google's math system cleared the bar that matters: nine previously open Erdős problems solved, formally verified by the Lean proof checker, and published in peer-reviewed Science.

Google's AlphaProof Nexus has solved nine open mathematical problems from Erdős's famous list, with the work passing peer review in Science, according to @FadyEid. The headline number is nine of 353 formalized problems — a modest fraction in raw terms, but each one represents a genuinely open question that human mathematicians had not cracked.

Unlock the full briefing

Get every story in today's briefing, the full archive, and the daily AI intelligence brief.

All stories today

Full archive

Daily brief

Cancel anytime. Payments powered by Stripe.