日志

AI辅助做定理证明的几点心得

热度 7已有 71 次阅读2025-11-20 16:40

1. 提前写出非形式的证明。这一点最关键。后面需要反复用这些非形式证明与AI进行交互，给出提示。

2. 相信AI的建模和构造能力，但是不要指望它们的自我纠错能力。如果AI提供的证明代码有问题，不要浪费时间在同一抽象层级反复询问AI。

3. 尽可能细化和分解自己的证明，降低证明的复杂度。

4. 如果已经证明到单句，可以让AI提供对应该单句的可理解的结构化证明。

GMT+8, 2025-11-21 04:28 , Processed in 0.024036 second(s), 18 queries , Gzip On.