第559章 徐神的直播 三【直播】
9月21日上午，北京時間十點整。
徐辰的直播間準時開啟。
五分鐘內，觀看人數就衝到了五十萬。十分鐘後，破百萬。
這種熱度，已經足以比肩春晚級別的直播了。
進來的觀眾五花八門。
有單純來看熱鬧的路人，他們在彈幕上狂刷「徐神又來裝逼了」「期待被吊打」之類的玩梗。
有真正的數學學者，他們來自全球各地，希望親眼看到這位傳奇人物如何操縱AI去解決那些困擾了他們多年的難題。
還有一批特殊的觀眾，來自各大量化基金的數據分析師。他們在直播間裡不是為了學數學，而是在實時抓取彈幕情緒、監測觀眾反應、建立輿論熱度指標模型。一旦徐辰在直播中展現出足夠震撼的數學成果，這個情緒信號就會立刻被翻譯成交易指令，推送給後台的算法交易系統。
這是現代金融的一個隱秘角落：情緒量化。
簡單來說，就是用自然語言處理技術去捕捉市場參與者的集體心理變化。當直播間裡的牛逼、天才、突破這類關鍵詞從每分鐘出現10次暴增到100次時，這個情緒的轉折點，就會被算法識別為「市場信心拐點「，進而自動觸發相關的交易策略。在毫秒級的交易中，情緒有時候比數據本身更有殺傷力。
……
徐辰的直播間布置很簡潔。
黑色的背景，一台MacBook Pro，一塊白板。
徐辰坐在鏡頭前，穿著一件簡單的灰色衛衣，頭髮有點隨意，面前放著一杯咖啡。
他對著鏡頭試了試音，清了清嗓子。說實話，雖然講過不少課，但面對著屏幕上滾動的彈幕和幾百萬的在線人數，徐辰心裡還是有點小緊張——畢竟，這關係到他那一個億的小目標能不能順利翻倍。
「咳，能聽到吧？行，那咱們直接開始。」
彈幕瞬間刷屏。
「徐神要開始裝逼了！」
「徐神開直播了，全體起立。」
「這是要現場演示M1有多強嗎？」
「徐神是不是做空了美股[狗頭]」
「我是來看美股今天死不死的。」
……
徐辰暫時忽視了評論，切入了正題：「我知道很多人用M1的時候，就是直接把問題堆進去，然後期望它自動吐出答案。但這樣用，就像拿著一把屠龍刀去砍柴，一百倍的浪費。」
「M1的真正威力，在於它能夠精準地執行你的戰略意圖。但前提是，你得有戰略意圖。」
說著，徐辰在白板上快速寫下了三個詞：
方向性約束 → 邏輯框架 → 精準提示
「這是Vibe Mathing的三層金字塔。最底層是方向性約束——你要告訴AI你想往哪個方向走。中間層是邏輯框架——你要把問題的全局結構向AI描述清楚。最頂層是精準提示——你給出最關鍵的那一兩個突破口，剩下的交給AI去搜索和補全。」
「我之前一直跟課題組強調，做頂級課題，不能只盯著一條證明鏈。你要先把問題拆成一棵戰略樹。」
「主命題是什麼？它依賴哪些關鍵引理？每個引理失敗時，有沒有同倫等價的替代路線？有沒有可以通過譜序列遷移過去的旁路？有沒有能用局部化技巧繞開的奇點？」
「把這些你想清楚的骨架餵給AI，剩下的血肉，交給它去搜索和補全。這，才叫人機協同。」
……
「為了更直觀一點，我今天就不講乾巴巴的理論了，咱們直接實操。」
說著，徐辰將直播畫面切成了投屏模式，展示出DeepSeek_M1的簡潔對話框。
「我之前收集了很多數學問題的解法思路，但是覺得推下去太費體力，就存著沒管了。今天剛好拿來當演示素材。」
徐辰一邊說，一邊打開了桌面上一個名為「雜項備忘錄」的文件夾。
那裡面，密密麻麻全是當初「釣魚計劃」和「天網計劃」留下的數學框架和提前準備好的提示詞！
當這個文件夾的內容投屏在直播間的那一刻，對於那99%連微積分都掛科的普通網友來說，這些宛如天書的標題並沒有引起太大的波瀾，大家只是覺得不明覺厲，跟著大部隊無腦狂刷「臥槽牛逼」、「前排膜拜大佬」，純當看個熱鬧。
然而，在B站另一個專門面向高校碩博生和研究員的數學區硬核轉播間裡，氣氛卻在這一刻陷入了令人毛骨悚然的死寂。
那些深知這些標題分量的數學系天坑人們，看清那些文件命名的瞬間，感覺頭皮仿佛過了電一般發麻：
《關於函數域上朗蘭茲綱領的一個延伸問題》
《同調鏡像對稱在奇異簇上的適用性探討》
《關於P=W猜想的一個弱化形式的證明思路》
《算術幾何中的Hodge猜想衍生問題》
……
整個文件夾里，少說有四五十個這樣的標題，橫跨代數幾何、數論、表示論、辛拓撲等各個深水領域！
一個人，怎麼可能同時在這麼多壁壘森嚴的數學分支上，都積累到了「有想法但沒時間推」的離譜階段？！這已經不是用「天才」或者「努力」能解釋的範疇了，這簡直就像是把整個現代數學金字塔的精華，強行塞進了一個碳基生物的腦子裡！
足足過了半分鐘，硬核轉播間那死寂的彈幕才如同決堤般爆發：
「臥槽！這他媽是什麼怪物啊？！」
「不是，這文件夾里隨便單拎一個文件出來，都夠普通博士寫一篇頂刊混個教職了吧？！」
「他管這叫『雜項』？這分明是頂刊備忘錄吧！」
「我開始嚴重懷疑徐神是不是人類了…」
……
徐辰隨手複製了一段極長的文本，「比如這道題，這是關於函數域上朗蘭茲綱領的一個延伸問題。洛朗·拉福格教授當年證明了朗蘭茲綱領的函數域情形，但他的證明中對自守表示的局部約束條件還留了一個缺口。也就是說，在某些特殊的剩餘特徵條件下，他的論證並不完全。」
「要補上這個缺口，需要你既要懂自守表示論、又要懂算術幾何、還要懂l進表示論。這三個領域的交集本身就極其罕見。而且算力工作量大得驚人——我之前試過用傳統方法，光是搜索相關的引理就花了兩個月。」
「所以我設計了一個思路：與其正面證明自守表示的存在性，不如用反證法。我先構造一個虛假的表示，然後讓AI去證明這個虛假表示必然導致矛盾。這樣一來，問題就轉化成了一個相對容易處理的'矛盾搜索'問題。」
「我的提示詞是這樣的——」
徐辰指向屏幕上的那段文本。那段文本密密麻麻，充滿了符號和嚴格的邏輯約束。即使是直播間裡那些頂級數學家，看著那些約束條件也需要花幾分鐘才能完全理解。
「你看，這裡我定義了表示空間的拓撲結構，這裡我給出了矛盾的搜索邊界，這裡我限制了引理應用的範圍，這裡我預留了同倫等價的退路。每一行都不是廢話，每一個約束都直指問題的本質。「
徐辰將那段包含著密集拓撲結構定義、邊界條件和代數幾何直覺的文本，粘貼進了M1的輸入框。
隨後，按下了回車。
……
「只要你的提示足夠清晰，邏輯鏈條給足了前置約束，剩下的髒活累活，就交給機器吧。」
「因為M1的產品架構是Agent化的，也就是說它不是一次性輸出，而是可以持續不斷地自我糾偏。一旦任務提交，它會自己連續運行，逐步逼近解，直到解決問題或者走進死路為止。在這個過程中，它會自動回溯、嘗試替代路線、調整策略。你要做的，就是給它一個好的起點和清晰的約束。」
屏幕上，第一個窗口開始飛速輸出代碼和公式。
隨後徐辰重新打開了一個新的網頁窗口。
「一個一個等太慢了，M1的並發處理能力還是不錯的，咱們多開幾個。」
……
徐辰的直播間準時開啟。
五分鐘內，觀看人數就衝到了五十萬。十分鐘後，破百萬。
這種熱度，已經足以比肩春晚級別的直播了。
進來的觀眾五花八門。
有單純來看熱鬧的路人，他們在彈幕上狂刷「徐神又來裝逼了」「期待被吊打」之類的玩梗。
有真正的數學學者，他們來自全球各地，希望親眼看到這位傳奇人物如何操縱AI去解決那些困擾了他們多年的難題。
還有一批特殊的觀眾，來自各大量化基金的數據分析師。他們在直播間裡不是為了學數學，而是在實時抓取彈幕情緒、監測觀眾反應、建立輿論熱度指標模型。一旦徐辰在直播中展現出足夠震撼的數學成果，這個情緒信號就會立刻被翻譯成交易指令，推送給後台的算法交易系統。
這是現代金融的一個隱秘角落：情緒量化。
簡單來說，就是用自然語言處理技術去捕捉市場參與者的集體心理變化。當直播間裡的牛逼、天才、突破這類關鍵詞從每分鐘出現10次暴增到100次時，這個情緒的轉折點，就會被算法識別為「市場信心拐點「，進而自動觸發相關的交易策略。在毫秒級的交易中，情緒有時候比數據本身更有殺傷力。
……
徐辰的直播間布置很簡潔。
黑色的背景，一台MacBook Pro，一塊白板。
徐辰坐在鏡頭前，穿著一件簡單的灰色衛衣，頭髮有點隨意，面前放著一杯咖啡。
他對著鏡頭試了試音，清了清嗓子。說實話，雖然講過不少課，但面對著屏幕上滾動的彈幕和幾百萬的在線人數，徐辰心裡還是有點小緊張——畢竟，這關係到他那一個億的小目標能不能順利翻倍。
「咳，能聽到吧？行，那咱們直接開始。」
彈幕瞬間刷屏。
「徐神要開始裝逼了！」
「徐神開直播了，全體起立。」
「這是要現場演示M1有多強嗎？」
「徐神是不是做空了美股[狗頭]」
「我是來看美股今天死不死的。」
……
徐辰暫時忽視了評論，切入了正題：「我知道很多人用M1的時候，就是直接把問題堆進去，然後期望它自動吐出答案。但這樣用，就像拿著一把屠龍刀去砍柴，一百倍的浪費。」
「M1的真正威力，在於它能夠精準地執行你的戰略意圖。但前提是，你得有戰略意圖。」
說著，徐辰在白板上快速寫下了三個詞：
方向性約束 → 邏輯框架 → 精準提示
「這是Vibe Mathing的三層金字塔。最底層是方向性約束——你要告訴AI你想往哪個方向走。中間層是邏輯框架——你要把問題的全局結構向AI描述清楚。最頂層是精準提示——你給出最關鍵的那一兩個突破口，剩下的交給AI去搜索和補全。」
「我之前一直跟課題組強調，做頂級課題，不能只盯著一條證明鏈。你要先把問題拆成一棵戰略樹。」
「主命題是什麼？它依賴哪些關鍵引理？每個引理失敗時，有沒有同倫等價的替代路線？有沒有可以通過譜序列遷移過去的旁路？有沒有能用局部化技巧繞開的奇點？」
「把這些你想清楚的骨架餵給AI，剩下的血肉，交給它去搜索和補全。這，才叫人機協同。」
……
「為了更直觀一點，我今天就不講乾巴巴的理論了，咱們直接實操。」
說著，徐辰將直播畫面切成了投屏模式，展示出DeepSeek_M1的簡潔對話框。
「我之前收集了很多數學問題的解法思路，但是覺得推下去太費體力，就存著沒管了。今天剛好拿來當演示素材。」
徐辰一邊說，一邊打開了桌面上一個名為「雜項備忘錄」的文件夾。
那裡面，密密麻麻全是當初「釣魚計劃」和「天網計劃」留下的數學框架和提前準備好的提示詞！
當這個文件夾的內容投屏在直播間的那一刻，對於那99%連微積分都掛科的普通網友來說，這些宛如天書的標題並沒有引起太大的波瀾，大家只是覺得不明覺厲，跟著大部隊無腦狂刷「臥槽牛逼」、「前排膜拜大佬」，純當看個熱鬧。
然而，在B站另一個專門面向高校碩博生和研究員的數學區硬核轉播間裡，氣氛卻在這一刻陷入了令人毛骨悚然的死寂。
那些深知這些標題分量的數學系天坑人們，看清那些文件命名的瞬間，感覺頭皮仿佛過了電一般發麻：
《關於函數域上朗蘭茲綱領的一個延伸問題》
《同調鏡像對稱在奇異簇上的適用性探討》
《關於P=W猜想的一個弱化形式的證明思路》
《算術幾何中的Hodge猜想衍生問題》
……
整個文件夾里，少說有四五十個這樣的標題，橫跨代數幾何、數論、表示論、辛拓撲等各個深水領域！
一個人，怎麼可能同時在這麼多壁壘森嚴的數學分支上，都積累到了「有想法但沒時間推」的離譜階段？！這已經不是用「天才」或者「努力」能解釋的範疇了，這簡直就像是把整個現代數學金字塔的精華，強行塞進了一個碳基生物的腦子裡！
足足過了半分鐘，硬核轉播間那死寂的彈幕才如同決堤般爆發：
「臥槽！這他媽是什麼怪物啊？！」
「不是，這文件夾里隨便單拎一個文件出來，都夠普通博士寫一篇頂刊混個教職了吧？！」
「他管這叫『雜項』？這分明是頂刊備忘錄吧！」
「我開始嚴重懷疑徐神是不是人類了…」
……
徐辰隨手複製了一段極長的文本，「比如這道題，這是關於函數域上朗蘭茲綱領的一個延伸問題。洛朗·拉福格教授當年證明了朗蘭茲綱領的函數域情形，但他的證明中對自守表示的局部約束條件還留了一個缺口。也就是說，在某些特殊的剩餘特徵條件下，他的論證並不完全。」
「要補上這個缺口，需要你既要懂自守表示論、又要懂算術幾何、還要懂l進表示論。這三個領域的交集本身就極其罕見。而且算力工作量大得驚人——我之前試過用傳統方法，光是搜索相關的引理就花了兩個月。」
「所以我設計了一個思路：與其正面證明自守表示的存在性，不如用反證法。我先構造一個虛假的表示，然後讓AI去證明這個虛假表示必然導致矛盾。這樣一來，問題就轉化成了一個相對容易處理的'矛盾搜索'問題。」
「我的提示詞是這樣的——」
徐辰指向屏幕上的那段文本。那段文本密密麻麻，充滿了符號和嚴格的邏輯約束。即使是直播間裡那些頂級數學家，看著那些約束條件也需要花幾分鐘才能完全理解。
「你看，這裡我定義了表示空間的拓撲結構，這裡我給出了矛盾的搜索邊界，這裡我限制了引理應用的範圍，這裡我預留了同倫等價的退路。每一行都不是廢話，每一個約束都直指問題的本質。「
徐辰將那段包含著密集拓撲結構定義、邊界條件和代數幾何直覺的文本，粘貼進了M1的輸入框。
隨後，按下了回車。
……
「只要你的提示足夠清晰，邏輯鏈條給足了前置約束，剩下的髒活累活，就交給機器吧。」
「因為M1的產品架構是Agent化的，也就是說它不是一次性輸出，而是可以持續不斷地自我糾偏。一旦任務提交，它會自己連續運行，逐步逼近解，直到解決問題或者走進死路為止。在這個過程中，它會自動回溯、嘗試替代路線、調整策略。你要做的，就是給它一個好的起點和清晰的約束。」
屏幕上，第一個窗口開始飛速輸出代碼和公式。
隨後徐辰重新打開了一個新的網頁窗口。
「一個一個等太慢了，M1的並發處理能力還是不錯的，咱們多開幾個。」
……