DeepSeek 开源数学推理大模型 DeepSeek-Math-V2，超越 Gemini 获得 IMO 金牌-小互 DeepSeek发布了开源数学推理大模型 DeepSeek-Math-V2，其核心创新在于一个“生成+验证+复审”的自我验证系统。该模型在国际数学奥赛（IMO 2025）中解出6题中的5题，达到金牌水平，在中国数学奥赛（CMO 2024）和普特南数学竞赛（Putnam 2024）中也表现优异。它全面超越了 GPT-5-Thinking 和 Gemini 2.5 Pro，展现出高准确率和严谨的推理能力，能够自动生成数学证明并自行检查和修正错误。 神秘视频模型 Whisper Thunder (aka) David 登 …
阅读更多