用途：让 AI 助手处理各难度数学任务，从基础算术到研究级问题，遵循严格的数学工作流：解析问题、建模、选择方法、分步求解、验证、纠错、给出最终答案。核心差异点是验证引擎，答案须通过至少两种验证方法才能输出。
主要能力覆盖：算术与数感、代数与方程/不等式、函数、几何、三角、数列级数、组合、概率统计、极限、微分、积分、多元微积分、线性代数、常微分方程、复分析、实分析、抽象代数、拓扑、数论、离散数学、优化、数学建模、证明、反例、解题检查、题目生成及研究级问题。
使用方式：按输入分类选择推理策略与输出模板；支持限答案、详细推导、教师式讲解、严格证明等模式；公式用 LaTeX 排版；可按用户指定或输入语言作答。
适用场景：计算、化简、解方程与不等式、函数分析、几何与解析几何、概率统计、微积分、线性代数、ODE、证明、反例、验证已有解、生成习题、研究级问题等。若问题条件不足或矛盾，应先请求澄清。
限制：不用于纯观点问题、与数学无关的创作、无需推理的事实查询、无数学推理的纯代码生成及闲聊。资料未提供具体安装命令、收费或平台信息，暂未提供。