基础数学
围绕定义、例子、反例与证明结构，保留推导过程和适用边界。
教育
教育经历
本科
华东师范大学
数学与应用数学
将于 2026 年 9 月入读
巴黎综合理工学院
Ingénieur Polytechnicien Program
方向
正在积累的方向
AI4Math 与形式化证明
记录论文阅读、工具实践与可复现的验证结果，区分事实与个人理解。
阅读与学习记录
整理问题、阶段复盘和下一步行动，让长期学习过程可以回看。
笔记
精选笔记与最近更新
- 个人理解阅读与学习
DeepSeek-Prover 阅读记录：矛盾假设过滤、否定命题证明与迭代增强
阅读 DeepSeek-Prover 论文后，对矛盾假设过滤、否定命题证明、迭代增强与数据集范围的记录和反思。
发布于
学习之外
学习之外
我也喜欢乒乓球和钢琴。它们提供了与长时间阅读和思考不同的节奏，也构成日常生活的一部分。