DeepSeekMath-V2发布：首个IMO金牌水平开源数学推理模型，自验证框架突破技术瓶颈 DeepSeekMath-V2成为首个达到国际数学奥林匹克竞赛金牌水平的开源AI模型，采用创新的自验证训练框架，在IMO、CMO等顶级数学竞赛中表现卓越。该技术突破将推动金融、航空等领域的自动化验证发... AI产品动态# AI数学推理# DeepSeekMath-V2# 人工智能突破 3天前
