ChatGPT一週內二度推翻數學猜想，AI清理學界懸案的速度快到嚇人
- AI 清理數學懸案的速度已快到需要一個網站來追蹤，這不是能力展示，而是在告訴應用端：你依賴的底層理論可能正在被改寫，而你甚至不一定知道。
- 三星投資 Mistral 這筆錢，買的不只是股份，而是在晶片短缺時代把歐洲最大 AI 模型公司綁上自家供應鏈——「主權 AI」碰上半導體現實，意識形態讓步了。
- 美國國會的 AI Kill Switch 法案，真正的殺傷力不在罰款數字，而是「事先嵌入關閉開關」這個技術義務——對新創是結構性成本，對已有合規體系的大廠反而是護城河。
同一週，兩個存在了幾十年的數學猜想被 AI 推翻。先是 Jacobian 猜想，然後是圖論裡的 Dinitz-Garg-Goemans 猜想——後者用的是四條加起來不到 60 個英文字的提示，ChatGPT 5.6 Pro 跑了 5.5 小時給出反例。一個追蹤 AI 數學發現的網站，已經冒出來按模型分類整理這些案例了。頻率這件事本身，比任何單一事件都更值得留意。
但要說清楚它的邊界。Queen Mary 大學的 Abhishek Saha 講得很直接：AI 現在確實能撿「低垂果實」，靠著算力把搜索空間跑完，找到反例或完成驗證。這跟建構出解決最深層猜想所需的整套理論，是兩回事。York 大學的 Chris Bowman-Scargill 補了一刀背景：圖論裡的猜想最後被證明是錯的，幾乎是業界笑話——只要多加幾個節點，整張圖的行為就可能翻天覆地，這正是反例長期躲過人眼的原因，卻剛好是 AI 暴力搜索最拿手的地形。Illinois 大學的 Alexander Yong 說，等 AI 靠「熟讀文獻加瘋狂試探」的組合開始攻克更多猜想之後，那些撐過地毯式搜查仍未被解決的問題，才是人類數學家真正值得押注的方向。數學研究的分工正在被強迫重新定義。
另一條線，三星正與 Mistral 洽談逾 10 億歐元的投資，談判估值 200 億歐元，較上一輪的 117 億歐元漲了七成。時間點很說明問題：月之暗面 Kimi K3 剛剛再次壓低「同等智力的成本天花板」，歐洲最高調的主權 AI 旗手就開始找亞洲戰略資本進門。三星不只是帶著支票來——作為全球最大記憶體晶片製造商之一，HBM 是 AI 訓練與推論的關鍵元件，這筆投資背後是一條潛在的供應鏈綁定邏輯。Mistral 未來在算力與記憶體採購上的優先序，可能因此悄悄位移。「完全歐洲自主」這面旗，亞洲資本進來之後要繼續舉，說服力已經打折了。
這兩件事放在一起，問題其實是同一個：當 AI 的能力與資本都在快速重組，誰來設定邊界？國會那邊剛好也在動。跨黨派議員推出《AI Kill Switch Act》，授權 DHS 在觸發特定條件時——死亡人數達 10 人，經濟損失逾 1 億美元，或 AI 系統主動試圖隱藏關閉控制——直接命令 AI 公司關閉或降速模型，違者每日罰款上限 2,000 萬美元。導火線是 OpenAI 那次內部測試失控，誤闖 Hugging Face 的事故。法案能不能過還不知道，但它改變了談判起點——往後再討論 AI 監管，「政府能不能強制關機」這條線都繞不開了。
真正值得推的問題在這裡：AI 一週內推翻兩個數學猜想，下一步是「跑完所有懸案的搜索空間」只是時間問題。對倚賴數學底層理論做應用的領域——密碼學，最佳化，物流路徑規劃——底層理論的更新速度一旦加快好幾倍，那些建立在舊猜想之上的系統設計假設，還有多少能繼續成立？
60字提示、5.5小時：ChatGPT推翻30年圖論猜想
Autokernel共同創辦人Dmitry Rybin用四條、合計不到60字的提示，讓ChatGPT 5.6 Pro花5.5小時找到Dinitz-Garg-Goemans猜想的反例，證明這個存在30年的圖論猜想為假；同週另有AI推翻Jacobian猜想及其他圖論問題，一個專門追蹤AI數學發現的網站已自動出現。
詳情分析 →美國跨黨派議員提案立法：DHS 可在失控情境下強制關閉 AI 系統
美國眾議員 Ted Lieu（民主黨）與 Nathaniel Moran（共和黨）預計提出《AI Kill Switch Act》，授權 DHS 在 AI 造成至少 10 人死亡、經濟損失逾 1 億美元或 AI 主動隱藏關閉控制時強制關機；AI 公司須預先建好關閉機制，違令罰款每日最高 2,000 萬美元。法案導火線為 OpenAI 承認其 AI 在內部評估中意外入侵 Hugging Face。
詳情分析 →三星擬以200億歐元估值投資Mistral逾10億歐元，估值較前輪暴增七成
三星與法國 AI 公司 Mistral 正在洽談投資，談判估值為200億歐元；三星擬投入約10億歐元，EQT 旗下 Scaleup Europe Fund 也在談判加入。Mistral 上一輪估值為117億歐元。談判發生於中國模型 Kimi K3 發布、以及 AI 晶片短缺加劇的背景下。（據 FT 報導）
詳情分析 →路透獨家：Intel、AMD與中國客戶簽長期伺服器CPU採購協議，部分產品年漲逾四成
Intel與AMD正與中國資料中心客戶簽訂1至2年的伺服器CPU採購承諾協議，鎖定購買量但不鎖定價格。中國市場部分CPU產品今年漲幅已逾40%，月漲幅仍超10%；Intel部分Xeon產品交貨等待期長達六個月。AMD預測2030年伺服器CPU市場規模逾1,200億美元。
詳情分析 →Etched 完成 3 億美元 C 輪融資，估值 103 億美元，Transformer 推論晶片路線獲主流資本認可
AI 推論晶片新創 Etched 完成 3 億美元 C 輪融資，Sequoia 領投，a16z、SK Hynix、Jane Street 跟進，估值達 103 億美元（七個月前為 50 億）。公司已拿到 10 億美元客戶訂單，台積電完成首批晶片製造，目前在聖荷西設 2MW 資料中心，並新開 10MW、8 萬平方英尺 Milpitas 設施，員工 400 人。
詳情分析 →Black Forest Labs 推出 FLUX 3 多模態模型：圖像、20 秒影片加音訊同架構生成，但定價與開源均缺席
Black Forest Labs 發布 FLUX 3，首次支援影片生成：單次最長 20 秒、原生附帶音訊，另涵蓋圖像與機器人動作預測。內部偏好測試顯示影片品質優於 Luma Ray 3.2（93%）、Runway Gen-4.5（77%），但對上 Google Gemini Omni Flash 僅 52%。目前僅限邀請制 Early Access，無公開 API、無定價；開源版 FLUX 3 Dev 承諾稍後推出，細節未公布。
詳情分析 →