近况

近况

最后更新：2026 年 8 月

正在学习

基础数学、AI4Math 与形式化证明相关内容。

正在整理

后续数学学习记录的来源、核查过程与适用范围。

网站状态

网站保持正式公开；目前没有公开笔记。