The Sequence explains how AlphaProof and DeepSeekMath-V2 use proof checking for recursive improvement
AIThe Sequence examines how AlphaProof, Goedel-Prover-V2, and DeepSeekMath-V2 use a generator and a checker to decide which proofs become training material. It describes how Lean's kernel makes checking easier than finding proofs, and how AlphaProof turns exploration into training, including test-time reinforcement learning.
Source details
The Sequence · Jesus Rodriguez · thesequence.substack.comPublished · added here
Original title: The Sequence Knowledge - Issue #968: Learning RSI: Mathematics as a Laboratory for Recursive Improvement