Simantic 推出韌體模擬層,讓 AI agent 無硬體測試韌體
YC F26 的 Simantic 發布韌體模擬層,讓 AI agent 與工程師不必拿到硬體就能測試和驗證韌體。它提供可單次 API 呼叫即執行的虛擬開發板、以模擬結果為證據的韌體 AI 程式碼審查,以及每次提交都針對模擬微控制器驗證韌體的 CI/CD 流水線。團隊來自 Neuralink 與 Tesla,早期 MVP 封裝 Renode,因受制於其開發速度、Dotnet 效能與功能臃腫而改為自研引擎。
依意思最接近的 22 筆
YC F26 的 Simantic 發布韌體模擬層,讓 AI agent 與工程師不必拿到硬體就能測試和驗證韌體。它提供可單次 API 呼叫即執行的虛擬開發板、以模擬結果為證據的韌體 AI 程式碼審查,以及每次提交都針對模擬微控制器驗證韌體的 CI/CD 流水線。團隊來自 Neuralink 與 Tesla,早期 MVP 封裝 Renode,因受制於其開發速度、Dotnet 效能與功能臃腫而改為自研引擎。
北京大學孫仲團隊聯合 IBM 蘇黎世研究院與矽谷公司 Unconventional AI,在 Nature 旗下期刊發表綜述,為“現代模擬計算”給出正式定義:面向矩陣計算、基於阻變儲存器、具備高精度與可擴充套件路徑。配套的安納智芯 AMC 電路採用位切片方案,以 8 個 3 位元切片實現 24 位定點精度,求解相對誤差經 3 次迭代降到 10^-4、最終收斂至 10^-7,追平數字 FP32。團隊稱同等精度下吞吐量約為輝達 H100 的 1000 倍、能效約 100 倍,且可在 28 奈米成熟製程製造;
NVIDIA 公布一系列半導體制造合作,把 GPU 加速與物理 AI 接入模擬、光刻、刻蝕與測試環節。應用材料 ACE+ 形貌模擬最高提速 35 倍,西門子 Calibre 光刻模擬最高 17 倍,COMSOL 多物理場模擬與應用材料 Ginestra 約 10 倍,泛林 SEMulator3D 刻蝕建模預計最高 30 倍。等離子體預測從數天縮短到毫秒級,愛德萬用 AI agent 把模型選擇從數小時降到數分鐘。
llama.cpp 新建置 b11623 中,CUDA 後端的 conv2d 在 AMD 顯示卡上改用 SIMT 隱式 GEMM 實現,不再依賴 WMMA。提交說明提到,短歸約場景會跳過 SIMT conv2d,相關注釋也已更新。該版本照例放出各平台預編譯包,含 Ubuntu 與 Windows x64 的 ROCm 10.0、CUDA 12/13,以及 Vulkan、SYCL、OpenVINO、Snapdragon 等;
優必選發布具身智慧模擬平台 Thinker-Sim,以 Real2Sim2Real 閉環覆蓋真實場景重建、模擬資料合成與機器人能力評測三個環節。官方稱自研渲染引擎效率提升 67.3%,單節點(8 GPU)日均合成 390 小時模擬資料,SIL/HIL 通訊效率提升超過 400%。平台還提供視覺化工作流,稱可零程式碼完成模擬編排、適配 90% 以上目標場景,並可用自研 Ulab-Agent 以自然語言排程任務。
ESP32-S3 實現 SIMD 加速 FAST 檢測器,QVGA 約 6ms。該晶片是雙核 240MHz、整合 WiFi 與藍牙 LE 的 2 美元級 MCU;作者用 128 位 SIMD 彙編重寫 FAST 角點預測試,吞吐從 5.1MP/s 升至 11.2MP/s,約 2.2 倍,足以處理 30fps VGA 影片流。為繞開非對齊讀取、僅支援有符號 8 位比較與飽和運算等限制,採用相鄰暫存器切片拼接和異或 0x80 把無符號畫素線性對映到有符號區間;原始碼已公開,作者還為此寫了簡易暫存器分配器 basm。
啟元具身研究中心發布 PrimeSim,一款由預訓練影片生成模型改造而成的機器人世界模型模擬器,在 EWMBench 以 6.09 綜合得分登頂,並在 WorldSimProbe 五項指標中拿下三項第一。它用 30110 小時、覆蓋 22 種機器人平台的資料做中訓練與後訓練,單張 A100 上三視角推理達 10.12 FPS,支援兩分鐘以上連續推演。
10 月 16 日,範式智慧聯合睿思智聯發布一站式生產級 AI 部署平台模域(ModelSphere),面向企業免費開源,以 Apache 2.0 協議在 GitHub 上線。平台把算力管理、模型部署與執行最佳化整合為統一流程,可統一混合排程華為昇騰、天數智芯、摩爾線程、海光 DCU 等國產晶片,無需為不同晶片重寫底層程式碼。
由 Ericsson、AstraZeneca、Saab、SEB 等組成的瑞典聯合體啟用 Sferical One 超算,執行在兩套 NVIDIA DGX SuperPOD 上,共 16 機架 DGX GB300 系統、1152 塊 GPU,並將基於 Nemotron 開源模型建置服務。北歐正成為歐洲增長最快的基礎設施樞紐,AI 雲預計到 2027 年底在該地區部署 1 吉瓦容量,Bitdeer、CoreWeave、Nscale 等均在列。
NVIDIA 推出 Cosmos3-H-Dreams,據其稱為首個基於臨床膽囊切除手術錄影訓練、可即時回應操作指令的生成式手術模擬器。模型基於 160 億引數的 Cosmos3-H-Embodied-Nano,接收 28 維動作(雙臂位姿、夾爪、能量控制與搖桿),以 832×480、10 Hz 的錄影與運動學資料訓練,並蒸餾出四步與兩步兩個學生檢查點,後者推理更快但畫質略降。
印度初創公司 Scimplify 完成 2500 萬美元全股權融資,由 Hitachi Ventures 領投,據知情人士投後估值 2.5 億美元,累計股權融資 8000 萬美元。資金中約 750 萬美元用於美國擴張,200 萬美元用於繼續開發 AI 平台 Scinode。Scinode 以研究、製造、質控等不同職能的專用 AI agent 協調生產,把特種化學品與關鍵材料從客戶需求到交付壓縮到兩個月,常規需 12 至 18 個月。
llama.cpp 發布建置 b11604,為 KleidiAI 加入 SME2 指令集的 Q4_K 與 Q6_K 矩陣乘支援,補丁編號 #29219,提交者來自 Arm。SME2 屬於 Armv9 的矩陣擴充套件,這項改動面向支援該指令集的 Arm CPU,用於加速這兩種常用量化格式的矩陣乘法。同一版本中,macOS Apple Silicon 的 KleidiAI 啟用建置被標記為 DISABLED,openEuler 也有一項標註 DISABLED;
啟元發布面向機器人訓練的世界模型模擬器 PrimeSim,登頂 WorldSimProbe 的 LIBERO 綜合榜,並在五項測試中拿下三項第一。PrimeSim 為機器人建置可互動、可試錯、可持續學習的虛擬世界,用於開展策略驗證與強化學習,目標是縮小模擬與現實的差距、降低對昂貴真機試錯的依賴。評測結果顯示,在其中做強化學習可將策略成功率從 61.7% 提升至 73.2%。
在巴塞羅那 Smart City Expo 上,NVIDIA 與合作伙伴宣布把物理 AI 與智慧體 AI 擴充套件到全球城市,用於居民服務、視覺智慧體與基礎設施數字孿生。西班牙 1MillionBot 將 ALIA 開源模型與 Nemotron 用於市政服務智慧體,已有 150 多個部署;馬來西亞 ITMAX 的 SamurAI V2 視覺智慧體計劃到 2027 年支援 1.7 萬多路攝像頭,其 TeraSim 模擬把高峰通行時間最多縮短 26%。
Runware 宣布要建工廠,像造車一樣在流水線上量產模組化 AI 資料中心,目標到 2028 年讓羅馬尼亞工廠日產能達到 30 兆瓦,約合每月近 1 吉瓦。其 Sonic 推理艙的建造時間將從三週縮短到一天,運抵後 48 小時內完成安裝上線;客戶可自備 GPU 並支付月費,也可直接向 Runware 租算力,電力與網路另計。
NVIDIA 介紹開發者如何用自然語言指揮前沿 AI agent(GPT-6 Astra、Claude 等)呼叫 Omniverse 的 GPU 物理、渲染與感測器模擬庫,把模擬想法做成可執行應用。範例包括在 Houdini 與 Isaac Sim 中重建 OP-1 合成器與機器手動畫、在 Onshape 建模汽車懸架並在 Isaac Sim 中驗證機器人拆解,以及用全景照片加點雲重建可編輯的倉庫建築模型。
西蒙斯基金會與 Anthropic、OpenAI 共同出資 1500 萬美元,幫助數學界應對 AI 在該領域的快速興起。基金會負責管理與發放這筆資金,包括公開徵集提案,用於資助工作坊和專案,幫助研究者評估近期的 AI 輔助成果、學習使用新工具、交流看法並形成 AI 使用的集體標準。Anthropic 和 OpenAI 還將向受資助研究者提供 AI 工具與算力,範圍從數學擴充套件到基礎科學。該基金會曾資助 Lean 證明助手的開發,是機器學習用於科學的早期支持者。
NVIDIA cuDSS 結束預覽轉為正式可用,這個 CUDA-X 庫把工程與科學模擬中最耗時的大規模稀疏方程組求解交給 GPU。官方給出的合作方資料包括:應用材料在 Ginestra 中稀疏求解最高提速 10 倍,達索系統 Abaqus 的結構與電磁求解器提速 8 至 10 倍,蔡司 SMT 用 COMSOL 跑 EUV 光刻等離子體基準取得 4 倍加速、整輪模擬 6 天 14 小時完成。
微軟總裁 Brad Smith 在 BBC 播客上呼籲儘快制定全球 AI 安全規則,並稱英國比美國和歐盟更適合主導這件事。他希望落地的規則包括:系統被失控 AI agent 攻破須依法通報、AI 產品發布前需經外部評估者批准,以及可暫停或減速的 kill switch。他批評上月白宮與 OpenAI、Anthropic、Nvidia 等簽署的自願性檔案只能約束負責任的公司。
arXiv 一篇論文以「可執行考古」方式重跑了兩個早期「會寫程式的程式」:Herbert Simon 1961 年的 Heuristic Compiler 與 MIT 1984 年的 KBEmacs。重跑分別復現了 Simon 1963 年論文中的編譯程式碼,以及 KBEmacs 1984 年 12 月自測的 SQRT 序列。作者發現兩者理論其實相近:Heuristic Compiler 同樣靠改造已有例程,Simon 後來也承認單純搜尋需要大量程式設計知識。
llama.cpp 建置 b11493 為 SYCL 後端新增分組 MoE XMX GEMM 運算元(#29245),面向混合專家模型的矩陣乘加速。該版本同時放出全平台建置產物,覆蓋 macOS/iOS、Linux、Windows、Android 與 openEuler,包含 CUDA 12/13、ROCm 10.0、Vulkan、OpenVINO、SYCL FP32/FP16,以及 Snapdragon 的 CPU、Adreno GPU 與 Hexagon NPU 組合。
OpenAI 宣布向 Simons Foundation 的一項新計劃出資 500 萬美元,用於幫助數學家審視、理解並推進 AI 產出的研究結果,包括 OpenAI 近期公開發布的成果。這筆資金由 Simons Foundation 管理與發放,將支援相關工作坊、會議和專項專案。OpenAI 還將向該基金會資助的研究者提供自家模型與算力的存取權限。