技术能力突破 - 增强智能体自主调用工具能力并扩展形式化定理证明能力 [3] - 成为国内首个同时具备深度思考+工具调用与非形式化+形式化推理能力的大语言模型 [3] - 在高复杂度任务（如数学、代码、智能体任务）处理上具备显著优势 [3] 开源与平台部署 - 已在HuggingFace、Github全面开源 [3] - 用户可通过官网直接体验模型功能 [3]