堤麟AI目錄
白宮還在琢磨怎麼禁 AI，AI 先把一道 87 年沒人解開的數學題拆了
一、87 年的雅可比猜想，被 AI 找到反例推翻了
數學家 Levent Alpöge（普林斯頓博士、菲爾茲獎得主 Bhargava 的學生，現為 Anthropic 研究員）7 月 19-20 日公布：用 Fable 5 找到了雅可比猜想（Jacobian conjecture）的三維反例——一個雅可比行列式恆等於 -2 的多項式映射，卻有三個不同的輸入點映射到同一點，直接推翻了這個 1939 年提出的著名猜想（三維及以上不成立，二維情形仍然開放）。
這事的份量：維基百科 Jacobian conjecture 詞條已改寫為「2026 年發現 N>2 反例」；菲爾茲獎得主 Timothy Gowers 公開評價，這是他第一次見到大模型解決一個「圈外人也聽說過的著名問題」。反例已被多位數學家獨立驗算通過、Lean 形式化驗證在審——但注意，尚未經期刊同行評審。
一句話看懂：AI 在數學上從「幫人算」走到了「找到人沒找到的東西」——而且找到的是反例，不是證明。「AI for Science」這個詞，今天第一次有了教科書級的註腳。
來源：Wikipedia、TechNews、GlitchWire
二、同一天的華盛頓：晶片卡不住，琢磨禁模型
Axios 7 月 20 日獨家：川普政府內部正考慮限制美國接入中國 AI 模型（實體清單、採購規則、施壓美企），直接誘因是 Kimi K3——性能追平頂級閉源、開放權重還免費。死結也擺在那：開源權重下載了就在本地跑，594GB 的 K3 權重 7 月 27 日就上 HuggingFace（Modified MIT 授權），禁令沒處使勁，白宮內部也有反對（AI 顧問 David Sacks 等）。目前只是「考慮中」，無正式政策。
同日 The Information 爆料（谷歌未官宣）：谷歌在自研 Gemini 專用推理晶片 Frozen v2，目標 2028 年、能效是現有 TPU 的 6-10 倍，Alphabet 股價漲約 3%。一邊想禁對手的模型，一邊把自家算力越攥越深。
來源：Axios、Tom's Hardware、CNBC、Kimi K3 開源頁
三、智譜一天漲 36.89%：故事從「參數」換成了「算力地基」
智譜（02513.HK）今天收盤大漲 36.89%、市值回到約 5676 億港元，單日增超 1500 億。催化劑兩個：1GW 級自研算力數據中心落地（全部採用中國自研晶片，約 75 萬戶家庭用電量級）+ 完成收購中科加禾（中科院計算所編譯技術團隊，補晶片-模型中間的編譯層）。摩根大通把目標價從 1800 上調至 2000 港元。
要補一句語境才完整：這是連跌兩日、較 6 月高點回撤約七成之後的暴力反彈——6 月它曾破兆市值。市場投票的方向倒是清楚：故事從「誰參數大」切到「誰把算力地基打進自己手裡」。
四、阿里連發第三天，DeepSeek 把價目表改了
- Qwen-Image-3.0 今天發布：支持 4.5K token 超長指令，一次性生成公式、幾何圖、多層 UI，12 種語言原生渲染（百煉 API 邀測）。Qwen3.8-Max-Preview 也在 7-21 快速迭代一版（官方稱 web 前端能力顯著提升、「還在每天進化」；跑分為官方自稱、暫無第三方榜單）。加上昨天登頂全球語音榜的 Qwen-Audio-3.0-TTS（Elo 1236），通義系連續第三天有大動作。
- DeepSeek 把計費改成了「峰谷電」模式：白天高峰全價、其餘時段打折（詳見官網價目），並且舊接口 deepseek-chat / deepseek-reasoner 將於 7 月 24 日 23:59（北京時間）永久下線——還掛著舊接口的服務這週內必須遷移。
來源：每日經濟新聞、TechnoSports、證券時報、Artificial Analysis
五、機器人：官方數字來了，工廠節拍也來了
- 工信部 7-20 發布會官宣：中國人形機器人整機產品 400 餘款、占全球半數以上，四足機器人占全球銷量近 70%；官方口徑 2026 全年產量有望突破 10 萬台（工信部科技司副司長甘小斌 7 月初提出）。
- 領益智造北京亦莊工廠（京津冀首座具身智能超級工廠，4 月投產）：15 分鐘整裝下線一台天工 3.0，產能規劃 2026 年 1 萬台套、2030 年 50 萬台套。
- WAIC 收官側的數字（覆盤）：H3 具身館 200 餘家企業、300+ 台真機、208 款終端；智身科技累計量產超 1.5 萬台；小米產線單工位 98%；智元 GO-2/GE-2 集中展示（GO-2 為 4 月發布）；商湯大裝置日均處理 2.42 兆 Token 且中國自研混推集群做到正毛利率。
六、快訊拼盤
- 微軟×Mistral：官宣多年、數十億美元歐洲合作——數千顆 Vera Rubin GPU，Mistral 模型進 Foundry/Copilot Studio，支持完全斷網部署（主打歐洲受監管行業）
- 《第九禁區》導演布洛姆坎普發布全 AI 短片《NIGHTBORNE》：13 分鐘、Seedance 2.0 生成、32 位真人演員授權出演，下一步瞄準長片
- 月之暗面回應馬斯克「Grok 可能超越 Kimi」：歡迎掰手腕
- 騰訊混元 Hyra-1.0：遞歸自我改進的科研智能體，刷新 NanoGPT Speedrun 紀錄
- xAI Grok 進 Excel/Word/PPT（Microsoft Marketplace 免費上架）
- Gartner：2026 全球 AI 平台與模型支出 642 億美元、同比 +63.4%
- 華為 Mate 90 爆料：9 月發布、麒麟 9 系、首發鴻蒙 7；價格與電池各有兩版說法（4699/4999 起、7000/8000mAh），全部以發布會為準
來源：Microsoft、World of Reel、觀察者網、新浪科技、Microsoft Marketplace、Gartner、快科技
七、接下來一週的日曆
- 7/23：華為智界 V9 升級乾崑 ADS 5（或分批延至 8 月上旬）
- 7/24：DeepSeek 舊接口 deepseek-chat / deepseek-reasoner 永久下線（23:59 北京時間）
- 7/27：Kimi K3 完整權重上 HuggingFace（594GB、Modified MIT）
- 7/28：MCP 協議正式版發布
- 7/29：微軟財報（輝達要到 8 月下旬）
本文事實均經交叉核查並附來源深鏈；雅可比猜想反例已經社群獨立驗算但尚未期刊同行評審；美方「限制中國模型」為 Axios 援引消息人士的「考慮中」事項；谷歌 Frozen v2 為 The Information 爆料未官宣；Qwen3.8 跑分為官方自稱；智譜大漲發生在高點回撤約七成之後；Mate 90 全部為供應鏈爆料；鴻蒙 7 分批推送時間表華為未官宣，本文未採用，均請以後續官方口徑為準。