现在丝毫不怀疑AI可以证明数学题

[catoh]

Exactly!

它暴力起来，一般数学家不是对手，无论是知识面广度深度再加上速度遍历所有可能（所谓的灵感也就是人类没能力全搞一遍各种可能性而已），那它就是数学家。一般数学家望尘莫及。

就如人类所谓的围棋高手对AI一样。

[TheMatrix]

就是图灵鸡。只知道你告诉它的。没法propse新公理

你们这些CS半路出家的人就是对计算机有基本认知问题

图灵机只知道你告诉它的？我觉得这句话很难不模棱两可。

人脑思考的机制抽象出来比图灵机多什么？

[bsmile]

证不出来。

比如你给个非欧几何的定理，只告诉AI 欧式几何的公理，它证到死都证不出来。

其实哥德尔早已给机器定理证明判了死刑。以上就是一个例子。

完全同意这一点，其实就是内插值没法外延到值域以外吧，除非问题有特别的特征（譬如解析性）。

[Caravel]

图灵机只知道你告诉它的？我觉得这句话很难不模棱两可。

人脑思考的机制抽象出来比图灵机多什么？

那哥们就是胡说，图灵机还是我提醒他的

[TheMatrix]

那哥们就是胡说，图灵机还是我提醒他的

如果能说出图灵机和人脑抽象工作方式的不同，相当于指出了方向。很难。

[Caravel]

如果能说出图灵机和人脑抽象工作方式的不同，相当于指出了方向。很难。

如果不涉及倒量子计算很难吧，现在的大数据model都是图灵机

[rgg]

证明要能verify. ChatGPT只能给出plausible 的东西. 用来学习或作启发还可以，否则只是审稿人的额外负担.

[verdelite]

证明要能verify. ChatGPT只能给出plausible 的东西. 用来学习或作启发还可以，否则只是审稿人的额外负担.

那是因为它还没学会严谨。openAI继续努力，教它做数学的时候严谨，而别的吹牛打炮的时候可以aplausible，即可解决问题。

[tfusion]

如果能说出图灵机和人脑抽象工作方式的不同，相当于指出了方向。很难。

图灵机就是几个基本操作。哥德尔证明了公理系统的不完备性，基本出思路就是证明过程类似于图灵机的状态转换。
其实就是给基于图灵机的人工智能判了死刑。

图灵机能力局限于枚举。而且枚举集合是有限集，受限于这个图灵机的storage。

所以说现阶段基于冯诺依曼体系结构的计算机AI，能力还不如图灵机，约等于正规表达式。

妈的，还跟我纠缠图灵机。我说冯诺依曼是因为现在计算机比图灵机弱得多，只相当于一个比较强的正规机。正规机有啥智能？模式匹配而已。

[tfusion]

如果不涉及倒量子计算很难吧，现在的大数据model都是图灵机

图灵机个屁。

现在计算机就是正规机。连上下文无关文法的能力都没有。还图灵机

[tfusion]

因为你们这些半吊子半路出家的根本就不明白哥德尔咋证明公理系统不完备的。根本就没明白为啥图灵机产生不了智能。

人为啥有智能我也不知道。人的智能到底是啥我也不知道。要知道我就去做人工智能了。

只能说，人的智能是上帝赐予的。人现在完全无法理解。