数学大模型

专为处理数学符号推理、定理证明及复杂计算任务优化的垂直领域大语言模型，强调逻辑严密性与可验证性。