DeepSeekMath‑V2 just snagged gold at IMO 2025 and crushed the China Math Olympiad—outperforming Putnam 2024 champs and AIME pros. This open‑source AI is rewriting theorem‑proving playbooks. Curious? Dive into the details! #DeepSeekMathV2 #IMO2025 #AITheoremProving

🔗 aidailypost.com/news/deepsee...