注册 登录
爱吱声 返回首页

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

日志

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

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

受蚊行启发,我也开始同时用DeepSeek和Gemini辅助进行定理证明。有时候让它们进行交叉验证。
Gemini给出的证明框架更简洁,DeepSeek对证明细节的把控更好。
如果要开始对AI提供的证明进行修改,一定要自己先确认待证引理的正确性,否则会做很多无用功。

膜拜

鸡蛋
3

鲜花

路过

雷人
1

开心
1

感动

难过

刚表态过的朋友 (5 人)

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

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

facelist doodle 涂鸦板

您需要登录后才可以评论 登录 | 注册

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

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.

返回顶部