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