来自一位牛津数学系博士的采访,原话如下:
Elon Musk说,未来两三年的时间,所有的物理数学这些理论的研究都会因为AI的出现,发展的非常非常快。用AI做证明是很好玩的。你如果不给它什么指导,让它自己瞎证,它其实是证不出来的。所以很多时候,它像是你的PhD学生,然后你再指导它是什么样的方向,指导它去看这一篇论文,两个证明中有个什么gap,你给我去填一下这个gap。AI虽然能做很多事情,现在还是需要数学家的。如果说它要算,它可能能暴力地算出来,但是我会教它说,这个东西太暴力了,我们要有数学的、美观的表达去算它。给它指点说,你去看这篇文章的这个proof,你用这个办法去做会好看一点,简洁优美的数学公式。
AI出现之后,对人的学方式的影响。以前我们都会觉得知识是很贵的,现在我觉得知识is very cheap。那什么是贵的?思维模型,思维方式。当你让AI去读本300页的书,它能迅速读完,再给你总结一个10页的笔记,你又读得下去吗?其实我们做证明的时候,就是要知道去哪个地方,找一个什么样的证明,用什么样的方式去做,这种结构性的思维是最重要的。
三五年十年之后这个世界会变成什么样?会不会像马斯克说的物质极大丰富,每个人都不需要干活?第一个我不敢保证,但是我觉得AI真的能替代掉普通人很多的工作。但是它替代掉普通人很多工作以后,是会让物质极度丰富,还是会让一部分人失业?因为很多人的生命意义都是来自于工作的。那你每天百分之七八十的时间没事做了,我觉得一个终身学者的工作,就是最好的工作。因为我觉得其实大多数人说起来工作什么的,都是有一个退休年龄的,那么有什么事情是我终身会不变,终身会回去做的?那是学。如果说我在终身学的过程中,还能把钱赚来,那么就属于做了一项自己的爱好,属于做了一项不会让我退休的工作。终身学对于我来说是一件很幸福的事情,因为我是一个有好奇心的人,是挺out of the box的,是需要有一个比较强的心力的。你做这件事的时候,一定会有人骂你,有很多人网暴你。其实做一个out of box的事情,其实是很难的。首先很多世俗的评价,你要怎么去克服这个问题?另外就是你要坚持,你真的觉得这件事是对的。
我去年的时候,被b站很大规模的网暴,收到几万条骂我的留言。某一天我就把那2万多条留言,每一条都点了看了一遍。是因为我觉得我已经get over了。正的能量负的能量,都是一种能量。自从我开始进入AI Hub,在牛津开始任职之后,我有新的想法,我会觉得我现在能跟最好的AI模型去一起work。我会想说,我会让这个AI模型去看这2万条评论吗?我不会。我有时候也会觉得会把自己当做一个AI去train,我觉得要珍惜自己的token,注意力是唯一的货币。
在牛津这里可以专心做一件事情,时间的颗粒度,时间的分辨度。比如我现在每天早上起来,我都是不开手机,从早上四五点起来,我会一直做,做到下午2点钟,然后再开手机看一下。那其实从早上5点到下午2点,这个工作小时已经达到别人一天的hours了。接下来就是比如做一些自媒体呀,其实我觉得它不是浪费时间,相反是leverage时间,让时间去折叠。如果我不遗余力地过好每一天,我就算明天醒不过来,我也没有留遗憾,那就是OK的。
第二点就是把自己当做AI一样地去训练,珍惜自己的token,珍惜自己的注意力。从20岁出头到30岁以后的人生,我觉得我进化到了下一个模型。20岁的时候,看山是山,赚钱酷,我要赚钱。我觉得做学术酷,我要做,我要做这个title。中间一段时间就是看山不是山的阶段,比如说在金融的时候抑郁,现在说我渐渐放下自证了,到了看山又是山的阶段,现在会意识到选择是很重要的。我觉得我想要做一些impact的事情,然后又leave legacy的事情。我留下来什么数学定理,数学证明。凿下来一小块石头,那也是凿下来一小块。当这些石头攒得够多了以后,其实我还是会想把这些石头带回国的。思想是永恒的,喜欢岳飞,是喜欢他身上很纯粹很卓越的东西,去坚持的这种力量。远离那些让你产生内耗和向下拽的手,把自己当做一个AI去train,珍惜自己的token和注意力。