请问给人工智能喂大数据，能喂出伽罗瓦来吗？

可以哒，概率可比猴子弹巴赫

[quote][pid=500046740,25899459,1]Reply[/pid] Post by [uid=61409946]貓論[/uid] (2021-03-14 06:10):

辅助定理证明的工具有，甚至有启发式的，但是完全自动证明是不可能的，因为穷举会导致组合爆炸。

然而，我的意思还不是自动定理证明，而是AI能否创造一套新理论来解决问题，而不是猴子弹巴赫。[/quote]估计还不行，可以下出颠覆认知的新棋路，但是并不能告诉你为什么这么下是更优的
而开拓一个新的理论，并不是在已有框架内进行迭代寻找更优这么简单的吧

再说了，就群论，我敢说大部分老师把一个学期教完，都没有几个学生能自己领悟这玩意可以解决高次方程是否有根式解的问题…

没有可能，大数据就是知其然不知其所以然，所以做不了证明题[img]https://img.nga.178.com/attachments/mon_201910/06/9bQ5-d527KuToS2s-2s.gif[/img]

输入一堆证明题数据生成这个证明的解吗[s:ac:哭笑]感觉会通篇乱码

目前ai还做不到证明数学定理吧[s:a2:不明觉厉]而且很多算法本身就是依靠数学的

[quote][pid=500035693,25899459,1]Reply[/pid] Post by 己瞿张癸罗窦(4楼) (2021-03-14 01:47):

目前ai还做不到证明数学定理吧[s:a2:不明觉厉]而且很多算法本身就是依靠数学的[/quote]辅助定理证明的工具有，甚至有启发式的，但是完全自动证明是不可能的，因为穷举会导致组合爆炸。

然而，我的意思还不是自动定理证明，而是AI能否创造一套新理论来解决问题，而不是猴子弹巴赫。