日志
AI辅助做定理证明的几点心得（续）
热度 5
受蚊行启发，我也开始同时用DeepSeek和Gemini辅助进行定理证明。有时候让它们进行交叉验证。
Gemini给出的证明框架更简洁，DeepSeek对证明细节的把控更好。
如果要开始对AI提供的证明进行修改，一定要自己先确认待证引理的正确性，否则会做很多无用功。
热度 5
GMT+8, 2025-12-3 01:03 , Processed in 0.022773 second(s), 19 queries , Gzip On.
Powered by Discuz! X3.2
© 2001-2013 Comsenz Inc.
