1 article
DeepSeek has launched DeepSeek-Math-V2, an open-weight AI system that generates and self-verifies mathematical proofs. The model achieved gold-level results on major international contest problems, including 83.3% on IMO 2025 and 118 out of 120 on Putnam 2024.
We use cookies to improve your experience on our site and to show you relevant advertising. To find our more, read our privacy policy and cookie policy
Peter Smith
