第556章 做空行動 四【單位距離猜想】
為了這張底牌，Anthropic可是下了血本。多支數學團隊在實驗室里瘋狂煉丹，消耗了近千萬美元的算力成本，終於在某個團隊手裡誕生了一個準菲爾茲獎級的成果。
那就是單位距離猜想的證偽。（ps：真實案例是openai於2026年5月證明的）
這個猜想由著名數學家埃爾德什提出，內容可以被粗略理解為：在平面上畫n個點，這些點之間距離剛好等於1的「單位距離線段」最多能有多少條？
埃爾德什本人曾猜測，ν(n)不會超過n^(1+C/loglogn)，其中C是某個常數。
幾十年來，數學家們普遍認為這個數量的增長是相對緩慢的。但Anthropic的團隊，通過Mythos的輔助，找到了一個特殊的點陣構造，證明了在某些情況下，單位距離線段的數量可以遠超之前的預估。
他們證偽了原有猜想的一個重要推論。
在數學上，證偽往往比證明一個普適定理要取巧一些。就像要證明「所有天鵝都是白色的」很難，但你只要找到一隻黑天鵝，就能瞬間推翻這個論斷。儘管如此，能在「單位距離猜想」這種級別的難題上找到「黑天鵝」，其難度和意義，也足以在數學界引發一場地震。
為了這個成果，Anthropic給那個主導的數學教授團隊，開出了一張一百萬美元的獎金支票。這個數字，在向來清苦的數學系裡，絕對算得上是一夜暴富的傳奇。
……
當天下午兩點，Anthropic官網突然掛出了一條極其醒目的公告，同時向全球主流學術媒體推送了通稿。
《Mythos成功證偽「單位距離猜想」！》
消息一出，整個國際數學界和AI圈同時發生了一場大地震。
「單位距離猜想？這是真的嗎？」
「這個問題困擾了多少代數學家啊……」
「等等，這真的是AI證明的？」
學術界的反應，比DeepSeek_M1的發布時還要劇烈。
因為這不再是什麼IMO滿分的故事了。這是一個真正的、困擾了整個數學界幾十年的開放問題。而且，這個問題的難度，遠遠超過了那些競賽題。
這代表著，AI已經不僅僅能做題，而是能夠做研究。
華爾街立刻有了反應。
9月19日美股開盤，納斯達克指數雖然沒有繼續上漲，但跌幅也被成功遏制住了。英偉達、微軟等科技龍頭的下跌幅度，從前一天的1.5%縮小到了0.3%。
市場信心，暫時穩住了。
投行的分析師們更新了他們的研報。新的標題是：《Anthropic突破單位距離難題，AGI能力再獲驗證》。
消息在推特上刷屏。學術大V開始轉發這篇論文的連結。陶哲軒本人甚至在自己的博客上發表了評論，雖然言辭保留，但基本認可了這個成果的意義。
納指期貨在美東時間晚間，開始反彈。
納斯達克100指數在尾盤甚至翻紅，收出了一根帶著長長下影線的K線。
……
杭州，幻方量化。
夜裡十一點，高管會議室里燈火通明。
梁文鋒看著交易終端上的收盤數據，眉頭微微皺起。
他確實沒想到，Anthropic居然還藏了這麼一手。
「目前的帳面情況怎麼樣？」梁文鋒問道。
「空單因為大部分是虛值期權，帶有很高的槓桿。今天盤中下跌的時候，帳面上確實出現了浮盈。但因為尾盤被拉上去了，期權的時間價值還在衰減，目前的盈利大概只有三千多萬美元。」
三千多萬美元，換成人民幣差不多兩個億。聽起來不少，但問題在於，這一局從來不是普通交易。他們前面投入的，不僅僅是金融倉位。還有海量的技術投入。
一旦美股在明天繼續受到情緒提振而反彈，這點微薄的浮盈，很快就會被槓桿反向吞噬。
「咱們有點被動了，梁總。」一位高管沉聲說道，「M1的性能確實強，但學術圈講究的是拿論文說話。沒有真實的科研級成果鎮場子，對方的輿論攻勢咱們很難招架。」
會議室里陷入了短暫的沉默。
老美這次的危機公關打得極其漂亮。他們用一個準菲獎級的成果，重新奪回了「誰才是AGI引領者」的話語權。
現在，皮球被踢回了DeepSeek這邊。
不過梁文鋒沉默了一會後反而顯得沒那麼緊張了，眾人疑惑。
梁文鋒說道：「徐辰一直想搞這個數學AI，不可能只是為了讓M1做幾道IMO題。」
眾人眼神微動。
梁文鋒繼續說道：
「別急，我們再耐心等等。」
「我不相信，他現在能忍住不搞個大新聞。」
……
相比於華爾街和幻方量化那邊的劍拔弩張，此時的徐辰，日子過得那是相當滋潤。
DeepSeek_M1正式上線後，他終於有時間舒舒服服地坐在自家的書房裡，開始深度體驗「Vibe Mathing」的快感。
你給它一個方向，它會自動補全你沒想到的細節。你提出一個想法，它會立刻反饋出三個你從未考慮過的角度。
簡單來說，就是徐辰終於找到一個能跟得上自己思路的搭子了。
其實在DeepSeek內部開發的時候，他就可以提前試用了。但那半個月為了趕工程進度，他整個人都快被榨乾了，腦子裡裝的全是底層架構和算子優化，連看一眼數學公式都覺得想吐。他乾脆選擇了等正式版發布。反正也不差這幾天。
現在M1正式版落地，他總算可以享受自己親手打造的這件神器。
「不得不說，這玩意兒用起來是真順手啊。」
……
伴隨著M1的發布，徐辰腦海中也久違地響起了系統的提示音。
【檢測到宿主主導並開源了具有國際影響力的AI架構與模型論文，信息學經驗值+1000！】
【當前信息學等級：LV.2（2150/2500）】
不僅如此，前兩天水木大學李丁平教授那邊也傳來了好消息。他們沿著徐辰之前提供的思路，成功搞出了一個不錯的階段性成果，並在《物理評論快報》（PRL）上發表了一篇高水平論文。作為提供核心理論支撐的共同一作，徐辰順理成章地分到了一杯羹。
【檢測到宿主參與的高水平物理學論文發表，物理學經驗值+500！】
【當前物理學等級：LV.2（920/2500）】
看著個人面板上穩步上漲的經驗條，徐辰的心情更好了。
……
那就是單位距離猜想的證偽。（ps：真實案例是openai於2026年5月證明的）
這個猜想由著名數學家埃爾德什提出，內容可以被粗略理解為：在平面上畫n個點，這些點之間距離剛好等於1的「單位距離線段」最多能有多少條？
埃爾德什本人曾猜測，ν(n)不會超過n^(1+C/loglogn)，其中C是某個常數。
幾十年來，數學家們普遍認為這個數量的增長是相對緩慢的。但Anthropic的團隊，通過Mythos的輔助，找到了一個特殊的點陣構造，證明了在某些情況下，單位距離線段的數量可以遠超之前的預估。
他們證偽了原有猜想的一個重要推論。
在數學上，證偽往往比證明一個普適定理要取巧一些。就像要證明「所有天鵝都是白色的」很難，但你只要找到一隻黑天鵝，就能瞬間推翻這個論斷。儘管如此，能在「單位距離猜想」這種級別的難題上找到「黑天鵝」，其難度和意義，也足以在數學界引發一場地震。
為了這個成果，Anthropic給那個主導的數學教授團隊，開出了一張一百萬美元的獎金支票。這個數字，在向來清苦的數學系裡，絕對算得上是一夜暴富的傳奇。
……
當天下午兩點，Anthropic官網突然掛出了一條極其醒目的公告，同時向全球主流學術媒體推送了通稿。
《Mythos成功證偽「單位距離猜想」！》
消息一出，整個國際數學界和AI圈同時發生了一場大地震。
「單位距離猜想？這是真的嗎？」
「這個問題困擾了多少代數學家啊……」
「等等，這真的是AI證明的？」
學術界的反應，比DeepSeek_M1的發布時還要劇烈。
因為這不再是什麼IMO滿分的故事了。這是一個真正的、困擾了整個數學界幾十年的開放問題。而且，這個問題的難度，遠遠超過了那些競賽題。
這代表著，AI已經不僅僅能做題，而是能夠做研究。
華爾街立刻有了反應。
9月19日美股開盤，納斯達克指數雖然沒有繼續上漲，但跌幅也被成功遏制住了。英偉達、微軟等科技龍頭的下跌幅度，從前一天的1.5%縮小到了0.3%。
市場信心，暫時穩住了。
投行的分析師們更新了他們的研報。新的標題是：《Anthropic突破單位距離難題，AGI能力再獲驗證》。
消息在推特上刷屏。學術大V開始轉發這篇論文的連結。陶哲軒本人甚至在自己的博客上發表了評論，雖然言辭保留，但基本認可了這個成果的意義。
納指期貨在美東時間晚間，開始反彈。
納斯達克100指數在尾盤甚至翻紅，收出了一根帶著長長下影線的K線。
……
杭州，幻方量化。
夜裡十一點，高管會議室里燈火通明。
梁文鋒看著交易終端上的收盤數據，眉頭微微皺起。
他確實沒想到，Anthropic居然還藏了這麼一手。
「目前的帳面情況怎麼樣？」梁文鋒問道。
「空單因為大部分是虛值期權，帶有很高的槓桿。今天盤中下跌的時候，帳面上確實出現了浮盈。但因為尾盤被拉上去了，期權的時間價值還在衰減，目前的盈利大概只有三千多萬美元。」
三千多萬美元，換成人民幣差不多兩個億。聽起來不少，但問題在於，這一局從來不是普通交易。他們前面投入的，不僅僅是金融倉位。還有海量的技術投入。
一旦美股在明天繼續受到情緒提振而反彈，這點微薄的浮盈，很快就會被槓桿反向吞噬。
「咱們有點被動了，梁總。」一位高管沉聲說道，「M1的性能確實強，但學術圈講究的是拿論文說話。沒有真實的科研級成果鎮場子，對方的輿論攻勢咱們很難招架。」
會議室里陷入了短暫的沉默。
老美這次的危機公關打得極其漂亮。他們用一個準菲獎級的成果，重新奪回了「誰才是AGI引領者」的話語權。
現在，皮球被踢回了DeepSeek這邊。
不過梁文鋒沉默了一會後反而顯得沒那麼緊張了，眾人疑惑。
梁文鋒說道：「徐辰一直想搞這個數學AI，不可能只是為了讓M1做幾道IMO題。」
眾人眼神微動。
梁文鋒繼續說道：
「別急，我們再耐心等等。」
「我不相信，他現在能忍住不搞個大新聞。」
……
相比於華爾街和幻方量化那邊的劍拔弩張，此時的徐辰，日子過得那是相當滋潤。
DeepSeek_M1正式上線後，他終於有時間舒舒服服地坐在自家的書房裡，開始深度體驗「Vibe Mathing」的快感。
你給它一個方向，它會自動補全你沒想到的細節。你提出一個想法，它會立刻反饋出三個你從未考慮過的角度。
簡單來說，就是徐辰終於找到一個能跟得上自己思路的搭子了。
其實在DeepSeek內部開發的時候，他就可以提前試用了。但那半個月為了趕工程進度，他整個人都快被榨乾了，腦子裡裝的全是底層架構和算子優化，連看一眼數學公式都覺得想吐。他乾脆選擇了等正式版發布。反正也不差這幾天。
現在M1正式版落地，他總算可以享受自己親手打造的這件神器。
「不得不說，這玩意兒用起來是真順手啊。」
……
伴隨著M1的發布，徐辰腦海中也久違地響起了系統的提示音。
【檢測到宿主主導並開源了具有國際影響力的AI架構與模型論文，信息學經驗值+1000！】
【當前信息學等級：LV.2（2150/2500）】
不僅如此，前兩天水木大學李丁平教授那邊也傳來了好消息。他們沿著徐辰之前提供的思路，成功搞出了一個不錯的階段性成果，並在《物理評論快報》（PRL）上發表了一篇高水平論文。作為提供核心理論支撐的共同一作，徐辰順理成章地分到了一杯羹。
【檢測到宿主參與的高水平物理學論文發表，物理學經驗值+500！】
【當前物理學等級：LV.2（920/2500）】
看著個人面板上穩步上漲的經驗條，徐辰的心情更好了。
……