第224章 98%
陳景明也難掩激動,拍了拍顧清塵的肩膀,語氣里滿是欣慰:
「清塵,你做得好,能陪著肖宿這樣的天才,見證這樣的奇蹟,是你的幸運,也是我們京大的幸運。
肖宿呢,他在哪兒?」
顧清塵深吸一口氣,努力讓自己的心跳恢復正常頻率,聲音還有些發飄。
「肖宿作息很規律,現在應該在辦公室。」
「走,我們過去。」
陳景明轉身就往外走,腳步快得像是年輕了二十歲。
江明遠緊隨其後,顧清塵也關掉電腦,快步跟了上去。
一路上,顧清塵的腦子還是懵的。
一個月。
哥德巴赫猜想。
這兩個詞怎麼想都不應該出現在同一個句子裡,可偏偏,肖宿就是做到了。
412很快到了,門虛掩著,裡面傳出低低的討論聲。
顧清塵伸手推開門,裡面的景象讓他愣了一下。
不大的實驗室里擠滿了人。
劉浩然坐在靠窗的位置,面前攤著幾本厚厚的文獻,屏幕上顯示著一組正在運行的算力監測數據。
周瑾坐在另一台電腦前,屏幕上是一堆顧清塵看不太懂的算法流程圖,正皺著眉頭在某個節點上做標註。
蘇芮雙手在鍵盤上飛快地敲擊,屏幕上代碼一行行往下滾,速度快得讓人眼花。
林硯在角落裡整理數據表格,面前摞著厚厚一沓列印出來的中間結果。
除此之外,還有好幾個熟人。
許銘、俞巍、何鴻鵠、遲藝、陳林……
所有人都在看著同一個方向。
肖宿。
他坐在最裡面的那台電腦前,屏幕上密密麻麻全是數據和代碼,還有幾個打開的窗口,裡面是讓人眼花繚亂的公式和圖表。
肖宿本人的表情卻很平靜,甚至可以說是漫不經心。
他一隻手撐著下巴,另一隻手握著滑鼠,偶爾點一下屏幕上的某個參數,像是在調試什麼。
這場面太詭異了,導致三人一時之間都沒出聲。
就在這個是個時候,屏幕中央彈出了一個結果框。
上面只有一行數字。
98.47%。
劉浩然第一個反應過來,聲音都在發抖。
「成了……真的成了……解耦性能,竟然達到了98%……」
周瑾猛地站起來,椅子差點翻倒,他湊到屏幕前,反覆確認了好幾遍,聲音里滿是難以置信。
「98%……之前卡在91%卡了整整兩周,怎麼調都上不去,現在直接跳到了98%?」
蘇芮停下了敲代碼的手,轉過頭看著屏幕,嘴巴張得能塞下一個雞蛋。
「我的天……這到底是什麼神仙操作啊?」
林硯從角落裡站起來,手裡還攥著一沓數據表,指節都捏白了。
旁邊的許銘深吸一口氣,發出一聲驚嘆。
「難以置信……這簡直就是奇蹟……」
俞巍和何鴻鵠的眉頭都皺得緊緊的,兩個人的眼神里,全是震驚。
何鴻鵠再一次慶幸,他真的來對了,這次,他親眼見證肖宿創造了又一個奇蹟。
陳林站在人群外圍,看了一眼屏幕上的98.47%,又縮了回去,撓了撓後腦勺,表情有點茫然。
他是IMO金牌沒錯,但那是純數學的金牌。
AI這塊兒,他連入門都算不上,為了之後能跟著肖宿讀研,這段時間他跟著周宇軒啃了幾遍肖宿的關於自監督的論文,看了幾頁就頭皮發麻,感覺每一個漢字都認識但連在一起就像在看天書。
此刻實驗室里所有人都在為那個98.47%激動得語無倫次,只有他和遲藝兩個人面面相覷,像兩個走錯片場的群眾演員。
兩人互相對視一眼,都有些尷尬的笑了。
肖宿瞥了眼屏幕,點了下頭。
「還行。」
「還行?」
劉浩然的聲音直接高了八度,「天哪,肖哥,全球最先進的AI解耦性能,最高紀錄是深度求索保持的76%,你直接干到了98%,只是還行?」
周瑾也忍不住了。
「這可是直接把整個行業的記錄翻了個底朝天啊。
98%的解耦率,幾乎能完全消除特徵之間的混淆了,AI對語義的理解精度將達到一個全新的量級。
這個成果一旦公布,不知道會有多少公司擠破頭想來合作啊。」
肖宿對這些感嘆沒什麼感覺。
自從研究哥德巴赫猜的時候了解過現在普遍學者的水平之後,他發現劉浩然他們的水平從整體來看,竟然不算太差。
而在明白大家的水平可能就這樣了之後,他也習慣了劉浩然他們的廢話。
只是學會了從他們隨口的閒聊和感慨里過濾出有用的信息。
比如現在,哪怕他們長篇大論的討論了半天,肖宿真正聽到的信息只有陳林在最後說的那句話。
那邊,陳林站在人群外圍,歪著腦袋盯著屏幕上那個98.47%的數字看了半天,終於還是忍不住開口了。
「那個……」
陳林猶豫了一下,還是忍不住開口了,語氣裡帶著點不好意思,「我能問個比較菜的問題嗎?」
眾人齊齊轉過頭看他,連門口的顧清塵幾人都把視線轉移到了他身上。
陳林清了清嗓子,儘量讓自己的問題聽起來不那麼外行:
「就是……這個98%的解耦率,它能幹什麼用啊?
我的意思是,我知道它很厲害,比什麼深度求索那個76%厲害多了,但具體厲害在哪?
能不能舉個例子,讓我這種外行也能聽明白的?」
他說完還補了一句:「比如……能不能拿來解數學題?」
這句話一出口,劉浩然就笑了。
「解數學題?你這也太看不起小智了吧。
小智要是只能解數學題,那它就白用了群論、自監督理論了。
只能解數學題的不叫AI,那叫高級計算器。」
周瑾接過話頭,語氣認真了一些:「不過陳林問的這個角度其實挺有意思的。
小智現在的能力,解一般的數學題當然不在話下。
而且不止能計算,還能解出真正需要理解語義、建立關聯、進行推理的問題。
98%的解耦率意味著它對問題的理解深度,已經遠超現有的任何AI系統了。」
陳林聽得眼睛一亮,下意識地問:「那它現在能解什麼級別的題?IMO的?」
劉浩然搖頭:「NO,NO,NO,IMO?那也太小兒科了。
小智現在的水平,這麼說吧,你隨便給它一個發表在二區期刊上的數論論文裡的未解決問題,它大概率能在幾分鐘內給出一個完整的證明思路。」
「真的假的?」
陳林明顯不信,他可是親身經歷過IMO地獄難度的人。
當年那道第六題,他坐在考場裡整整瞪了一個小時,最後交卷的時候手心還全是汗。
現在劉浩然告訴他,這台機器幾分鐘就能搞定比IMO難得多的題目?
那他們過去日復一日、苦思冥想換來的成果,又算什麼?
這不是對他智商赤裸裸的鄙視?
「不信你試試。」劉浩然聳了聳肩,「反正現在系統還在跑驗證,閒著也是閒著。」
陳林點點頭,打定主意要找一個難題試一試小智。
他低頭想了好一會兒,突然眼睛一亮。
「對了!我前幾天刷手機的時候看到一條新聞,說是什麼AI解決了一個埃爾德什問題,還是陶哲軒的弟子搞的。
我當時沒仔細看,就記住了埃爾德什問題這幾個字,既然那些不如小智的AI模型都能解決,那小智肯定也能證明吧?」
「清塵,你做得好,能陪著肖宿這樣的天才,見證這樣的奇蹟,是你的幸運,也是我們京大的幸運。
肖宿呢,他在哪兒?」
顧清塵深吸一口氣,努力讓自己的心跳恢復正常頻率,聲音還有些發飄。
「肖宿作息很規律,現在應該在辦公室。」
「走,我們過去。」
陳景明轉身就往外走,腳步快得像是年輕了二十歲。
江明遠緊隨其後,顧清塵也關掉電腦,快步跟了上去。
一路上,顧清塵的腦子還是懵的。
一個月。
哥德巴赫猜想。
這兩個詞怎麼想都不應該出現在同一個句子裡,可偏偏,肖宿就是做到了。
412很快到了,門虛掩著,裡面傳出低低的討論聲。
顧清塵伸手推開門,裡面的景象讓他愣了一下。
不大的實驗室里擠滿了人。
劉浩然坐在靠窗的位置,面前攤著幾本厚厚的文獻,屏幕上顯示著一組正在運行的算力監測數據。
周瑾坐在另一台電腦前,屏幕上是一堆顧清塵看不太懂的算法流程圖,正皺著眉頭在某個節點上做標註。
蘇芮雙手在鍵盤上飛快地敲擊,屏幕上代碼一行行往下滾,速度快得讓人眼花。
林硯在角落裡整理數據表格,面前摞著厚厚一沓列印出來的中間結果。
除此之外,還有好幾個熟人。
許銘、俞巍、何鴻鵠、遲藝、陳林……
所有人都在看著同一個方向。
肖宿。
他坐在最裡面的那台電腦前,屏幕上密密麻麻全是數據和代碼,還有幾個打開的窗口,裡面是讓人眼花繚亂的公式和圖表。
肖宿本人的表情卻很平靜,甚至可以說是漫不經心。
他一隻手撐著下巴,另一隻手握著滑鼠,偶爾點一下屏幕上的某個參數,像是在調試什麼。
這場面太詭異了,導致三人一時之間都沒出聲。
就在這個是個時候,屏幕中央彈出了一個結果框。
上面只有一行數字。
98.47%。
劉浩然第一個反應過來,聲音都在發抖。
「成了……真的成了……解耦性能,竟然達到了98%……」
周瑾猛地站起來,椅子差點翻倒,他湊到屏幕前,反覆確認了好幾遍,聲音里滿是難以置信。
「98%……之前卡在91%卡了整整兩周,怎麼調都上不去,現在直接跳到了98%?」
蘇芮停下了敲代碼的手,轉過頭看著屏幕,嘴巴張得能塞下一個雞蛋。
「我的天……這到底是什麼神仙操作啊?」
林硯從角落裡站起來,手裡還攥著一沓數據表,指節都捏白了。
旁邊的許銘深吸一口氣,發出一聲驚嘆。
「難以置信……這簡直就是奇蹟……」
俞巍和何鴻鵠的眉頭都皺得緊緊的,兩個人的眼神里,全是震驚。
何鴻鵠再一次慶幸,他真的來對了,這次,他親眼見證肖宿創造了又一個奇蹟。
陳林站在人群外圍,看了一眼屏幕上的98.47%,又縮了回去,撓了撓後腦勺,表情有點茫然。
他是IMO金牌沒錯,但那是純數學的金牌。
AI這塊兒,他連入門都算不上,為了之後能跟著肖宿讀研,這段時間他跟著周宇軒啃了幾遍肖宿的關於自監督的論文,看了幾頁就頭皮發麻,感覺每一個漢字都認識但連在一起就像在看天書。
此刻實驗室里所有人都在為那個98.47%激動得語無倫次,只有他和遲藝兩個人面面相覷,像兩個走錯片場的群眾演員。
兩人互相對視一眼,都有些尷尬的笑了。
肖宿瞥了眼屏幕,點了下頭。
「還行。」
「還行?」
劉浩然的聲音直接高了八度,「天哪,肖哥,全球最先進的AI解耦性能,最高紀錄是深度求索保持的76%,你直接干到了98%,只是還行?」
周瑾也忍不住了。
「這可是直接把整個行業的記錄翻了個底朝天啊。
98%的解耦率,幾乎能完全消除特徵之間的混淆了,AI對語義的理解精度將達到一個全新的量級。
這個成果一旦公布,不知道會有多少公司擠破頭想來合作啊。」
肖宿對這些感嘆沒什麼感覺。
自從研究哥德巴赫猜的時候了解過現在普遍學者的水平之後,他發現劉浩然他們的水平從整體來看,竟然不算太差。
而在明白大家的水平可能就這樣了之後,他也習慣了劉浩然他們的廢話。
只是學會了從他們隨口的閒聊和感慨里過濾出有用的信息。
比如現在,哪怕他們長篇大論的討論了半天,肖宿真正聽到的信息只有陳林在最後說的那句話。
那邊,陳林站在人群外圍,歪著腦袋盯著屏幕上那個98.47%的數字看了半天,終於還是忍不住開口了。
「那個……」
陳林猶豫了一下,還是忍不住開口了,語氣裡帶著點不好意思,「我能問個比較菜的問題嗎?」
眾人齊齊轉過頭看他,連門口的顧清塵幾人都把視線轉移到了他身上。
陳林清了清嗓子,儘量讓自己的問題聽起來不那麼外行:
「就是……這個98%的解耦率,它能幹什麼用啊?
我的意思是,我知道它很厲害,比什麼深度求索那個76%厲害多了,但具體厲害在哪?
能不能舉個例子,讓我這種外行也能聽明白的?」
他說完還補了一句:「比如……能不能拿來解數學題?」
這句話一出口,劉浩然就笑了。
「解數學題?你這也太看不起小智了吧。
小智要是只能解數學題,那它就白用了群論、自監督理論了。
只能解數學題的不叫AI,那叫高級計算器。」
周瑾接過話頭,語氣認真了一些:「不過陳林問的這個角度其實挺有意思的。
小智現在的能力,解一般的數學題當然不在話下。
而且不止能計算,還能解出真正需要理解語義、建立關聯、進行推理的問題。
98%的解耦率意味著它對問題的理解深度,已經遠超現有的任何AI系統了。」
陳林聽得眼睛一亮,下意識地問:「那它現在能解什麼級別的題?IMO的?」
劉浩然搖頭:「NO,NO,NO,IMO?那也太小兒科了。
小智現在的水平,這麼說吧,你隨便給它一個發表在二區期刊上的數論論文裡的未解決問題,它大概率能在幾分鐘內給出一個完整的證明思路。」
「真的假的?」
陳林明顯不信,他可是親身經歷過IMO地獄難度的人。
當年那道第六題,他坐在考場裡整整瞪了一個小時,最後交卷的時候手心還全是汗。
現在劉浩然告訴他,這台機器幾分鐘就能搞定比IMO難得多的題目?
那他們過去日復一日、苦思冥想換來的成果,又算什麼?
這不是對他智商赤裸裸的鄙視?
「不信你試試。」劉浩然聳了聳肩,「反正現在系統還在跑驗證,閒著也是閒著。」
陳林點點頭,打定主意要找一個難題試一試小智。
他低頭想了好一會兒,突然眼睛一亮。
「對了!我前幾天刷手機的時候看到一條新聞,說是什麼AI解決了一個埃爾德什問題,還是陶哲軒的弟子搞的。
我當時沒仔細看,就記住了埃爾德什問題這幾個字,既然那些不如小智的AI模型都能解決,那小智肯定也能證明吧?」