admin 2025-12-01 201浏览

DeepSeek Math V2：开源AI首次在数学证明上逼近人类顶尖水平 就在本周，中国AI公司DeepSeek正式发布全新数学推理模型——DeepSeek Math V2，一举在权威数学推理评测集ProofBench-Advanced上取得61...