《學霸的征途是星辰大海》第784章 幾個好消息 一(1)

作者:見習人類觀察員·3天前

徐辰手指懸在回覆鍵上,倒也認真猶豫了幾秒鐘。

畢竟,兩項大獎加起來,整整兩百萬美元,最多也就花徐辰1周的時間,說實話價效比還是很高的。

可問題是,他現在出國,早已不是之前買張機票、拎個箱子就能走的事了。

徐辰下意識地偏過頭,目光掃過書房的落地窗外。

院門外,萬柳書院原本那個愛搖著蒲扇聽京劇的物業大爺早就沒影了,取而代之的,是崗亭裡兩名脊背挺直的年輕內衛;而在書房外間,新配的機要秘書正壓低聲音,在保密電話裡和警衛局核對下週的行程安排。

就在去年年底國家聚變辦掛牌後不久,相關部門專門找他進行過一次保密與安保培訓。隨著他在國家聚變工程中“首席科學家”位置的確立,他的安保與待遇規格被直接上調了兩級,從原本院士所對應的副部級,一躍對標到了副G級。

規格一變,隨行配置也跟著水漲船高:警衛秘書、機要秘書、保健醫護、專車司機,外加駐地的警衛哨兵,一套四到六人的標準班底,全天候輪班。

按照他現在這個級別,真要出國去趟巴黎領獎,就得走一整套副G級的外事報備流程。國內的安保團隊還要提前一兩週飛過去,跟當地進行安保對接、踩點、排查路線……光是前期的檔案往來,估計就得折騰一個多月。

本來只是一週的領獎買賣,真要出趟國,就得興師動眾地變成一個多月的國家級外事工程,純屬佔用公共資源去辦他自己的私事。

“……還是聚變的事要緊。”

徐辰看著螢幕上那封價值兩百萬美元的郵件,笑著搖了搖頭,手指在鍵盤上輕快地敲下“身負工程任務,短期不便出國,領獎事宜容後再議”。

點擊發送。

克雷研究所,又一次被拒了。

好在這次沒人知道。

……

大洋彼岸,克雷數學研究所總部。

收到回覆郵件的所長和幾位科學顧問委員會的頂級數學家,看著螢幕上那句熟悉的“容後再議”,集體陷入了長久的沉默,整間辦公室瀰漫著一股被幹自閉了的抑鬱氣息。

“他又拒絕了……”

年邁的所長摘下眼鏡,揉了揉隱隱作痛的太陽穴,苦笑道:“好在我們這次學聰明了,沒有提前通知媒體,否則又要成為全世界的笑柄了。”

只不過,比起單純的拒領千禧大獎,更讓在座幾位學術大佬感到胸口憋悶的,是他們精心準備的那個“驚喜”直接胎死腹中了!

這一年來,整個數學界已經被AI攪了個天翻地覆。

自從數學大模型在Lean 4這類形式化證明系統上取得實質性突破,各種引理、特例證明和階段性成果就如同井噴一般層出不窮。過去大家覺得,千禧難題二十年能啃下一個就算人類數學的勝利;現在,樂觀的人已經開始押注十個月一個。剩下那幾道,恐怕撐不過這幾年了。

成果的“產出速度”,第一次遠遠甩開了人類的“驗證速度”。審稿人看不過來,編輯部焦頭爛額,不少數學家埋頭苦幹好幾年的課題,某天早上一睜眼,就被AI用幾十萬行人類看不懂的形式化程式碼順手推平了。

於是,整個數學界的風向,正不約而同地向徐辰當初提出的那條路線靠攏:不再死磕某個具體猜想,而是去提出新方法、新框架。用格羅滕迪克那句著名的“海水漲潮”來說——敲堅果的苦力活交給機器,人類負責讓海水漲上來,把堅果泡軟。

在這樣的時代裡,誕生於西元2000年、專門獎勵“敲開某顆堅果”的千禧年大獎,難免顯得像箇舊時代的遺物,關注度一年不如一年。

為了自救,克雷研究所秘密籌備了大半年,終於決定推出一項全新的、足以定義AI時代數學價值的終極獎項。

克雷正規化獎!

這個新獎項,不再獎勵解決某道題,而是獎勵“提出一套全新的數學工具或框架,讓一整類原本無解的問題變得可被人類或AI批次攻克”!其核心評獎指標:直接把新框架匯入形式化數學庫,統計未來幾年內由該框架衍生出的、被機器驗證透過的“下游新定理產量”!

。文論的辰徐是都條一第的文引,個七有,裡架框選候的名十前,果的年五去過溯回,則規新照按果如。審評擬模個一了做們他果結

。辰徐是條二第文引,個三下剩

……

”。辰徐是又“

!轉麗華的代時新向代時舊從所究研雷克完舉一,子場鎮臺站項獎的新全個這為他請,”架框元算運度尺與陣矩機隨撲拓維高“的辰徐給頒獎化規正屆首將接直並,”獎化規正雷克“立設佈宣場當,下燈聚的球全在後然;場現禮典獎頒到請”人一第“的愧無之當界學數今當位這辰徐把,獎大年禧千的元萬百兩用先劃計們他是於,了DSTP點有都字名個這到看所究研

……好倒在現果結

!出肯不都門連,主正的子場住得鎮能一唯個那,了來出鑄快都盃獎新,了好搭子臺戲

。寂死了陷次再裡室公辦

”。事這提再候時麼什們咱,了國出空有授教徐位那候時麼什……吧遲推期限無會出釋的項獎新把“:手擺了擺地力無長所,終最

……

。知所無一是然自辰徐的箱郵掉關,怨幽的佬大學數群那岸彼洋大於對

。息訊好條一第的來以關閉了來迎就他,天兩過沒後所究研雷克絕拒

。報彙度月的來發例照言敬周是那

!通跑告宣式正線試中,關大%09了過推舉一率良試中化續連的阻恆變形將,”線布塗凍冷向定態捲對卷“的製定標非了克攻月個五在生生,間車在住吃師程工號百兩著帶平臨柯。眾負不邊那耀華圳深

。題問間時是只經已,產量模規大式正的級米平萬百離距,試測勞疲級規車的後最剩只來下接。戶賬的技科星辰了進打項款碑程里的幣民人萬0005筆二第將地落利脆乾便耀華,天當的標達點節試中,定約同合業商的署簽前此照按

。議協作合發研期早了簽著搶,後品樣試中批一第到拿在,隊團尖頂的人機形人沿前搞家幾有國

。度由自的右左個六就也算滿打滿條一,克攻被經已法算演制控運的部。”夫功上“是都上質本些這,楚清都行但,人唬著看。能效些這住站穩穩能還去過踹腳一人被、樁花梅走、頭跟翻是非無的技炫上會出釋在,人機形人的年幾這

。了級量個一另是就度難,上手了到旦一可

。號訊覺的來回饋反皮層那心掌和尖指靠全這,打能不螺擰,碎能不蛋拿。”“會得還,要不手,且而。條四三上得抵,度由自的手隻一。節關個三有就指食一是,度由自個多十二,頭骨塊七十二有手隻一的人

。本的計設蔽遮筆大一了省,疫免乎幾也擾干磁電的來帶流電強和機電對,構結導半賴依不,制機變形何幾純是為因。援支料材了供提發研的手巧靈為好恰阻恆

……

猜你喜歡

同題材或同分類的其他作品。