This article has moved to /blog/2025/11/deepseekmathv22025-china-ai-deepseek-deepseekmathv2-imo/.