DeepSeek-Math-V2 全球首个以开源形式达到国际数学奥林匹克(IMO)金牌水平的数学推理大模型,通过自验证框架实现推理严谨性与高难度数学题求解能力。 01,0770 大模型开源项目# 数学推理