新模型基于DeepSeek-V3.2-Exp-Base构建，通过内置LLM验证器自动审查数学证明，并持续用高难度样本优化。公开测试显示，其在IMO2025与CMO2024均达金牌水平，Putnam2024获118/120分，团队称该框架为构建可靠数学智能系统提供新路径。