刚刚，DeepSeek开源新模型，拿下奥数证明题冠军

DeepSeek开源了具备强大定理证明能力的模型DeepSeekMath-V2，该模型在多项国际数学竞赛中取得金牌水平的成绩。通过强化学习和自我验证机制，DeepSeekMath-V2不仅能够生成证明还能进行自我评估与修正，标志着AI向解决研究级数学问题迈进了一大步。此研究展示了基于大语言模型开发可自我验证的数学推理系统是可行的方向，为未来复杂推理任务提供了新的思路。