首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往

菲尔兹奖得主蒂莫西·高尔斯爵士:数学研究的门槛正因人工智能而变高

第二届“世界顶尖科学家论坛”是由上海市人民政府主办、世界顶尖科学家协会发起,中国科协为指导单位,红杉中国慈善基金会为全球战略合作伙伴。共有44位诺贝尔奖得主,21位沃尔夫奖、拉斯克奖、图灵奖、麦克阿瑟奖、菲尔兹奖等奖项得主,100多位全球优秀青年科学家和中外院士参与。

在10月31日上午莫比乌斯论坛上,菲尔兹奖得主蒂莫西·高尔斯爵士也做了发言。蒂莫西·高尔斯爵士是英国数学家,1998年菲尔兹奖得主。报告中,他提到在思考一个问题是:2100年的时候数学会成为什么样子?比较有趣的是,人工智能很可能会影响到数学研究,未来很可能要证明一个公理或者公式,直接在计算机里面输入就可以证明出来了。

以下为报告的内容整理。

蒂莫西·高尔斯爵士:

我想想位讲一讲很简单的问题,2100年的时候数学会成为什么样子?可能回答起来并不容易,首先,我不想这么说,但是不得不说,我们也搞不清楚2100年的时候人类文明到底长什么样子都不知道。那时候到底有没有数学也不知道了,整个文明会崩塌,会威胁到数学发展,气候变化和其他各种各样问题让人们觉得,我们已经没有精力和资源去搞纯数学了。如果这些纯数学的研究机构2100年还存活的话,我相信现在做的数学可能在2100年已经不会存在了。

当然我这三分钟不够我足够展开这一点,我可以很快跟各位讲一讲我的原因,我先讲一个可能性比较小的原因,大部分数学家可能会说这个原因并不是很重要,数学现在越来越广大,每次解决一个问题会创造10个新问题,所以数学范畴越来越广。

另外一个原因就是我们工作越努力,越容易的果实就会被摘取,大家看到数学界的论文写的越来越长,因为要做到一个有原创性的成就现在越来越困难了。数学界进入门槛会越来越高,会让年轻人觉得不想去学数学,而是去学机器学习。

我觉得更大的一个威胁是来自于人工智能,我讲的并不只是深度学习,现在人工智能还没有达到重大突破,我个人认为,我在人工智能领域也做过一些研究,我觉得计算机可以自己证明一些公式、公理、定理,计算机会自成体系,人类会开始慢慢的退后,要超过机器会变的越来越难,数学界的门槛会越来越高。如果机器一旦到了某一个程度,我们以后要证明一个公理或者公式,直接在计算机里面输入就可以证明出来了。我觉得以后这种现象会越来越普遍,人类各个方面都会被人工智能受到威胁,我们要重新找到生存的新意义,谢谢。

  • 发表于:
  • 原文链接https://kuaibao.qq.com/s/20191031A0MZPR00?refer=cp_1026
  • 腾讯「腾讯云开发者社区」是腾讯内容开放平台帐号(企鹅号)传播渠道之一,根据《腾讯内容开放平台服务协议》转载发布内容。
  • 如有侵权,请联系 cloudcommunity@tencent.com 删除。

相关快讯

扫码

添加站长 进交流群

领取专属 10元无门槛券

私享最新 技术干货

扫码加入开发者社群
领券