第238章 他又體會到了那種無力感
離開算力研究室後，肖宿徑直走向412實驗室。
此時，課題已經結束了，蘇芮、周瑾都休假了，實驗室里只剩下劉浩然一個人。
許銘到的時候，他正趴在桌子上看視頻，屏幕上不時閃過幾個絢爛的打鬥情節。
「浩然，肖宿呢？」
聽到聲音，劉浩然手忙腳亂的把視頻叉掉，抬起頭，看到是許銘一臉急切的快步走了進來，不禁鬆了口氣：
「肖神去算力研究室了，說是要優化算力調度算法，讓小智的運行速度再提升幾倍，怎麼，許哥，你找肖神有事？」
「去算力研究室了？」
許銘心裡咯噔一下，臉上的急切瞬間變得凝重，「壞了，他怎麼又去搞算力了……」
他心裡一時有些後悔，糾結了好幾天，才終於鼓起勇氣找上門來，誰知道肖宿竟然這麼快就開始新的研究了。
早知道就應該早點上門的。
之前肖宿給萬匯楊的論文，許銘回來之後就開始著手研發相關軟體。
最開始想的是爭取在三個月內把基礎框架做出來，結果三個多月過去了，成果是有，可阻礙似乎更多。
他們在軟體的落地上遇到了幾個大難題，無論是分子結構的幾何映射，還是電子結構的精準計算，全都有問題，研究了好久始終沒有突破。
許銘糾結了很久，最後，他還是想通了。
與其硬磕無果，不如抱緊肖宿這個金大腿。
只要肖宿指點一二，他們肯定能少走很多彎路。
可他萬萬沒想到，肖宿竟然又去搞算力了。
就肖宿那性子，一旦投入到某個研究中，根本沒有多餘的時間顧及其他事情的。
要是他一直忙著算力的事情，他們的軟體研發，豈不是要泡湯？
萬一這段時間再被其他科研機構搶先做出了軟體。
那豈不是他們三個多月的努力全白費了？
幾乎到手的諾獎也得被別人拿走了？
不行，絕對不行！
「許哥，你找肖神到底啥事啊？看你急得跟熱鍋上的螞蟻似的。」劉浩然看出了他的不對勁，好奇地問道。
許銘嘆了口氣，也沒隱瞞：「還能啥事，就是肖宿之前發表的那篇計算化學的論文，我們想把它落地，研發一款相軟體，可搞了三個多月，遇到好多問題一直突破不了，想來找肖宿指點一下。結果他又去搞算力了，這要是忙起來，我們的項目就懸了。」
劉浩然恍然大悟：「原來是這樣啊，不過你放心吧，肖神做事效率高得很，算力那邊的問題，估計用不了幾天就能搞定。
再說了，你找肖神指點，他肯定會幫你的，畢竟萬老師和老闆交情，那可是槓槓的。」
許銘苦笑了一下，也只能這樣安慰自己了。
就在他焦躁不安的時候，實驗室的門被推開，肖宿走了進來。
「肖宿！」許銘眼睛一亮，連忙迎了上去，語氣里滿是急切，「你可回來了，我找你有點事，想請你指點一下。」
肖宿腳步沒停，徑直往裡間辦公室走去：「說。」
許銘定了定神，快速說道：「就是你發表的那篇論文，我們實驗室想把它落地，研發一款軟體，可我們努力了三個多月，無論是分子結構的幾何映射，還是電子結構的計算，都遇到了瓶頸，始終沒有突破，想請你指點一下，看看我們哪裡做得不對。」
肖宿愣了一下，臉上露出一絲疑惑：「瓶頸？萬老師拿的不是我的初稿嗎，裡面已經把幾何映射的方法、電子結構的計算邏輯，都寫得很清楚了，怎麼會有瓶頸？」
在他看來，那篇論文邏輯清晰、方法具體，只要稍微有點計算化學基礎的人，都能順著思路搭建起軟體的框架，最多也就在細節上需要調整，怎麼會三個多月都沒有突破？
他寫完論文之後，就沒再關注過這件事，一直以為他們早把成熟的軟體做出來了。
「額……」
劉浩然在一旁尷尬的腳趾扣地，為了不讓許銘尷尬，他很有眼色的退出去了，還貼心的關上了門。
許銘臉上的表情有些哭笑不得，心裡更是被狠狠打擊了一下。
他知道肖宿是天才，可也沒想到，在肖宿眼裡，他們三個多月的難題，竟然只是寫得很清楚的事情。
這就相當於，他們拼盡全力都爬不上的山，肖宿卻覺得，這只是一個小土坡啊。
緩了緩，許銘苦笑著說道：
「論文裡的幾何映射方法，我們嘗試過很多次，可總是無法精準將分子結構映射到高維幾何空間，而且電子結構的計算，總是出現誤差，遠超預期，我們實在是找不到問題出在哪裡。」
肖宿點點頭，沒有再追問，走到電腦前，示意許銘打開他們的研發軟體。
許銘連忙打開電腦，調出他們三個多月的心血，一個簡陋的軟體雛形，裡面布滿了密密麻麻的代碼和數據，還有很多標註的錯誤和疑問。
肖宿快速瀏覽著，手指在鍵盤上輕輕敲擊，偶爾停下來打量一下。
一旁的許銘緊張的看著他，連呼吸都變輕了許多。
「你們第一步算的是什麼？」肖宿問。
「分子坐標，從輸入文件里讀取原子類型和核坐標，然後構造成距離矩陣。」
「距離矩陣之後呢？」
許銘猶豫了一下。
「按照論文裡的思路，我們把距離矩陣映射到辛幾何空間，這一步我們卡了很久，因為映射出來的結構總是不對。後來又參考了顧辛幾何那篇論文裡關於拉格朗日子流形的構造方法，才算勉強跑通了。」
肖宿沒有評價勉強跑通這四個字。
他把幾何映射模塊的代碼展開，屏幕上出現了大約三百行C++。
他的目光從函數簽名開始往下走，在某一行停了下來。
「這裡，你們在構造辛流形的時候，直接把原子核坐標當成了辛流形上的點。
但論文裡寫的是把電子密度分布視為辛流形上的一個截面，化學鍵對應的是這個截面上的拉格朗日子流形。
原子核的位置只是邊界條件，不是映射對象本身。」
許銘湊近屏幕。
肖宿光標停著的那一行，正是他們構造初始流形的construct Initial Manifold函數，裡面第一個參數是nuclear Coordinates。
「你的意思是，我們從頭就把映射對象搞錯了？」
「不是全錯。」
肖宿說：
「原子核坐標決定了電子密度分布的邊界，所以不是沒用。
但是直接拿原子核坐標去做幾何映射，信息維度是完全不夠的。」
許銘的後背開始發涼。
三個多月。
他們花了三個多月在這個框架上，反覆調試映射精度，換過三種不同的辛流形構造方法，甚至他們三個還專門啃了一遍顧辛幾何的論文，就為了把那一段的數學工具用對。
結果肖宿告訴他，他們連映射的對象都沒找對。
肖宿繼續往下翻代碼。
到了群表示分解模塊的時候，他又停了下來。
這次停得更快，幾乎是一展開就停了。
「你們用的對稱群是SU(2)。」
「對。」
許銘說：「論文裡提到了群表示論的不可約分解，我們查了文獻，電子自旋的對稱群是SU(2)，所以……」
「電子自旋是SU(2)，但是分子體系的對稱性不是。」
肖宿打斷他，「水分子的點群是C2v，苯是D6h，氨是C3v，不同分子的對稱群不一樣，不可約表示也不一樣。
用統一的SU(2)去套，對稱性信息就全丟了，計算結果當然對不上實驗值。」
許銘張了張嘴，沒說出話來，臉頰變得滾燙起來。
這本來應該非常基礎，結果他們連這個都忽視了。
他忽然想起萬匯楊在某次組會上說過的一句話：
肖宿的論文裡，每一句話都是有原因的，你以為他在某一處提了一個看似無關的概念，讀到後面才發現那個概念是整個論證的基石。
當時許銘覺得自己已經足夠認真了，論文讀了不下五十遍。
現在他才知道，讀了五十遍和真正讀懂之間，隔著的不是努力，是思維方式。
他又體會到了去年肖宿給他指出錯誤時的那種無力感。
那些他堅信的，覺得正確的東西，其實從一開始就全錯了。
此時，課題已經結束了，蘇芮、周瑾都休假了，實驗室里只剩下劉浩然一個人。
許銘到的時候，他正趴在桌子上看視頻，屏幕上不時閃過幾個絢爛的打鬥情節。
「浩然，肖宿呢？」
聽到聲音，劉浩然手忙腳亂的把視頻叉掉，抬起頭，看到是許銘一臉急切的快步走了進來，不禁鬆了口氣：
「肖神去算力研究室了，說是要優化算力調度算法，讓小智的運行速度再提升幾倍，怎麼，許哥，你找肖神有事？」
「去算力研究室了？」
許銘心裡咯噔一下，臉上的急切瞬間變得凝重，「壞了，他怎麼又去搞算力了……」
他心裡一時有些後悔，糾結了好幾天，才終於鼓起勇氣找上門來，誰知道肖宿竟然這麼快就開始新的研究了。
早知道就應該早點上門的。
之前肖宿給萬匯楊的論文，許銘回來之後就開始著手研發相關軟體。
最開始想的是爭取在三個月內把基礎框架做出來，結果三個多月過去了，成果是有，可阻礙似乎更多。
他們在軟體的落地上遇到了幾個大難題，無論是分子結構的幾何映射，還是電子結構的精準計算，全都有問題，研究了好久始終沒有突破。
許銘糾結了很久，最後，他還是想通了。
與其硬磕無果，不如抱緊肖宿這個金大腿。
只要肖宿指點一二，他們肯定能少走很多彎路。
可他萬萬沒想到，肖宿竟然又去搞算力了。
就肖宿那性子，一旦投入到某個研究中，根本沒有多餘的時間顧及其他事情的。
要是他一直忙著算力的事情，他們的軟體研發，豈不是要泡湯？
萬一這段時間再被其他科研機構搶先做出了軟體。
那豈不是他們三個多月的努力全白費了？
幾乎到手的諾獎也得被別人拿走了？
不行，絕對不行！
「許哥，你找肖神到底啥事啊？看你急得跟熱鍋上的螞蟻似的。」劉浩然看出了他的不對勁，好奇地問道。
許銘嘆了口氣，也沒隱瞞：「還能啥事，就是肖宿之前發表的那篇計算化學的論文，我們想把它落地，研發一款相軟體，可搞了三個多月，遇到好多問題一直突破不了，想來找肖宿指點一下。結果他又去搞算力了，這要是忙起來，我們的項目就懸了。」
劉浩然恍然大悟：「原來是這樣啊，不過你放心吧，肖神做事效率高得很，算力那邊的問題，估計用不了幾天就能搞定。
再說了，你找肖神指點，他肯定會幫你的，畢竟萬老師和老闆交情，那可是槓槓的。」
許銘苦笑了一下，也只能這樣安慰自己了。
就在他焦躁不安的時候，實驗室的門被推開，肖宿走了進來。
「肖宿！」許銘眼睛一亮，連忙迎了上去，語氣里滿是急切，「你可回來了，我找你有點事，想請你指點一下。」
肖宿腳步沒停，徑直往裡間辦公室走去：「說。」
許銘定了定神，快速說道：「就是你發表的那篇論文，我們實驗室想把它落地，研發一款軟體，可我們努力了三個多月，無論是分子結構的幾何映射，還是電子結構的計算，都遇到了瓶頸，始終沒有突破，想請你指點一下，看看我們哪裡做得不對。」
肖宿愣了一下，臉上露出一絲疑惑：「瓶頸？萬老師拿的不是我的初稿嗎，裡面已經把幾何映射的方法、電子結構的計算邏輯，都寫得很清楚了，怎麼會有瓶頸？」
在他看來，那篇論文邏輯清晰、方法具體，只要稍微有點計算化學基礎的人，都能順著思路搭建起軟體的框架，最多也就在細節上需要調整，怎麼會三個多月都沒有突破？
他寫完論文之後，就沒再關注過這件事，一直以為他們早把成熟的軟體做出來了。
「額……」
劉浩然在一旁尷尬的腳趾扣地，為了不讓許銘尷尬，他很有眼色的退出去了，還貼心的關上了門。
許銘臉上的表情有些哭笑不得，心裡更是被狠狠打擊了一下。
他知道肖宿是天才，可也沒想到，在肖宿眼裡，他們三個多月的難題，竟然只是寫得很清楚的事情。
這就相當於，他們拼盡全力都爬不上的山，肖宿卻覺得，這只是一個小土坡啊。
緩了緩，許銘苦笑著說道：
「論文裡的幾何映射方法，我們嘗試過很多次，可總是無法精準將分子結構映射到高維幾何空間，而且電子結構的計算，總是出現誤差，遠超預期，我們實在是找不到問題出在哪裡。」
肖宿點點頭，沒有再追問，走到電腦前，示意許銘打開他們的研發軟體。
許銘連忙打開電腦，調出他們三個多月的心血，一個簡陋的軟體雛形，裡面布滿了密密麻麻的代碼和數據，還有很多標註的錯誤和疑問。
肖宿快速瀏覽著，手指在鍵盤上輕輕敲擊，偶爾停下來打量一下。
一旁的許銘緊張的看著他，連呼吸都變輕了許多。
「你們第一步算的是什麼？」肖宿問。
「分子坐標，從輸入文件里讀取原子類型和核坐標，然後構造成距離矩陣。」
「距離矩陣之後呢？」
許銘猶豫了一下。
「按照論文裡的思路，我們把距離矩陣映射到辛幾何空間，這一步我們卡了很久，因為映射出來的結構總是不對。後來又參考了顧辛幾何那篇論文裡關於拉格朗日子流形的構造方法，才算勉強跑通了。」
肖宿沒有評價勉強跑通這四個字。
他把幾何映射模塊的代碼展開，屏幕上出現了大約三百行C++。
他的目光從函數簽名開始往下走，在某一行停了下來。
「這裡，你們在構造辛流形的時候，直接把原子核坐標當成了辛流形上的點。
但論文裡寫的是把電子密度分布視為辛流形上的一個截面，化學鍵對應的是這個截面上的拉格朗日子流形。
原子核的位置只是邊界條件，不是映射對象本身。」
許銘湊近屏幕。
肖宿光標停著的那一行，正是他們構造初始流形的construct Initial Manifold函數，裡面第一個參數是nuclear Coordinates。
「你的意思是，我們從頭就把映射對象搞錯了？」
「不是全錯。」
肖宿說：
「原子核坐標決定了電子密度分布的邊界，所以不是沒用。
但是直接拿原子核坐標去做幾何映射，信息維度是完全不夠的。」
許銘的後背開始發涼。
三個多月。
他們花了三個多月在這個框架上，反覆調試映射精度，換過三種不同的辛流形構造方法，甚至他們三個還專門啃了一遍顧辛幾何的論文，就為了把那一段的數學工具用對。
結果肖宿告訴他，他們連映射的對象都沒找對。
肖宿繼續往下翻代碼。
到了群表示分解模塊的時候，他又停了下來。
這次停得更快，幾乎是一展開就停了。
「你們用的對稱群是SU(2)。」
「對。」
許銘說：「論文裡提到了群表示論的不可約分解，我們查了文獻，電子自旋的對稱群是SU(2)，所以……」
「電子自旋是SU(2)，但是分子體系的對稱性不是。」
肖宿打斷他，「水分子的點群是C2v，苯是D6h，氨是C3v，不同分子的對稱群不一樣，不可約表示也不一樣。
用統一的SU(2)去套，對稱性信息就全丟了，計算結果當然對不上實驗值。」
許銘張了張嘴，沒說出話來，臉頰變得滾燙起來。
這本來應該非常基礎，結果他們連這個都忽視了。
他忽然想起萬匯楊在某次組會上說過的一句話：
肖宿的論文裡，每一句話都是有原因的，你以為他在某一處提了一個看似無關的概念，讀到後面才發現那個概念是整個論證的基石。
當時許銘覺得自己已經足夠認真了，論文讀了不下五十遍。
現在他才知道，讀了五十遍和真正讀懂之間，隔著的不是努力，是思維方式。
他又體會到了去年肖宿給他指出錯誤時的那種無力感。
那些他堅信的，覺得正確的東西，其實從一開始就全錯了。