注册 登录
爱吱声 返回首页

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

日志

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

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

1. 提前写出非形式的证明。这一点最关键。后面需要反复用这些非形式证明与AI进行交互,给出提示。
2. 相信AI的建模和构造能力,但是不要指望它们的自我纠错能力。如果AI提供的证明代码有问题,不要浪费时间在同一抽象层级反复询问AI。
3. 尽可能细化和分解自己的证明,降低证明的复杂度。
4. 如果已经证明到单句,可以让AI提供对应该单句的可理解的结构化证明。

膜拜

鸡蛋
6

鲜花

路过

雷人
1

开心

感动

难过

刚表态过的朋友 (7 人)

发表评论 评论 (2 个评论)

回复 马鹿 2025-11-20 21:13
以后高中生作业不会了问AI
回复 松叶牡丹 2025-11-21 01:36
“如果AI提供的证明代码有问题,不要浪费时间在同一抽象层级反复询问AI”b( ̄▽ ̄)d赞,太同意了。

facelist doodle 涂鸦板

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

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

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

Powered by Discuz! X3.2

© 2001-2013 Comsenz Inc.

返回顶部