日志
关于AI辅助交互定理证明
热度 6
最近在做AI辅助的交互式定理证明，又有了一些新的发现：
1. AI带来的效率提升是有上限的。
2. 你做不到的，AI也做不到。
3. 多AI交互可能是处理复杂问题的最后尝试。
4. 终极解决办法还是要靠人自己。
热度 6
GMT+8, 2026-2-1 13:53 , Processed in 0.052066 second(s), 17 queries , Gzip On.
Powered by Discuz! X3.2
© 2001-2013 Comsenz Inc.
