Agent 工程 · AI for Math · 教育 SaaS

研究与构建可靠的 Agent 系统

长期研究与拆解 Agent 工程，探索 AI 在教育场景中的落地。关注 Agent Harness、LLM 应用工程、AI for Math 与教育 SaaS 产品化实践。

核心理念

拆解上下文、工具、记忆、权限、评测与运行时如何共同决定 Agent 的可靠性。

研究

关注从原型到生产环境的 Agent 架构、可观测性、成本与工程边界。

工程

把形式推理与 Agent 工程应用到数学学习系统和教育产品化实践中。

落地

主线产品

大角几何（Dino-GSP）是一款面向 AI 几何与数学教学的动态几何画板与数学 AI 工具。它将图形表示为可计算结构，使图形的构造、修改与验证可以被执行与复现。

阶段：大量新功能推进中

每周汇总 AI 关键动态，并把信息导流到产品决策与研究行动。

阶段：稳定周更中。