DeepSeek-Math-V2:基于 DeepSeek-V3.2-Exp-Base 的数学推理项目

可用于数学定理证明与复杂数学问题求解，通过训练准确的LLM验证器和生成器，实现自验证推理，在IMO、CMO、Putnam等竞赛中表现优异。【此简介由AI生成】