Proof

Digital trust platform

Proof is an AI-assisted mathematical reasoning and formal-proof software product, aligned with the formal mathematics and Lean-verification context.

Recent stories

1 linked story

newsPRIMARY2026-05-24

Google DeepMind reports AlphaProof Nexus solved 9 Erdős problems with Lean verification

A new paper says AlphaProof Nexus resolved 9 of 353 open Erdős problems and 44 OEIS conjectures using Gemini-guided search plus Lean checks. The strongest results came where Lean libraries are already mature, so those libraries remain the bottleneck to watch.