黎曼猜想实际上有个等价表述是说，如果黎曼猜想成立，那么某个具体的整系数多项式不存在整数零点——我这里不想把具体的表达式写出来，但应该不难搜到。
因此，如果黎曼猜想是错的，那表明这个多项式一定有整数零点；那么要验证他有零点，都不需要什么人工智能，只需要任何一门编程语言和任何一个懂循环语句的人，穷举法死算就行了。
但困难的地方在于黎曼猜想很可能是对的，也就是说这个整系数多项式真的没有整数零点。要证明一个东西不存在可就难多了。而且数学定理机器证明的范式，我印象中也不是机器学习这一套，而是搞自动推理那帮人做的；我不知道这个领域有没有真正用机器证明过非初等的、人类不知道的数学命题。
然后回到本来的问题：人工智能能否取代数学家？现阶段基于深度学习神经网络这一套的AI，我认为是不行的，因为他本质上还是“人类给任务－训练机器－机器给出任务的较优方案”这种模式。而真正做数学或者理论物理研究，有句话叫做“提出问题比解决问题更重要”——机器能否自己提出问题，自己提出新的想法，乃至于自己开创新的研究领域？至少目前还是不太现实的。而且就更实际的层面来说，把现代数学的整套语言整个框架形式化的成本就已经非常非常高了啊，我都不觉得是一定能做到的事情。。我觉得要实现这种目标，起码得让做机器学习的人和做自动推理的人，以及数学家，共同协作才有可能吧。
至于遥远或者不那么遥远的未来，基于全新模式的AI能否取代数学家，也许是可能的吧。不过真到了那一天，我坚信AI自己也能自主设计出下一代AI来；真有了自主学习和自主研发的能力，我并不觉得设计AI比研究数学所需要的智力和创造力更高。
| 留言与评论（共有 0 条评论） “” |
