DeepSeek quietly released Prover-V2, an open-source AI combining informal math reasoning with theorem proving —671B params
—Solves 88.9% of problems on MiniF2F
—Does 'cold-start' to break down complex proofs into subgoals before formal verification

→ View original post on X — @rowancheung,