如何處理這種“破損的對稱性”,是理論落地必須要解決的問題。
肖宿幾乎不假思索:“用群的正則表示分解。離散對稱可以嵌入到連續群的子群中,近似對稱可以透過定義鬆弛的等變約束來處理。具體實現時,我們設計了一個可微的對稱性度量函式,允許小幅度偏離理想對稱。”
他調出了一頁PPT,上面是那個度量函式的數學定義和幾個實驗曲線。
姚院士仔細看了幾秒,緩緩點頭:“很優雅的解決方案。謝謝。”
坐下時,他輕聲對博士生說:“記下來,這個度量函式的設計,我們組可以借鑑。”
第二個提問的是錢衛華院士。
他問題更偏工程一些:“肖宿同學,從演算法複雜度分析,你的框架在理論上是O(n log n)級別的。但實際實現中,特別是大規模分散式計算時,通訊開銷會成為瓶頸。有沒有考慮過針對超算架構的最佳化?”
這個問題問得相當專業,直接戳中了大規模AI訓練的核心痛點。
我們現在的 AI 之所以強調大資料、大模型,本質上就是靠計算量和資料量來得到精確的答案。
再理想的框架,如果算力跟不上,也達不到想要的效果,一切白搭。
肖宿點點頭,這個人提的問題還是比較關鍵的。
“這個問題之前已經考慮過。群論框架的特徵空間具有區域性性,天然就適合資料並行。我們正在設計一種分層聚合演算法,可以在保證精度的前提下,將通訊量減少到傳統方法的百分之三十左右。論文在投,預印本已經掛在arXiv上。”
錢衛華眼睛一亮:“arXiv編號多少?我回去馬上看。”
“2309.xxxxx。”肖宿報出一串數字。
錢院士迅速記下,滿意地坐下。
接下來又問了幾個問題,有京大的教授,有外校的研究員,問題質量都很高。
肖宿回答簡潔但精準,沒有一句廢話。
偶爾遇到特別基礎的問題,他會直接說“這是群表示論的基礎知識,可以翻教科書”,一點不留情面。
幾個想渾水摸魚刷存在感的記者,提的問題被也肖宿直接無視了。
兩點五十五分,顧清塵作為主持人站起身。
“時間差不多了,最後一個問題。”
一個華清大學的博士生搶到了機會,問了個關於周氏猜想證明細節的問題。
肖宿用三分鐘解釋清楚,然後看向臺下。
“還有問題嗎?”
臺下安靜極了。
不是沒有問題,而是問題太多了。
大多數人連今天寫的筆記都還需要時間消化。
很多問題還需要回去仔細研讀論文,甚至需要補充基礎知識,才能問得出來。
”。樣這就天今那“
。臺講了下走轉,包書起背,碟隨下拔,TPP掉關宿肖
。聲掌的烈熱出發後然,秒兩了愣下臺
。哨口聲了吹人有至甚,掌鼓來起站人有,久很了續持聲掌
。麼什句了說聲低,去上追塵清顧,門側到走經已宿肖
。堂講了開離直徑,頭搖搖宿肖
。去散刻立有沒卻群人,裡堂講
。後聽著流地興群五三則生學,容的才剛論討起一在圍會機個這著藉們授教
”!像偶生人的我是就神肖起天今從,佈宣我“
”。了月個一化消我夠經已,十三之分百這就但,十三之分百了懂聽只然雖“
”。了實真太,撼震的’畏可生後‘種那?嗎了表的士院錢和士院姚到看們你“
”?了書看館書圖去又是還?碼式程敲室驗實回。嘛幹在在現神肖奇好較比我“
”。gub的’智小‘改在他,錢五賭我“
”。題難學數個一下考思在他,塊一註加“
。遇相口門在士院華衛錢和士院智毅姚
。笑一視相佬大位兩
。問華衛錢”?何如覺,姚老“
:道慨,鏡眼推了推智毅姚
”。會組開去回趕得我。向方新個三了指至組們我給,架框論群套那。啊浪前推浪後江長“
”。藏寶是都的裝裡子腦……子孩這。頸瓶訊通的久很擾困個一上算超們我決解能計估我,本印預篇那他“,頭點華衛錢”。樣一也我“
。開離隊團著帶自各,句幾了聊又人兩
。容笑的住不是上臉,群人的去散漸漸著看,邊臺講在站遠明江和明景陳
”。所三有也外國,流問訪去宿肖請邀想學大所五至,息訊到收剛我!了功太得辦“,手著遠明江”……次這們咱,長院陳“
:真認氣語但,頭點點明景陳
”。說再好備準他等……流於至。究研的他做續繼,境環的靜安是的要需最在現他。子孩那擾打別,一先請邀些這“
”。白明白明“
”。……校學謝謝說還媽媽他,了上戶賬媽媽宿肖到打經已,金獎萬十二百一那,了對,哦“,頭點連連遠明江
”。們我是的謝謝說該“:說聲輕,兒會一了默沉明景陳








