Proof

Digital trust platform

Proof is a digital trust platform for identity verification and transaction workflows, including notarization and electronic signature use cases.

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.