685B (built on DeepSeek-V3.2-Exp-Base)
Apache 2.0
Self-verifying mathematical reasoning model with verifier-generator dual architecture; gold medal IMO 2025 (5/6 problems, 83.3%) and CMO 2024 (73.8%); near-perfect Putnam 2024 (118/120 points); IMO-ProofBench: 99% basic, 61.9% advanced; combines theorem-proving with self-verification; scales verification compute.