菲尔兹奖得主蒂莫西·高尔斯爵士：数学研究的门槛正因人工智能而变高
第二届“世界顶尖科学家论坛”是由上海市人民政府主办、世界顶尖科学家协会发起，中国科协为指导单位，红杉中国慈善基金会为全球战略合作伙伴。共有44位诺贝尔奖得主，21位沃尔夫奖、拉斯克奖、图灵奖、麦克阿瑟奖、菲尔兹奖等奖项得主，100多位全球优秀青年科学家和中外院士参与。
在10月31日上午莫比乌斯论坛上，菲尔兹奖得主蒂莫西·高尔斯爵士也做了发言。蒂莫西·高尔斯爵士是英国数学家，1998年菲尔兹奖得主。报告中，他提到在思考一个问题是：2100年的时候数学会成为什么样子？比较有趣的是，人工智能很可能会影响到数学研究，未来很可能要证明一个公理或者公式，直接在计算机里面输入就可以证明出来了。
以下为报告的内容整理。
蒂莫西·高尔斯爵士：
我想想位讲一讲很简单的问题，2100年的时候数学会成为什么样子？可能回答起来并不容易，首先，我不想这么说，但是不得不说，我们也搞不清楚2100年的时候人类文明到底长什么样子都不知道。那时候到底有没有数学也不知道了，整个文明会崩塌，会威胁到数学发展，气候变化和其他各种各样问题让人们觉得，我们已经没有精力和资源去搞纯数学了。如果这些纯数学的研究机构2100年还存活的话，我相信现在做的数学可能在2100年已经不会存在了。
当然我这三分钟不够我足够展开这一点，我可以很快跟各位讲一讲我的原因，我先讲一个可能性比较小的原因，大部分数学家可能会说这个原因并不是很重要，数学现在越来越广大，每次解决一个问题会创造10个新问题，所以数学范畴越来越广。
另外一个原因就是我们工作越努力，越容易的果实就会被摘取，大家看到数学界的论文写的越来越长，因为要做到一个有原创性的成就现在越来越困难了。数学界进入门槛会越来越高，会让年轻人觉得不想去学数学，而是去学机器学习。
我觉得更大的一个威胁是来自于人工智能，我讲的并不只是深度学习，现在人工智能还没有达到重大突破，我个人认为，我在人工智能领域也做过一些研究，我觉得计算机可以自己证明一些公式、公理、定理，计算机会自成体系，人类会开始慢慢的退后，要超过机器会变的越来越难，数学界的门槛会越来越高。如果机器一旦到了某一个程度，我们以后要证明一个公理或者公式，直接在计算机里面输入就可以证明出来了。我觉得以后这种现象会越来越普遍，人类各个方面都会被人工智能受到威胁，我们要重新找到生存的新意义，谢谢。
