“那个……”
陈林犹豫了一下,还是忍不住开口了,语气里带著点不好意思,“我能问个比较菜的问题吗?”
眾人齐齐转过头看他,连门口的顾清尘几人都把视线转移到了他身上。
陈林清了清嗓子,儘量让自己的问题听起来不那么外行:
“就是……这个98%的解耦率,它能干什么用啊?
我的意思是,我知道它很厉害,比什么深度求索那个76%厉害多了,但具体厉害在哪?
能不能举个例子,让我这种外行也能听明白的?”
他说完还补了一句:“比如……能不能拿来解数学题?”
这句话一出口,刘浩然就笑了。
“解数学题?你这也太看不起小智了吧。
小智要是只能解数学题,那它就白用了群论、自监督理论了。
只能解数学题的不叫ai,那叫高级计算器。”
周瑾接过话头,语气认真了一些:“不过陈林问的这个角度其实挺有意思的。
小智现在的能力,解一般的数学题当然不在话下。
而且不止能计算,还能解出真正需要理解语义、建立关联、进行推理的问题。
98%的解耦率意味著它对问题的理解深度,已经远超现有的任何ai系统了。”
陈林听得眼睛一亮,下意识地问:“那它现在能解什么级別的题?imo的?”
刘浩然摇头:“no,no,no,imo?那也太小儿科了。
小智现在的水平,这么说吧,你隨便给它一个发表在二区期刊上的数论论文里的未解决问题,它大概率能在几分钟內给出一个完整的证明思路。”
“真的假的?”
陈林明显不信,他可是亲身经歷过imo地狱难度的人。
当年那道第六题,他坐在考场里整整瞪了一个小时,最后交卷的时候手心还全是汗。
现在刘浩然告诉他,这台机器几分钟就能搞定比imo难得多的题目?
那他们过去日復一日、苦思冥想换来的成果,又算什么?
这不是对他智商赤裸裸的鄙视?
“不信你试试。”刘浩然耸了耸肩,“反正现在系统还在跑验证,閒著也是閒著。”
陈林点点头,打定主意要找一个难题试一试小智。
他低头想了好一会儿,突然眼睛一亮。
“对了!我前几天刷手机的时候看到一条新闻,说是什么ai解决了一个埃尔德什问题,还是陶哲轩的弟子搞的。
我当时没仔细看,就记住了埃尔德什问题这几个字,既然那些不如小智的ai模型都能解决,那小智肯定也能证明吧?”