機器之心● 精選AI 評分89
OpenAI 公布納維-斯托克斯方程奇點構造證明
9 月 8 日 OpenAI 公布由內部 AI 系統產生的解析證明與 Lean 形式化證明，構造出三維不可壓縮納維-斯托克斯方程在有限時間內形成奇點的解，即千禧年大獎難題的一種可能答案。9 月 11 日 Clay Mathematics Institute 稱該工作「看起來已經解決」問題，但按規則論文仍需評審與長期檢驗，獎金尚未宣布歸屬。
搜尋
依意思最接近的 28 筆
NVIDIA blogAI 評分25
輝達稱 Vera Rubin NVL72 每兆瓦吞吐量超 GB300 30 倍
輝達援引 SemiAnalysis AgentX 資料稱，Vera Rubin NVL72 每兆瓦吞吐量超過 GB300 NVL72 的 30 倍，在 DeepSeek V4 Pro 上每百萬 token 成本最多低 45 倍。輝達以「高產、耐用、通用」概括 AI 工廠回報邏輯：每兆瓦 token 數決定收益，A100 出貨六年後仍在商用，CoreWeave 已將 2020 年首批裝置的預訂延長至 2029 年。
NVIDIA blogAI 評分45
NVIDIA DSX 打通電網與 AI 工廠，多家能源廠商接入
NVIDIA 公布 DSX AI Factory 平台進展，把電網、變電站與機房作為一套系統統一規劃與執行，GE Vernova、日立能源、施耐德電氣、西門子能源等廠商已接入。平台包括用於開工前模擬驗證的 DSX Sim、讓 AI 工廠負荷跟隨電網狀況調節的 DSX Flex，以及提升每瓦算力並跨系統共享訊號的 DSX MaxLPS 與 DSX Exchange。
X @samaAI 評分23
Sam Altman 曬 Navier-Stokes 里程碑 T 恤，背面印思維鏈末行
Sam Altman 在 X 上透露，一件 Navier-Stokes 里程碑紀念 T 恤的背面，印著該問題解答思維鏈（chain-of-thought）的最後一行。推文只有這一句話，沒有給出解答本身、求解時間與驗證方式，也沒有配圖，因此除「Navier-Stokes 被記為一次里程碑」這一點外，目前沒有更多資訊。
機器之心AI 評分41
華人團隊 Novix 將 RSI 規模化，半年服務 20 萬專家
華人團隊 Novix 把 RSI（遞迴自我改進）做成規模化閉環，成立半年已服務 20 萬名專家，覆蓋 40 多個國家和地區、500 多所高校及科研機構。團隊由石宇、湯嘉斌等創立，核心成員來自 Google、微軟、Meta、智譜和 Kimi。
Hacker News front page● 精選AI 評分77
亞馬遜收縮 Nova 自研模型，資源轉向機器人前沿模型
據 Bloomberg 報導，亞馬遜已把大部分 Nova 模型（含文字、影像與影片生成）降為“keep the lights on”狀態，只保留維持執行的最低資源，並重組 AI 團隊，將算力與人力集中到由 Pieter Abbeel 領導的一個前沿模型專案上。此前一週，亞馬遜剛關閉了舊金山一個 80 人的 AGI 研究辦公室。Abbeel 的機器人公司 Covariant 於 2024 年被亞馬遜收購，新方向與其機器人自動化目標一致。
Hacker News front page● 精選AI 評分84
數學家發現 OpenAI 的 Navier-Stokes 證明兩個版本不一致
劍橋大學研究團隊指出，OpenAI 公布的 Navier-Stokes 證明中，Lean 形式化版本與自然語言版本並不一致，問題出在 Lemma 8.6：自然語言版要求某值小於 m+4，Lean 版卻放寬為小於 m+5，數學上更弱。團隊用 ChatGPT 逐條比對再人工核查，花了約兩週才找到這處真實差異，而 OpenAI 稱其智慧體僅用 88 小時生成證明。
X @SpaceXAIAI 評分17
SpaceXAI 稱參與 NVIDIA 一項重要計劃
SpaceXAI 公開表示，自己是 NVIDIA 一項「重要計劃」的參與方。該帖並未給出計劃名稱、合作範圍、時間表，也沒有說明涉及哪些產品或技術，NVIDIA 一方在這條內容中同樣沒有提供細節。因此目前只能確認雙方存在這項合作表態，具體內容仍需等待後續披露。
機器之心● 精選AI 評分80
Altman 透露：攻克千禧難題的 1 萬 Agent 由下一代 GPT 驅動
OpenAI 的 Sam Altman 在阿布扎比 ADIPEC 2026 上透露，9 月公布的三維納維–斯托克斯方程突破，是由 1 萬個由下一代 GPT 驅動的 Agent 完成的。這些 Agent 沒有層級、也沒有統一負責人，各自探索方向並共享進展，協同執行約 4 天：核心數學探索約 88 小時，交換 270 萬條訊息、生成約 1300 億 Token，隨後由 GPT-6 Astra 用 17 小時完成 Lean 形式化驗證。
量子位AI 評分41
鈦動科技發布行業首個 Pro-Agent，Navos Pro 主打結果導向
10 月 23 日，鈦動科技在廣州 TGC 2026 科技增長大會發布行業首個 Pro-Agent 產品 Navos Pro，面向跨境電商、外貿與營銷等場景提供結果導向的 AI for Work 能力。產品由 Professional、Proactive、Profitable 三大體系構成：輸入品牌官網即可搭建私有品牌知識庫，7×24 小時監測資料並主動給出預算、出價與素材迭代建議，以 GMV、ROI 等指標衡量產出。
TechCrunch AIAI 評分51
Nirva 獲 3300 萬美元融資，做只監聽佩戴者本人的 AI 吊墜
AI 可穿戴公司 Nirva 完成 2500 萬美元 pre-A 輪融資，加上年初的 800 萬美元，累計融資 3300 萬美元，首款產品是一隻只監聽佩戴者本人語音的 AI 吊墜。吊墜重約 8 克、續航 3 天、售價 249 美元，11 月開放預訂、年底發貨；它在引導流程中學習使用者的聲音，使用中過濾周圍其他人的說話聲，預設不保留音訊與轉寫，配套 App 輸出情緒、溝通風格等個人洞察。
Hacker News front pageAI 評分37
Neal Stephenson 談 AI：連他也被這輪熱潮打了個措手不及
《Snow Crash》作者 Neal Stephenson 在 Core Memory 播客與 Ashlee Vance 對談約兩小時，坦言連自己都被這輪 AI 熱潮打了個措手不及。他討論奇點是否已經臨近、當下是否算 AI 的曼哈頓計劃時刻，並指出與中國的 AI 競賽存在熟悉的兩難：沒人願意在對手可能更快時放慢腳步。
NVIDIA blogAI 評分61
NVIDIA 發布 Minerva，為 AI 工廠提供端到端可觀測性
NVIDIA 發布 AIOps 平台 Minerva，為 AI 工廠提供端到端可觀測性。它把 GPU、網路、儲存、排程器與工作負載的遙測匯入動態知識圖譜，每小時分析數十億資料點，用於發現異常、預測故障並把告警風暴聚合為帶根因的事件；平台還內建 AI 助手，可連線外部 agentic 工具，目標是提升 GPU 正常執行時間與 AI 工廠產出。
NVIDIA blogAI 評分43
NVIDIA 攜夥伴將物理 AI 與 agentic AI 推向全球城市
NVIDIA 與合作伙伴把物理 AI 與 agentic AI 擴充套件到全球城市，用於居民服務、影片分析與數字孿生。西班牙 1MillionBot 把巴塞羅那超算中心的開源 ALIA 模型與 Nemotron 結合，已在當地 150 多個場景部署；馬來西亞 ITMAX 的 SamurAI V2 視覺 agent 計劃到 2027 年支援 1.7 萬路以上攝像頭，其 TeraSim 模擬把高峰通行時間最多縮短 26%。
NVIDIA blogAI 評分45
NVIDIA 加入歐盟 AI 科研計劃，開放 250+ 開源模型
NVIDIA 加入歐盟委員會在都柏林 AI in Science Summit 上啟動的 AI in Science Enablers 計劃，將向歐洲科研界開放加速計算工具、算力與培訓。NVIDIA 已開源 250 多個模型、250 個資料集與 1400 多個開源專案，包括 Nemotron、BioNeMo、PhysicsNeMo、Earth-2 和 ALCHEMI NIM，可用於 agentic 推理與科學計算。
機器之心AI 評分39
鈦動科技發布行業首個 Pro Agent Navos Pro
10 月 23 日，鈦動科技在廣州 TGC 2026 科技增長大會上發布行業首個 Pro Agent——Navos Pro，以 Professional（業務理解）、Proactive（7×24 小時主動發現機會）、Profitable（用 GMV、ROI 等指標驗證結果）三項能力串成閉環，人保留最終決策權。其 CEO 李述昊稱該範式已在出海營銷場景跑通，首批客戶實測中某出海品牌 ROI 提升至原來的 2.5 倍。
The Verge AIAI 評分48
OpenAI、Anthropic、Nvidia 單季遊說支出均創新高
2026 年 7 至 9 月，OpenAI、Anthropic 和 Nvidia 的聯邦遊說支出都達到各自單季最高。其中 Nvidia 花 220 萬美元最多，Anthropic 為 210 萬，OpenAI 為 150 萬。與微軟、Google 等長期佈局華盛頓的大廠相比，這一規模並不算異常：微軟自 2021 年起每季至少 200 萬美元，Google 常在 300 萬以上；但這顯示三家 AI 公司正加大對政策制定的投入。
NVIDIA blogAI 評分45
輝達投資五家英國 AI 初創，另承諾 2.5 億美元算力
輝達宣布計劃投資 Boltz、Foresight、Hiverge、Prima Mente 和 Riverlane 五家英國 AI 初創公司，並承諾五年投入 2.5 億美元算力，用於強化英國的 agentic 安全與安全研究。這五家公司分別做生物分子模型與藥物設計、超大規模資料中心等基建專案的完工預測、自動編寫並最佳化演算法的發現引擎、面向阿茲海默症等疾病的生物基礎模型，以及跨量子位元型別的即時糾錯軟硬體。
NVIDIA blogAI 評分32
NVIDIA 展示用 GPT-6 Astra 等前沿模型搭建 Omniverse 模擬應用
NVIDIA 展示開發者用 GPT-6 Astra 等前沿模型配合 Omniverse 庫，以自然語言指令搭建模擬應用。案例包括從全景照片與點雲重建可編輯的廠房模型、針對燃氣輪機與發電機的 what-if 分析應用（含 6 項測試流程），以及藉助 GTC Berlin 發布的 SimReady Central Library（2000 多個模擬就緒 USD 資產）組裝場景。
NVIDIA blog● 精選AI 評分66
輝達發布 DSX POD，Vera Rubin 工廠現場部署縮至 14 天
輝達在 GTC Berlin 發布 DSX POD 參考設計：由合作伙伴在模組化集裝箱內整合並驗證完整的 Vera Rubin AI 工廠，站點水電就緒後現場部署可從六個月縮短到 14 天。Vera Rubin 已全面量產，DSX 平台稱冷卻用水最多減少 100%，同等 AI 產出省電 30%。
NVIDIA blogAI 評分45
歐洲多城部署 NVIDIA 智慧體，法國 500 棟公共建築已落地
NVIDIA 宣布歐洲多地城市正用其加速計算、Cosmos 與 Nemotron 開源模型搭建物理 AI 智慧體和數字孿生，用於城市運維與公共服務。法國 Côte-d'Or 省與 Akila、ThinkDeep 合建主權數字孿生運維智慧體，覆蓋 500 多棟公共建築，把文件檢索從數週縮短到數分鐘、運營總成本降低 10%，規模化目標 30%。義大利米蘭地區由 Galene.AI 與戴爾部署本地 AI 工廠，先在 Cinisello Balsamo 落地並計劃擴充套件至另外四個市鎮；
量子位AI 評分26
STEPX 發布首款 AI 終端 IDE Step Studio，自然語言生成智慧體
STEPX（階躍終端）推出旗下首款 AI 終端原生開發工具 Step Studio，創客只需使用自然語言即可生成 AI App、遊戲、智慧體和 Skill，並可通過 MCP、A2A 等協議連線外部服務與專業智慧體。
TechCrunch AIAI 評分71
Sean Parker 將 Stability AI 轉型為音樂 AI 工具
Napster 聯合創始人 Sean Parker 正把 Stability AI 重塑為面向音樂專業人士的 AI 工具公司。兩年前他參與 8000 萬美元救助這家瀕臨崩潰的影像生成初創公司，如今與 CEO Prem Akkaraju 公布新方向。8 月底公司宣布獲得 7600 萬美元融資，投資方包括索尼、華納和環球，三家還授權曲庫用於訓練。
Mistral AI news● 精選AI 評分63
Mistral 聯手 NVIDIA 建工程 AI 基準，Large 4 將發布權重
Mistral 與 NVIDIA 宣布合作開發 AI 原生工程工作流：以 Mistral Large 4 配合資料生成與物理建模管線，用 NVIDIA CUDA-X、Warp 加速模擬，並接入 Omniverse 生成 3D 場景與 SimReady 資產。雙方還將發布物理模型的公開基準與開放資料集，併為 CAE、EDA 中的 agentic AI 建立評測，考察工具使用、多步流程與技術正確性，同時記錄耗時與算力成本。
Hacker News front pageAI 評分72
斯坦福 Ousterhout 提出 Homa 協議替代 TCP
斯坦福教授 John Ousterhout 在 AI Engineer 演講中提出 Homa，一種面向資料中心的全新傳輸協議，認為 TCP 和 RDMA 正成為 AI 叢集的瓶頸。他指出 AI 負載已從大流量梯度傳輸轉向 KV cache 查詢、屏障同步等小訊息協調，這類訊息對延遲敏感，一旦與大數據流混排就會陷入 incast 佇列，拖高尾延遲並讓 GPU 空轉。Homa 基於訊息而非位元組流，採用接收端驅動的擁塞控制，並用 SRPT 優先排程短訊息。
Hacker News front page● 精選AI 評分77
NVIDIA OpenShell 發布 0.1 穩定版，為 AI agent 提供核心級沙箱
NVIDIA 的 OpenShell 發布 0.1.x 穩定版，為批次執行的自主 AI agent 提供帶策略約束的私有執行時。它在核心層對每次檔案訪問、系統呼叫和網路連線執行策略，並在策略變更生效前用形式化驗證標出新增的高風險訪問，憑據只注入到獲批端點。預設沙箱是未安裝任何 agent 的精簡 Ubuntu 映象，需要 Docker、Podman 或宿主虛擬化，官方教程用 OpenCode 接免費 OpenRouter 模型演示按需批准權限。
NVIDIA blogAI 評分47
NVIDIA 在 GitHub 開放 FOX 工廠智慧體藍圖
NVIDIA Factory Operations Blueprint（FOX）已在 GitHub 開放早期訪問，開發者可據此建置常駐工廠管理智慧體，協調機器作業，並派生視覺檢測、根因分析、報告生成等專用智慧體。這些智慧體可接入 Cosmos、Nemotron 開放模型，並通過上下文學習用文件與樣例完成適配，無需微調。西門子已把它接入 Intelligence Center X，預計節省 20% 成本，並在埃爾朗根工廠將檢測流程校準時間縮短 40%。
機器之心AI 評分42
OpenAI 將 RSI 列為戰略目標，MemoraX 展示記憶驅動自進化
OpenAI 於 9 月 21 日發布官方戰略宣告，把自動化 AI 研究員與遞迴自我改進（RSI）列為下一階段重要目標，並計劃在 2028 年 3 月前打造真正的自動化 AI 研究員；Anthropic 同期披露，截至 8 月 Claude 已在約 26% 的內部 AI 研發工作中承擔主導角色。