爱吱声返回首页

唐家山的个人空间 http://129.226.69.186/bbs/?1830 [收藏] [复制] [分享] [RSS]

日志

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

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

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

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

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

刚表态过的朋友 (12 人)

收藏分享邀请举报

全部作者的其他最新日志

发表评论评论 (1 个评论)

回复马鹿 2025-12-2 21:12: AI 一旦关掉现在的进程，它又死不改悔

唐家山

手机版|小黑屋|Archiver|网站错误报告|爱吱声

GMT+8, 2026-1-21 19:10 , Processed in 0.064446 second(s), 18 queries , Gzip On.

Powered by Discuz! X3.2

© 2001-2013 Comsenz Inc.

返回顶部