DeepSeek 4月30日开源的数学大模型Prover-V2，直接解开了困扰数学界三年的组合优化难题。这个玩意是升级推理模型基础，DeepSeek用这个开始打脸OpenAI的所谓产品发布周。很有意思。接下来，美国人变成追赶者了，他们会习惯吗？