DeepSeek开源Prover-V2强推理模型，网友：奥数从没这么简单过 上午11时 2025/05/01 作者 机器之心 的新消息可没停下来。 前些天到处都在流传着 DeepSeek-R2 即将发布的传言，DeepSee
