赵宇晨的个人网站，记录基础数学、AI4Math 与形式化证明方向的学习。https://zhaoyuchen-site.pages.dev/https://zhaoyuchen-site.pages.dev/notes/deepseek-prover-reading-notes/https://zhaoyuchen-site.pages.dev/notes/deepseek-prover-reading-notes/阅读 DeepSeek-Prover 论文后，对矛盾假设过滤、否定命题证明、迭代增强与数据集范围的记录和反思。Tue, 11 Aug 2026 16:00:00 GMT