Tag

#AI4Math

• 个人理解阅读与学习

  DeepSeek-Prover 阅读记录：矛盾假设过滤、否定命题证明与迭代增强

  阅读 DeepSeek-Prover 论文后，对矛盾假设过滤、否定命题证明、迭代增强与数据集范围的记录和反思。

  发布于2026/08/12