Research
Kimina-Prover hits 92.2% on math benchmark by learning to reuse its own lemmas
Hugging Face Blog · Jul 10, 2025 · 2 min read
The team at Numina and Kimi just pushed automated theorem proving past a major milestone. Their new Kimina-Prover-72B s...