个人主页

我是王延泽，即将毕业的数学博士生。

在中国科学院大学数学专业读博，主要研究方向为双有理几何，具体涉及极小模型纲领与叶层化理论。研究成果详见论文列表，另有数学笔记。
日常在 Arch Linux + Niri/dwm + Neovim 下开发。正在学习和实践大模型训练、智能体搭建、数学形式化证明等，详情见项目列表和开发文档。
除此之外会日常写一些博文，更多内容在Memex站点。

可以通过关于页面了解，或下载简历。

经历

教育经历

  • 理学博士（在读） — 中国科学院大学，预计 2027 年毕业
  • 理学硕士 — 中国科学院大学，2024 年
  • 理学学士 — 北京航空航天大学，2020 年

教学

  • 助教，北京航空航天大学（本科期间）：线性代数、代数几何

荣誉奖励

  • 美国大学生数学建模竞赛（MCM/ICM） — 一等奖（Meritorious Winner，两次）
  • 北京航空航天大学华罗庚奖学金（两次）

学术报告

  • 2026 年 — 报告人，代数可积与三维叶层化的 Sarkisov 纲领，西交利物浦大学

项目

更多内容见项目文档站点和计算机科学学习记录。

  1. AiKit

    AI 智能体工具集合（skills、智能体、插件、人设等），主要面向 pi。

  2. Calman

    终端下的任务与事件管理工具。Rust 编写，采用 iCalendar 格式存储。

  3. Cutui

    一款基于终端界面的视频编辑工具

  5. Markerss

    基于终端界面的 RSS 阅读器，以 Rust 编写。

论文