OpenAI 發布 AI 生成的千禧年大獎難題 Navier-Stokes 解答與 Lean 形式化證明
OpenAI 宣布利用 AI 成功解出數學界七大千禧年大獎難題之一的 Navier-Stokes 方程式問題,並同步公開分析報告與 Lean 形式化證明。
79 則值得知道的變化
OpenAI 宣布利用 AI 成功解出數學界七大千禧年大獎難題之一的 Navier-Stokes 方程式問題,並同步公開分析報告與 Lean 形式化證明。
該平台免費開放學術使用,並推出結合 AlphaMissense 的 AVI 評分,將變異影響量化為單一數值,全面涵蓋基因組中 98% 的非編碼區。
該模型超越 GPT-6 Astra 並放棄百萬獎金;學者指控解法與 Codex 草稿重疊,OpenAI 坦承無法排除去識別化資料影響。
該模型由前華為盤古負責人王云鶴團隊研發,結合多模型執行軌跡與路由引導課程學習進行後訓練,專案已於 GitHub 與 Hugging Face 上架。
該模型具備 8K 上下文窗口,在 ParseBench 測試中以 79.2 分超越 Gemini 3 Flash,並同步開源基礎模型 North-Micro-Vision-Instruct 權重供本地部署與微調。
阿里宣布 Wan 3.0 正式上線,主打文字生成動畫功能,使用者僅需輸入簡單的提示詞,即可產出具備電影級畫質的動畫內容。
AI 程式碼編輯器 Cursor 官方宣布,由 Meta 開發的 Muse Spark 1.3 模型現已正式上線,供開發者於編輯器內直接使用。
該模型基於 Qwen3.5 底座,以 Routing Harness 產生的 Agent 執行軌跡為核心語料進行後訓練,作為遞迴自我改進(RSI)的單輪工程驗證。
該模型保留預訓練 VLM 架構,透過外部 BEV 感知頭與規劃專家模組,在單一框架內實現 3D 物件偵測與自車軌跡生成。
官方稱其品質對標 GPT-5.6 Luna 等輕量模型,具備可調推理與平行工具呼叫能力,並同步預覽語音與路由專用模型。
DeAlignAI 釋出的去對齊版模型完全解除安全限制,不到一萬美元的設備即可流暢運行,專家警告網路攻擊將進入低成本自動化時代。
Reddit LocalLLaMA 社群傳出 nex-agi 釋出名為 Nex-N2.5-mini 的 35B 參數模型,目前尚未有進一步的規格與效能數據。
評測顯示 Astra 在高階數學與 3D 建模勝出,且編碼 token 消耗較前代大減 70%,但 Fable 5.1 於桌面操作與綜合智力指標仍佔優勢。
新論文探討如何精準拒絕特定有害子集而非整個主題,透過漸進式重試策略將訓練樣本流失率降至 0.2%,並以目標模型自生成回應降低過度拒絕現象。
官方發布案例顯示,MIT 研究人員透過該模型組合,不僅能自主分析實驗結果,還能完成量子位元校準等科研任務。
專案 Deltafin 堅持不壓縮 1.45 TB 的專家權重,利用小模型推測解碼提升速度。實測 512 token 提示詞的首字延遲達 6.3 分鐘,硬碟讀取最慢節點為效能瓶頸。
該藥物針對特發性肺纖維化開發,透過 AI 平台僅耗時 18 個月即尋得靶點與分子,預計最快 2030 年上市。
相比前代 Sol 模型,Astra 具備更強的無思維鏈執行能力,官方警告若監控退化持續,現有系統恐將失效,正研究激活監控等替代方案。
實測顯示 llama.cpp 啟動僅需 16 秒最快,且其 MTP 分支提升解碼速度約 1.6 倍;各引擎在數學跑分上無顯著差異。
該公司透過分析基因組預測有效組合,已在法國完成逾 10 次臨床試驗並治療 50 萬隻動物,計畫 2030 年擴展至人類醫療。
該賽道在無人工審查與申訴機制下淘汰 18.4% 投稿,系統初始更將逾四成論文判定為 AI 生成,引發對非英語母語者的誤判爭議。
知名數學家陶哲軒針對 AI 解決數學難題發表評論,指出這些未解的開放數學問題,正被 AI 當作不可再生的資源進行開採與消耗。
藉由 HBM4 導入 4 奈米製程,基礎裸片將內建記憶體控制器,並發展至處理器與 DRAM 垂直堆疊的 zHBM 架構,突破實體面積與頻寬限制。
開發者現可在單一檔案撰寫主機與裝置端程式碼,無需獨立的 kernel crate。其 SIMT 路徑專案 cuda-oxide 需搭配 Linux 與運算能力 8.0 以上 GPU 使用。
Meta 於官方網站上線全新個人 AI 代理「Muse」專屬頁面,初步揭露該 AI 助理的相關功能與能力。
此更新匯集逾 1.6 萬個 PR,能自動識別本地模型資源,並維持自託管架構,但部分使用者回報升級後遭遇遷移與鑑權等故障。
每幾百張 GPU 即有一張出現靜默資料損壞,且機架匯流排螺絲鬆動曾引發韌體限電,導致叢集中 5% 的 GPU 效能低落。
演講指出算力衡量正從生成 token 轉向任務完成度,未來十萬顆 GPU 將透過極低抖動網路同步運轉,支撐代理與實體 AI 發展。
該架構採用專用有狀態推論機制,支援會話上下文即時遷移,並在上線前透過導入真實流量的靜默測試,排除跨機房部署等延遲異常。
該系統預先整合 CPU 核心與記憶體,相較前代單插槽效能最高翻倍。Arm 同時宣布與新紫光集團在中國成立聯合 AGI 創新中心。
OpenAI 前 10% 研究員每日消耗逾 7,000 美元 API 額度,內部技術支援需求減半,並已達成「自動化研究實習生」目標。
華為在 9 月 7 日發表會除了推出 Mate XT 2 與 Kirin 9050 Pro,核心亮點是將 AI 戰場轉向作業系統層級。
攻擊者未使用零時差漏洞,而是透過 AI 代理自動化執行逾 50 種攻擊手法,將原需兩週的入侵流程縮短,並留下 80 頁漏洞報告。
資金將用於擴充安全平臺。其模組專門防範提示詞注入與惡意工具呼叫,防護範圍已從一般 AI 代理延伸至程式開發代理。
升級後的超能小度具備自主調度工具與完成任務閉環的能力,涵蓋家庭日程、兒童陪學與智慧看護等場景,將搭載於閨蜜機等四款新品。
針對 AI 代理常請求廣泛權限的問題,開發者現可透過 optional_scopes 陣列標記可選權限,讓用戶在授權介面取消勾選單一項目,打破全有或全無的限制。
調查顯示企業對新一代閉源模型的支出比重正快速攀升,同時預估至 2030 年台灣半導體產能占比仍達 79%,以先進製程為主。
雙方將採用高通 SerDes 與光學 DSP 技術打造 AI 推論基礎設施,高通亦將擴大使用 Amazon Bedrock 服務以縮短晶片設計週期。
Vera 搭載 88 顆 Olympus 核心,採單晶片設計降低延遲,並導入空間多執行緒技術,使 Python 等代理工作負載效能最高提升 1.8 倍。
算力需求帶動全球光纖稼動率衝上 92% 高點,訂單能見度達 2027 年首季;市場定價錨點首次由電信循環轉為 AI 戰略資源。
專為 CUDA 裝置設計,實測長語音提示下無效能衰退。展示於 Jetson Orin 設備運行語音對話,並支援唇形同步與手勢功能。
官方定位為「電路板界 Cursor」,該工具能直接對 KiCad 檔案進行局部修改,並自動執行 ERC 與 DRC 檢查,確保硬體設計合規。
據 Reddit 網友展示,Astra 可跳過傳統模擬器,直接將 SNES ROM 影像檔反編譯為獨立遊戲,並產出人類可讀的原始碼。
新版本主打能將使用者的文字構想、草圖與參考照片,轉換為更具個人化且精緻的圖像,以更準確地反映原始意圖。
Astra 現已全面部署至 Codex 與 ChatGPT Work,涵蓋 Plus、Pro、Business 及 Enterprise 方案使用者,官方並釋出實機展示直播。
駭客利用遭洩露的金鑰生成未經授權的 Claude Code OAuth 令牌。官方已強制登出異常帳號並退款,但拒絕說明用戶該如何判斷帳號遭濫用。
據報導,帕西尼近期完成股份制改革,並與比亞迪合作研發具身智慧產品,同步推出 PXCap Pro 資料手套以降低物理資料採集成本。
系統涵蓋 ChatGPT 等 30 多種 AI 介面,提供四種流量介接與三種部署模式,預計 10 月底上架政府共同供應契約採購。
用戶可直接在時間軸空白處生成影片與音效。Premiere 同步測試 AI 音訊分離,After Effects 亦引入 AI 助手。
據報導,新版讓使用者能以自然語言要求 AI 整理素材、擷取精華與批量渲染,並新增富士、徠卡與索尼等多款相機的照片直匯功能。
該公司致力打造高保真模擬環境,藉此減少物理 AI 訓練對實際硬體驗證的依賴,與近期強調真實世界數據採集的路線形成對比。
該架構支援神經超取樣與補幀技術,展示中提升 4 倍效能效率並減少 70% 外部記憶體流量,同時導入第三代硬體光線追蹤。
該技術整合超解析度與去噪,整機功耗控制在 2.5W 內,可讓手機以 1080p 60fps 連續遊玩 3 小時,需遊戲開發者主動整合。
針對 High NA EUV 曝光面積縮小與輝達 GPU 尺寸變大導致的拼接痛點,台積電推動光罩升級,英特爾與三星亦參與相關倡議。
磷化銦為 AI 資料中心高速傳輸晶片關鍵材料,受地緣政治與需求激增影響,磊晶廠 IQE 將於下半年擴產,並改簽長期協議以穩定供應。
草案預計本週送審國會,要求業者須透過彈出視窗讓用戶選擇退出個人化推薦,動態牆將回歸僅顯示已追蹤帳號的時序排列。
精誠負責從開發、上線測試到零信任架構的資安機制,涵蓋雙軌防護與高風險任務的人工介入,並接軌 ISO 42001 等國際標準。
科技產業倡議組織資訊科技工業委員會(ITI)日前表態反對三項出口管制相關法案,促使 Anthropic 決定退出該組織。
由三星電子領投,資金將用於擴充算力與基礎設施。該公司主打開放權重與主權 AI 架構,目前已累積包含 ASML 等逾 125 家跨國企業客戶。
新費率於 9 月 10 日生效,涵蓋 deepseek-v4-flash 等兩款模型,離峰時段輸入快取命中降至每百萬 Token 0.02 元,尖峰時段收費則為兩倍。
由 David Silver 領軍,今年曾以 51 億美元估值完成 11 億美元種子輪融資,獲輝達與 Google 投資。
AI 影片生成公司 Runway 年度經常性收入達 2 億美元,其人均營收約為 52 萬美元,技術發展重心正轉向押注世界模型。
據 Reddit 流傳的時間表,OpenAI 在聽聞人類數學家進展後成功解題,隨後與學者協調論文發表順序,並聲明無意領取該難題獎金。
該公司估值自 5 月的 260 億美元大幅攀升,其年化營收也從當時的 4.92 億美元成長至約 9 億美元。
該模型建構於 Seedance 之上並由張一鳴親自督軍,鎖定直播與遊戲應用,字節跳動近期亦完成 296 億美元聯貸以擴建海外 AI 算力。
這項耗資約 4.94 億美元的國家級 AI 計畫,旨在確保國家資料維持在國內控制,目前正評估以華為加速器作為運算骨幹。
面壁智能推出主打通用 Agent 任務的 2B 規模端側模型。除了模型本身,本次也一併開放了相關訓練資料、強化學習(RL)框架與訓練方法。
據 DigiTimes 報導,為因應不斷攀升的記憶體成本,Nvidia 預計調整下一代架構的記憶體配置,官方目前尚未證實此傳聞。
該產品在 NVIDIA DGX Spark 硬體上最佳化演算法,協助用戶在本地端完成文件處理、資料分析與程式開發等任務。
重置預計於美西時間當日18時、北京時間8日上午10時左右到帳;案例涵蓋建模、城市場景、遊戲與細胞視覺化。
距前次融資不到八個月,Upwind 傳再獲新資金。該公司近期將防護延伸至 AI 環境,並推出 Blue Agent 協助自動調查資安事件。
該中間版本採用新架構,目前定價與 V4 Flash 相同,每個帳號限制 20 個並行請求,需將模型名稱設為特定字串即可呼叫。
相較 Google 與 Meta 轉向 Apache 2.0,Kimi K3 等中國模型新增商業限制;同期 Qwen 釋出 125B 預覽版。
據 WABetaInfo 報導,WhatsApp 正開發原生功能,允許用戶透過 API Key 接入第三方 AI 代理,但限制僅能在私人對話中使用,且無法存取其他對話或聯絡人。
模型採稀疏 MoE 架構,每次 token 僅啟動 5.5B 參數以提升推論效率,並結合 VideoRoPE 技術編碼時空順序,支援長影片問答與事件定位。
消息指出 OpenAI 疑似使用能力遠超 Astra 的未公開模型,成功解出 Navier-Stokes 千禧年難題,目前官方尚未證實。
據社群論壇消息指出,一款名為 Muse 的個人 AI 代理曝光,主打能為使用者代辦各項任務,其底層由 Muse Spark 1.3 模型驅動。
根據推特用戶 Leo 透露,Fable 計畫在九月底至十月初之間推出全新的預訓練模型,目前官方尚未正式證實此消息。
貼文稱,Astra 以約 20 美元取得高於 o3 在 ARC-AGI 1 的 87.5% 成績,2026 IMO 或可由每月 20 美元 ChatGPT 完成。