DEEPSEEK-MATH-V2
DeepSeek's new math reasoning model achieves gold-level performance on IMO 2025, matching recent results from Google and OpenAI. The approach trains an LLM-based proof verifier that serves as a reward model. This incentivizes the generator to verify step-by-step reasoning rather than just final answers, addressing the fundamental limitation that correct answers don't guarantee correct reasoning.