新未名空间

forecasting 写了： 2025年 3月 4日 21:13 不能认为，你得拿出证据，如果不是证明的话。我有证据表明人类智能/意识超过了图灵机，你有证据显示这一切吗？当然你得忽略掉时间复杂性，就计算而言，人的计算速度确实不如现在的图灵机或者计算机。

bihai 写了： 2025年 3月 4日 21:13 现在的人工智能可不是图灵机。我一直蔑视图灵机。图灵机就是目前和以前的傻计算机，按编程好的方式来执行而已。神经网络可不是图灵机。

wdong 写了： 2025年 3月 4日 21:17 光说智能
我的证据有两个。1. 目前语言模型呈现的能力。2. 这种能力目前还在提高，而且暂时看不到顶。

意识的证据我已经举过了。self reference。自我描述心理活动。

forecasting 写了： 2025年 3月 4日 21:22 我们可以自我描述，即审视自己思考/意识的过程，机器能自己审视所谓的机器思考/意识的过程吗？

forecasting 写了： 2025年 3月 4日 21:24 机器如果能自己审视所谓的机器思考/意识的过程，那么应该能判定所有程序（图灵机）能否停机！

forecasting 写了： 2025年 3月 4日 21:20 那你缺乏基本的理论知识，先去打好基础再讨论。

wdong 写了： 2025年 3月 4日 21:00 不出五年，你就会看到AI独立证明nontrivial的数学定理。普通人和希尔伯特的差距，也就是AI版本之间两三年的差距。都没有本质差别。普通人和希尔伯特在意识上没有区别，这个没什么问题吧。

bihai 写了： 2025年 3月 4日 21:32 图灵机理论有啥用？会写程序就行。

Caravel 写了： 2025年 3月 4日 21:33 IMO那些证明题已经是non trivial了

wdong 写了： 2025年 3月 4日 21:25 数学证明过不行的东西，人也做不到。但是它肯定能让自己停机。

forecasting 写了： 2025年 3月 4日 21:36 你来确定一下Non-trivial是什么，它到底是抄的（搜索），还是原创？

forecasting 写了： 2025年 3月 4日 21:34 至少可以不让你再说这些没天没日的话 。

你别再回复我了，我不想废话。

Caravel 写了： 2025年 3月 4日 21:44 没有训练过去的新题目，人类数学高手比如IMO金牌，一个小时做不出来的。我认为就可以算non trivial

Caravel 写了： 2025年 3月 4日 21:44 没有训练过去的新题目，人类数学高手比如IMO金牌，一个小时做不出来的。我认为就可以算non trivial

bihai 写了： 2025年 3月 4日 21:49 数学定理本来就可以机器证明吧。不需要现在的神经网络。

forecasting 写了： 2025年 3月 4日 21:50 大家讨论过的不靠推理的创新，猜，直觉，新概念等等才是。这是个几乎没有多少人探索出结果的领域，仅限于模糊的描述。

Caravel 写了： 2025年 3月 4日 22:11 那你说如果一个数学家那这个领域的方法，运用到别的领域，证明了一个新定理，算不算non trivial

wdong 写了： 2025年 3月 4日 21:54 传统方法证明不了。是NP难的，需要的资源指数爆炸。就跟下围棋一样。我估计神经网络也只能做到超过人，不能真的解决所有数学定理的证明。真解决了就是P=NP。