AlphaProof

A reinforcement-learning system that searches for formal mathematical proofs in Lean.

• Developer / Organization: Google DeepMind
• Category: Related research systems & hosted services
• Purpose: Learn to solve mathematical problems with formal proof checking.
• Key features: Reinforcement learning and proof search in Lean; research system rather than a downloadable general-purpose harness.
• Availability: Official project or research page; access varies
• License: Not verified in the linked source (source (opens in a new tab))
• Website / Source code: https://www.nature.com/articles/s41586-025-09833-y (opens in a new tab)
• Version: No public software version found in the linked source
• Version source: Official release or documentation (opens in a new tab)
• Last checked: 2026-11-01