注册 登录
爱吱声 返回首页

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

日志

关于AI辅助交互定理证明

热度 11已有 60 次阅读2026-2-1 10:51

最近在做AI辅助的交互式定理证明,又有了一些新的发现:
1. AI带来的效率提升是有上限的。
2. 你做不到的,AI也做不到。
3. 多AI交互可能是处理复杂问题的最后尝试。
4. 终极解决办法还是要靠人自己。

膜拜
1

鸡蛋
9

鲜花
1

路过

雷人

开心

感动

难过

刚表态过的朋友 (11 人)

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

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

facelist doodle 涂鸦板

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

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

GMT+8, 2026-2-2 01:30 , Processed in 0.049613 second(s), 19 queries , Gzip On.

Powered by Discuz! X3.2

© 2001-2013 Comsenz Inc.

返回顶部