第565章 徐神的直播 九 【第二天的直播】
法國巴黎。
清晨六點半，天剛蒙蒙亮，馬克西姆·孔采維奇便輕手輕腳地從床上爬了起來。
剛穿上拖鞋，床上的妻子就被他弄出的動靜吵醒了。
「馬克西姆？你怎麼回事，今天怎麼起這麼早？」妻子揉著眼睛。
「咳，今天有個亞洲的線上學術會議要參加。」孔采維奇一本正經地理了理睡衣領子，「你也知道，時差問題，我必須現在就去書房連線。」
「你不是上午有課嗎？」
「額……取消了。」孔采維奇臉不紅心不跳，「這個會議更重要。」
妻子狐疑地看著他。這老頭子平時最討厭早起，也最煩那些各種名目的國際視頻會議。平時要是有這種錯開時差的國際會議，他十次有九次都會拒絕，至於剩下那一次，通常是因為會議主辦方給的錢實在太多。而且就算是拿了錢，他也會一早上罵罵咧咧地去參會。
今天這是吃錯什麼藥了？早起參會，還這麼高興。
不過還沒等她多問，孔采維奇已經一溜煙地鑽進了書房，還熟練地反鎖了房門。
……
其實，孔采維奇別說是今天沒去上課，昨天的組會都差點忘了參加。
昨天早上，他在學生安德烈面前信誓旦旦地說，徐辰的網絡直播可以等開完組會再慢慢看。結果安德烈前腳剛走，他後腳就把門一鎖，自己偷偷看起了轉播。
看著看著，這老頭子就徹底陷進去了。他手裡捏著筆，跟著徐辰在屏幕上的推導節奏瘋狂驗算，完全沉浸在了自己理論被一步步延伸的美妙體驗中。
然後……他就把組會這事兒給忘了。
直到一個多小時後，安德烈和幾個博士生在會議室里實在等不到導師，一條消息突兀地彈到孔采維奇的手機上，這老頭子才如夢初醒。
但在學生面前，裝出去的逼就像潑出去的水，怎麼能輕易收回？
他趕緊編了個理由，說自己被拉弗格教授拉去討論問題了，實在脫不開身，今天的組會推遲一會。
這句話發出去後，孔采維奇還很滿意地點了點頭。
完美。
結果沒過多久，安德烈和幾個博士生在隔壁教室的窗戶里，看到了拉弗格教授，正在黑板前和一位學生推導著某個完全無關的問題。
空氣沉默了大概三秒。
安德烈：「……」
拉弗格看著窗外的孔采維奇的學生看著自己，一臉疑惑：「？」
好在安德烈是個聰明學生。
聰明學生最大的優點，就是懂得什麼時候該假裝自己什麼都沒看見。
好在孔采維奇估計自知理虧，也可能是心情不錯，後來的組會非常順利。他難得地沒有在學生的一個小錯誤上吹毛求疵，甚至還主動誇了兩個人的思路清晰。
……
書房裡，孔采維奇打開電腦，點進YouTube的轉播頻道。
此時徐辰的直播間，已經開播了十來分鐘。
相比昨天那上百萬的觀看人數，今天的熱度明顯下降了，在線人數穩定在二十萬左右。。
這也是預料之中的事。
畢竟昨天很多衝著「菲獎大佬大戰美國AI公司「這種八卦噱頭來的吃瓜群眾，他們幻想中的直播，大概是年輕天才一邊演示一邊整活，時不時來兩句爆梗，最好還能銳評一下數學、矽谷和華爾街。
結果點進來一看。
好傢夥。
真講數學。
連著講幾個小時。
別的年輕名人直播，多少會玩點節目效果。比如圍棋圈的柯潔，情緒到了還能和彈幕激情互噴，貢獻一堆二創素材。
徐辰不一樣。
他是真的打算把觀眾按在椅子上，硬生生灌六個小時的代數幾何、表示論和偏微分方程。
甚至在B站的轉播區，這直播被網友打上了「助眠白噪音」的標籤。
於是今天留下來的，基本分成兩類人。
一類是真正的數學從業者，數學系的教授、博士後、博士生、碩士生，以及一些被導師逼著來看直播寫學習報告的倒霉孩子。
另一類，則是AI公司的探子。
……
彈幕和提問區里，不斷冒出一些和技術相關的問題。
「徐教授，您在昨天的多窗口並行任務里，似乎讓M1在某些子任務中進行了動態中間狀態重寫，這個策略是基於固定啟發式，還是有元控制層在做策略調度？」
「請問諸葛架構在面對長鏈式數學證明時，對上下文的穩定性保持，是否使用了某種層次化記憶壓縮機制？」
「如果在同一個問題中引入多個競爭性猜想路徑，M1是如何避免搜索樹爆炸的？」
問得都挺有水平，但也問得過於有水平了。
普通數學家一般不會這麼問。真搞數學的人，更關心的是「為什麼這個方向行得通」「這個引理能不能遷移」「這個證明框架能否套到我的問題上」。
只有做AI模型的人，才會拐彎抹角地盯著那些架構層面的核心決策邏輯，以及實現路徑背後的底層動機來提問。
徐辰起初還耐著性子回答了兩個偏基礎的問題，但隨後發現這些提問全都是衝著開源論文裡故意隱去的深層技術細節來的。
一聽就是AI廠商在「白嫖」商業機密。
這些倒不是不能講，不過徐辰知道對方單純是為了商業目的，所以也懶得慣著他們。
反而是那些純粹的數學問題，徐辰更願意回答。
於是接下來，再遇到類似的AI技術的提問，徐辰要麼直接略過，要麼輕描淡寫一句「這個論文裡已經寫得比較清楚了」，然後繼續往下講。
……
「好了，閒話少說。我們先來驗收一下昨天掛機跑了一晚上的作業。」徐辰將畫面切到了M1的後台界面。
經過一晚上的推演，昨天三十個窗口中，已經有七八個窗口成功跑出了最終的邏輯閉環。
徐辰首先點開了一個窗口。
這正是昨天讓孔采維奇在巴黎書房裡咖啡差點灑出來的那個任務。
屏幕上，一段結構嚴整的證明框架已經被M1整理完畢。後面還附帶了形式化驗證的局部檢查報告，以及若干需要人工進一步審閱的邊界條件。
徐辰快速掃了一遍，神色平靜地點了點頭。
「這個結果比我預期的稍微好一點。」
他拿起馬克筆，在白板上畫了一個簡單示意圖。
「簡單說，昨天我們驗證的是：在一類具有溫和奇異點的卡拉比-丘流形上，通過引入非交換Hodge結構的形變，可以讓同調鏡像對稱的核心對應關係繼續成立。」
「那只是說明，在原本斷掉的橋面上，我們鋪了一塊臨時鋼板，人可以過去。」
「今天M1給出的結果更進一步。它證明了這塊鋼板不是臨時的，而是可以擴展成一段穩定橋樑。也就是說，這個方法不僅能處理單點奇異，還能處理一類帶有可控退化族的奇異結構。」
「如果用不嚴謹但直觀的話講，孔采維奇教授原來的理論地圖，在這裡多開了一片新的區域。」
對於研究其他方向的數學家來說，這幾個成果或許只是一堆漂亮的公式，沒有太直接的用處。但對於那些死磕「同調鏡像對稱」這個大坑的數學研究者來說，這簡直就是無數的水論文的機會！
徐辰關於新開地圖的比喻非常容易理解，不少看熱鬧的人也聽懂了，一片彈幕。
「臥槽，同調鏡像對稱理論的DLC更新了？」
「同調鏡像對稱：奇異點版本正式上線！」
「這是徐神的導師的研究方向吧？」
「徐神給導師開資料片是吧？」
「反過來給導師布置課題是吧？」
「太孝了，真是太孝了！」
……
清晨六點半，天剛蒙蒙亮，馬克西姆·孔采維奇便輕手輕腳地從床上爬了起來。
剛穿上拖鞋，床上的妻子就被他弄出的動靜吵醒了。
「馬克西姆？你怎麼回事，今天怎麼起這麼早？」妻子揉著眼睛。
「咳，今天有個亞洲的線上學術會議要參加。」孔采維奇一本正經地理了理睡衣領子，「你也知道，時差問題，我必須現在就去書房連線。」
「你不是上午有課嗎？」
「額……取消了。」孔采維奇臉不紅心不跳，「這個會議更重要。」
妻子狐疑地看著他。這老頭子平時最討厭早起，也最煩那些各種名目的國際視頻會議。平時要是有這種錯開時差的國際會議，他十次有九次都會拒絕，至於剩下那一次，通常是因為會議主辦方給的錢實在太多。而且就算是拿了錢，他也會一早上罵罵咧咧地去參會。
今天這是吃錯什麼藥了？早起參會，還這麼高興。
不過還沒等她多問，孔采維奇已經一溜煙地鑽進了書房，還熟練地反鎖了房門。
……
其實，孔采維奇別說是今天沒去上課，昨天的組會都差點忘了參加。
昨天早上，他在學生安德烈面前信誓旦旦地說，徐辰的網絡直播可以等開完組會再慢慢看。結果安德烈前腳剛走，他後腳就把門一鎖，自己偷偷看起了轉播。
看著看著，這老頭子就徹底陷進去了。他手裡捏著筆，跟著徐辰在屏幕上的推導節奏瘋狂驗算，完全沉浸在了自己理論被一步步延伸的美妙體驗中。
然後……他就把組會這事兒給忘了。
直到一個多小時後，安德烈和幾個博士生在會議室里實在等不到導師，一條消息突兀地彈到孔采維奇的手機上，這老頭子才如夢初醒。
但在學生面前，裝出去的逼就像潑出去的水，怎麼能輕易收回？
他趕緊編了個理由，說自己被拉弗格教授拉去討論問題了，實在脫不開身，今天的組會推遲一會。
這句話發出去後，孔采維奇還很滿意地點了點頭。
完美。
結果沒過多久，安德烈和幾個博士生在隔壁教室的窗戶里，看到了拉弗格教授，正在黑板前和一位學生推導著某個完全無關的問題。
空氣沉默了大概三秒。
安德烈：「……」
拉弗格看著窗外的孔采維奇的學生看著自己，一臉疑惑：「？」
好在安德烈是個聰明學生。
聰明學生最大的優點，就是懂得什麼時候該假裝自己什麼都沒看見。
好在孔采維奇估計自知理虧，也可能是心情不錯，後來的組會非常順利。他難得地沒有在學生的一個小錯誤上吹毛求疵，甚至還主動誇了兩個人的思路清晰。
……
書房裡，孔采維奇打開電腦，點進YouTube的轉播頻道。
此時徐辰的直播間，已經開播了十來分鐘。
相比昨天那上百萬的觀看人數，今天的熱度明顯下降了，在線人數穩定在二十萬左右。。
這也是預料之中的事。
畢竟昨天很多衝著「菲獎大佬大戰美國AI公司「這種八卦噱頭來的吃瓜群眾，他們幻想中的直播，大概是年輕天才一邊演示一邊整活，時不時來兩句爆梗，最好還能銳評一下數學、矽谷和華爾街。
結果點進來一看。
好傢夥。
真講數學。
連著講幾個小時。
別的年輕名人直播，多少會玩點節目效果。比如圍棋圈的柯潔，情緒到了還能和彈幕激情互噴，貢獻一堆二創素材。
徐辰不一樣。
他是真的打算把觀眾按在椅子上，硬生生灌六個小時的代數幾何、表示論和偏微分方程。
甚至在B站的轉播區，這直播被網友打上了「助眠白噪音」的標籤。
於是今天留下來的，基本分成兩類人。
一類是真正的數學從業者，數學系的教授、博士後、博士生、碩士生，以及一些被導師逼著來看直播寫學習報告的倒霉孩子。
另一類，則是AI公司的探子。
……
彈幕和提問區里，不斷冒出一些和技術相關的問題。
「徐教授，您在昨天的多窗口並行任務里，似乎讓M1在某些子任務中進行了動態中間狀態重寫，這個策略是基於固定啟發式，還是有元控制層在做策略調度？」
「請問諸葛架構在面對長鏈式數學證明時，對上下文的穩定性保持，是否使用了某種層次化記憶壓縮機制？」
「如果在同一個問題中引入多個競爭性猜想路徑，M1是如何避免搜索樹爆炸的？」
問得都挺有水平，但也問得過於有水平了。
普通數學家一般不會這麼問。真搞數學的人，更關心的是「為什麼這個方向行得通」「這個引理能不能遷移」「這個證明框架能否套到我的問題上」。
只有做AI模型的人，才會拐彎抹角地盯著那些架構層面的核心決策邏輯，以及實現路徑背後的底層動機來提問。
徐辰起初還耐著性子回答了兩個偏基礎的問題，但隨後發現這些提問全都是衝著開源論文裡故意隱去的深層技術細節來的。
一聽就是AI廠商在「白嫖」商業機密。
這些倒不是不能講，不過徐辰知道對方單純是為了商業目的，所以也懶得慣著他們。
反而是那些純粹的數學問題，徐辰更願意回答。
於是接下來，再遇到類似的AI技術的提問，徐辰要麼直接略過，要麼輕描淡寫一句「這個論文裡已經寫得比較清楚了」，然後繼續往下講。
……
「好了，閒話少說。我們先來驗收一下昨天掛機跑了一晚上的作業。」徐辰將畫面切到了M1的後台界面。
經過一晚上的推演，昨天三十個窗口中，已經有七八個窗口成功跑出了最終的邏輯閉環。
徐辰首先點開了一個窗口。
這正是昨天讓孔采維奇在巴黎書房裡咖啡差點灑出來的那個任務。
屏幕上，一段結構嚴整的證明框架已經被M1整理完畢。後面還附帶了形式化驗證的局部檢查報告，以及若干需要人工進一步審閱的邊界條件。
徐辰快速掃了一遍，神色平靜地點了點頭。
「這個結果比我預期的稍微好一點。」
他拿起馬克筆，在白板上畫了一個簡單示意圖。
「簡單說，昨天我們驗證的是：在一類具有溫和奇異點的卡拉比-丘流形上，通過引入非交換Hodge結構的形變，可以讓同調鏡像對稱的核心對應關係繼續成立。」
「那只是說明，在原本斷掉的橋面上，我們鋪了一塊臨時鋼板，人可以過去。」
「今天M1給出的結果更進一步。它證明了這塊鋼板不是臨時的，而是可以擴展成一段穩定橋樑。也就是說，這個方法不僅能處理單點奇異，還能處理一類帶有可控退化族的奇異結構。」
「如果用不嚴謹但直觀的話講，孔采維奇教授原來的理論地圖，在這裡多開了一片新的區域。」
對於研究其他方向的數學家來說，這幾個成果或許只是一堆漂亮的公式，沒有太直接的用處。但對於那些死磕「同調鏡像對稱」這個大坑的數學研究者來說，這簡直就是無數的水論文的機會！
徐辰關於新開地圖的比喻非常容易理解，不少看熱鬧的人也聽懂了，一片彈幕。
「臥槽，同調鏡像對稱理論的DLC更新了？」
「同調鏡像對稱：奇異點版本正式上線！」
「這是徐神的導師的研究方向吧？」
「徐神給導師開資料片是吧？」
「反過來給導師布置課題是吧？」
「太孝了，真是太孝了！」
……