自我介绍
我在教育 x AI 方向创业，持续把数学推理的严谨性带入真实学习场景。
当前我重点推进几条主线：几何运行时系统、数学推理 Agent 实验、数学评测标准跟踪，以及 AI 信息周刊。它们看起来分散，但都指向同一个目标: 让教育产品具备长期稳定的推理能力。
我的工作方式是把产品判断和工程实现放在同一个闭环里，先做小范围试点，再逐步沉淀成可复用系统。比起追逐短期热点，我更在意系统是否可持续、可协作、可迭代。
能力矩阵
| 领域 | 重点 |
|---|---|
| AI | LLM 系统、检索增强、Agent 编排 |
| 数学 | 几何运行时、约束建模、推理流程 |
| Infra | 多语言站点架构、SEO、内容系统 |
| 产品 | 试点设计、路线图节奏、增长闭环 |
为什么做这件事
数学与形式约束让 AI 行为可衡量，这是高可信教育产品的基础。