DeepSeek has released Math-V2, an open-weights model designed for rigorous mathematical reasoning and proof generation.
In 2025, it reportedly solved enough problems at the IMO to earn a gold-medal class result a first for any open-source AI. Math-V2 employs a generator-verifier-meta-verifier loop to self-check and refine proofs, aiming not just for correct answers but valid reasoning chains.
It also scored an almost perfect 118/120 on the 2024 Putnam exam under unlimited compute conditions. This milestone signals that open-source AI is now capable of human-level mathematical reasoning and formal problem solving.
