从符号回归到参数辨识，快速构建高精度数学模型。支持可视化调试与自动验证。
From symbolic regression to parameter identification, build high-precision models with visual debugging.
自主决策：智能体动态选择最优数学工具与算法
Autonomous decision-making: agents select optimal math tools
多步推理：处理复杂数学任务链，保证结果可追溯
Multi-step reasoning: traceable complex math task chains
无缝集成：与现有建模、阅读、论文分析流程深度耦合
Seamless integration with modeling, reading, and paper analysis