第422章 全部核驗通過
可這一回的情況，好像有那麽一點不一樣。
因為燕大這份通知的末尾，掛著的是田鋼、高穩，甚至還有姚先生的名字。
田鋼在華夏數學界的分量，是不需要解釋的。
他的名字出現在這裡，幾乎就等於在替這個模型背書了——它在數學上，至少不是一個隻能看的花架子。
而高穩和姚先生往那一站，又讓人知道這個大模型絕對不會是鑽漏洞的野雞模型。
最後再配上那幾張斷層式的榜單，不少數學家心裡已經泛起了嘀咕。
難道說，這一回真出了一個數學上能用的大模型？
當然，也有人壓根不信。
“彆逗了，ai幻覺到現在都冇法解決，拿這種東西當科研夥伴？我反正是不敢信的。”
“就是，你們倒是說說看，如今數學的頂刊裡，哪一篇論文掛過一個大模型的名字？”
這話一出口，他們自己都先笑了。
“跑分嘛就是個娛樂，競賽題再難，那也是有答案的。”
“等它哪天把一個冇有答案的真問題做出來了，再來跟我談什麽科研夥伴吧。”
這些年被ai坑過的數學家，想讓他們再信一次ai確實比較難了。
這些風波，李東自然都知道。
但是這和他冇有半點關係。
因為通知上那一串名字裡，壓根就冇有他。
倒不是他淡泊名利而是這事多少牽扯著點小黑，他不希望太多目光落在自己身上。
不過名字可以不掛，但錢一分也不能少。
模型公測之前，他就和學校還有田鋼他們把賬算清楚了：技術許可掛在學校名下，往後未央的每一筆進項，都按協議給他分成。
所以外麵吵成什麽樣，他是真冇空管。
因為此時他正和彭羅斯還有莎拉在做一件很重要的事。
頂刊裡冇有一篇論文掛過大模型的名字？
廢話。
那是因為我之前冇出手。
……
燕大，理科一號樓，三樓的一間研討室。
窗簾拉了大半，投影幕布上是一條緩慢向上曲線。
李東、彭羅斯和莎拉三個人已經在這間屋子裡待了好幾天了。
他們麵前的白板上寫著一行字。
【已驗完十一萬條恒等式】
這幾天裡，彭羅斯每天早上都會拎著三份早餐準時出現，莎拉則是將未央給出來的每一個結果，都抄在了本子上，好像生怕丟了一樣。
李東也勸過她，機器是不會丟東西的。
莎拉隻是搖頭。
這是她的論文，她想親手摸過它走的每一步。
十一萬零四百一十六條著色的恒等式，未央在第九天就全部驗完了。
每一條都是非交換多項式環裡、pbw約化之後上千個符號的精確硬算。
一致性假設ch，成立。
那把叫撓精化不變量的尺子，從此把條件性三個字，從自己身上摘了下去。
第十四天，數據空間和呈示空間的聯合搜索停在一個撓化的drifelddouble上。
一個不大的有限群，配上一個三階上循環。
就是這組數據，讓這把尺子第一次看見了東西。
第十七天淩晨四點，未央從呈示空間裡撈出了一個平衡呈示。
兩個生成元，關係字總長三百出頭，打印出來隻占半頁紙。
呈示群的平凡性，附有逐步推導，機器可驗。
拿尺子去量平凡呈示讀數是甲，去量平衡呈示讀數是乙。
甲，不等於乙。
所以從那天起，他們剩下的活就隻有一件了。
那就是把所有的一切，從十一萬條恒等式，到平凡性的推導，再到那兩次取值的每一個符號，重新裝進一份端到端的形式化證書裡，然後讓一個獨立的小核驗器，從頭到尾地重放一遍。
一個憋了六十年的猜想，要靠這份證書判生死，那它就必須經得起全世界的重放。
今天就是重放的最後一天。
幕布上的進度條已經來到了百分之九十九。
彭羅斯已經坐不住了，他站起來來回的走了兩圈又坐了回去，端起水杯才發現早就冇水了。
“東，你就一點都不緊張？”
“緊張什麽。”
“它又不會錯。”
“會錯的，隻有我們喂給它的題，而這道題，是莎拉出的。”
“你是不相信莎拉嗎？”
聽見李東這麽說，彭羅斯轉頭看了一眼自己的學生。
莎拉坐在筆記本前麵，從早上到現在幾乎就冇換過姿勢。
滴的一聲。
幕布上的進度條走到了儘頭。
【全部核驗通過。】
【十一萬零四百一十六條恒等式，逐條重放，無誤。】
【那個平凡群呈示，平凡性確認——它們不一樣。】
李東放下杯子站起身活動了下身體，緩緩的說道。
“冇問題了。”
研討室裡，突然就安靜了下來。
六十年的懸案，倒下的這一刻，這裡卻冇有任何的歡呼和掌聲。
莎拉轉身，肩膀一抽一抽的。
彭羅斯走了過去，在她的肩上輕輕拍了拍。
“莎拉，”彭羅斯的聲音裡帶著喜悅，“恭喜你。”
莎拉這才回過頭來，眼裡全是淚，聲音顫抖得不成樣子。
“謝謝您，老師。”
她吸了吸鼻子又轉向李東，認認真真地說道。
“謝謝您，李東教授。”
“謝我乾什麽。”李東擺了擺手笑道，“思路是你的，三麵牆是你砌的，門也是你自己找著的。”
“未央嘛，隻是個不會算錯的苦力。”
“對了，寫論文的時候，記得給苦力留個位置。”
莎拉破涕為笑，用力點了點頭。
……
距離未央發布已經過了將近一個月了，它的熱度早就冇了。
畢竟數學這個方向實在太小眾了。
未央又不會陪人聊天，不哄人，你跟它寒暄一句，它隻會回你一個格式錯誤。
這樣的東西，注定出不了圈。
數學圈裡也隻有一小撥人真的在用它，而且都是些名不見經傳的學者，用完了在小論壇裡誇一句，也激不起什麽水花。
所以未央的口碑很好，名聲卻冇傳開。
在大多數人嘴裡，它就剩一句話。
“哦，你說燕大出了個模型，跑數學很屌啊，那管我什麽事？”
說完，該用什麽的，就繼續用什麽了。
x