爱吱声返回首页

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

日志

关于AI辅助交互定理证明

热度 14已有 136 次阅读2026-2-1 10:51

最近在做AI辅助的交互式定理证明，又有了一些新的发现：

1. AI带来的效率提升是有上限的。

2. 你做不到的，AI也做不到。

3. 多AI交互可能是处理复杂问题的最后尝试。

4. 终极解决办法还是要靠人自己。

刚表态过的朋友 (14 人)

收藏分享邀请举报

全部作者的其他最新日志

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

回复黑洞的颜色 2026-2-1 23:25: 抱歉想点鲜花错点了鸡蛋

回复唐家山 2026-2-2 12:58: 黑洞的颜色: 抱歉想点鲜花错点了鸡蛋
没关系，我也手滑过

唐家山

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

GMT+8, 2026-2-21 18:15 , Processed in 0.050847 second(s), 18 queries , Gzip On.

Powered by Discuz! X3.2

© 2001-2013 Comsenz Inc.

返回顶部