日志

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

热度 7已有 34 次阅读2025-12-2 18:56

受蚊行启发，我也开始同时用DeepSeek和Gemini辅助进行定理证明。有时候让它们进行交叉验证。

Gemini给出的证明框架更简洁，DeepSeek对证明细节的把控更好。

如果要开始对AI提供的证明进行修改，一定要自己先确认待证引理的正确性，否则会做很多无用功。

GMT+8, 2025-12-3 05:25 , Processed in 0.020960 second(s), 18 queries , Gzip On.