DeepSeek再破谷歌OpenAI垄断：开源IMO数学金牌大模型

量子位 ·

DeepSeek推出开源数学模型DeepSeekMath-V2，专注于自验证推理，表现超越谷歌和OpenAI，获得IMO金牌级分数。该模型通过迭代强化学习优化证明验证和生成，克服传统方法的局限性，展现出卓越的数学推理能力。

DeepSeek DeepSeekMath-V2 IMO金牌 openai 大模型开源数学推理自验证推理谷歌

原文中文，约4000字，阅读约需10分钟。