关于

当前为基础数学博士生。
计划转向 AI 方向，包括模型架构设计和训练、 AI4Math 智能体方案、数学形式化证明等。

技能

• 数学：双有理几何与极小模型纲领——Sarkisov 纲领、代数可积叶层化；模空间
• AI 实践：PyTorch / libtorch 模型训练小项目；智能体框架搭建
• AI4Math：AI 生成数学结果的人工验证；研究 harness；Lean 4 形式化
• 工程：C、Rust、TUI 应用开发（ratatui）、Git；日常使用 Arch Linux + Neovim
• 语言：中文（母语）、英语（专业工作水平）

项目

大语言模型

小型项目复现与衍生：

• GPT teacher ，MiniMind： 小型模型训练项目复现
• tiny-reasoning-rl-lab：小型强化学习，及Qwen3-0.6B 数学 LoRA 微调
• ARnDlm：模型架构实验，比较 AR （自回归模型）与 Diffusion （扩散）语言模型

智能体研究

• micro-agent：极简 SWE 智能体框架
• DiAgent：实验性非线性历史智能体，基于 jujutsu
• AiKit：智能体工具合集，包括各类项目的 harness，pi-coding-agent 插件（ask, subagent, board, mcp, safe-bash 等）

AI4Math

• lean-toric：在 Lean 4 中对 Toric Variety 相关理论的形式化
• Rethlas：双智能体数学推理 harness 的 fork，适配个人工作流
• 参与 Lean 4 平台 prove2.me 上的数学形式化实践

（Vibe） Coding

• suckless — 自行 fork 的 dwm / dwmblocks 等桌面组件（C），以手工补丁方式维护，未经 AI 辅助
• Calman — 终端任务与事件管理器（CLI，Rust）：JSONL/ICS 存储，CalDAV 兼容，同步委托 radicale / vdirsyncer / rclone
• Markerss — TUI RSS 阅读器（Rust，ratatui）：Markdown 导出、URL 收藏
• Lichtung — Hugo 主题（Go 模板 / SCSS），支撑两个个人站点
• mumble — 基于 Cloudflare Worker 的留言板，可独立部署或嵌入页面
• cutui — 简易 TUI 视频编辑器（Rust）

另一个我

另一部分的我，以笔名 Hiraeth 在 memex 记录关于存在、哲学、现代性、文学与文化工业的随笔，书评影评、个人内省，以及偶尔的诗。随笔全部手工写作：不借助 AI 生成或润色，以保护语言能力、进而保护思考能力（知识获取则乐于借助 AI）。部分文章同步发布在个人公众号。
域名 keinmal.top 出自德语谚语 einmal ist keinmal，即"只有一次等于没有"。

链接

• 电子邮箱：wangyanze at amss.ac.cn, wyz2016zxc at outlook.com
• GitHub：hiraethecho — 代码与开源项目
• ORCID：0009-0003-3661-1890 — 学术发表记录
• 项目笔记：docs.keinmal.top — 技术文档与笔记