Agent 工程 · AI for Math · 教育 SaaS

研究與構建可靠的 Agent 系統

長期研究與拆解 Agent 工程，探索 AI 在教育場景中的落地。關注 Agent Harness、LLM 應用工程、AI for Math 與教育 SaaS 產品化實踐。

核心理念

拆解上下文、工具、記憶、權限、評測與運行時如何共同決定 Agent 的可靠性。

研究

關注從原型到生產環境的 Agent 架構、可觀測性、成本與工程邊界。

工程

把形式推理與 Agent 工程應用到數學學習系統和教育產品化實踐中。

落地

主線產品

大角幾何（Dino-GSP）是一款面向 AI 幾何與數學教學的動態幾何畫板與數學 AI 工具。它將圖形表示為可計算結構，使圖形的構造、修改與驗證可以被執行與復現。

階段：大量新功能推進中

每週彙總 AI 關鍵動態，並把資訊導流到產品決策與研究行動。

階段：穩定週更中。