AISpot

搜尋

依意思最接近的 22 筆

Hacker News front pageAI 評分51

Simantic 推出韌體模擬層,讓 AI agent 無硬體測試韌體

YC F26 的 Simantic 發布韌體模擬層,讓 AI agent 與工程師不必拿到硬體就能測試和驗證韌體。它提供可單次 API 呼叫即執行的虛擬開發板、以模擬結果為證據的韌體 AI 程式碼審查,以及每次提交都針對模擬微控制器驗證韌體的 CI/CD 流水線。團隊來自 Neuralink 與 Tesla,早期 MVP 封裝 Renode,因受制於其開發速度、Dotnet 效能與功能臃腫而改為自研引擎。

量子位● 精選AI 評分70

北大聯合 IBM 發表綜述,定義現代模擬計算

北京大學孫仲團隊聯合 IBM 蘇黎世研究院與矽谷公司 Unconventional AI,在 Nature 旗下期刊發表綜述,為“現代模擬計算”給出正式定義:面向矩陣計算、基於阻變儲存器、具備高精度與可擴充套件路徑。配套的安納智芯 AMC 電路採用位切片方案,以 8 個 3 位元切片實現 24 位定點精度,求解相對誤差經 3 次迭代降到 10^-4、最終收斂至 10^-7,追平數字 FP32。團隊稱同等精度下吞吐量約為輝達 H100 的 1000 倍、能效約 100 倍,且可在 28 奈米成熟製程製造;

NVIDIA blogAI 評分35

NVIDIA 聯合多家半導體廠商,模擬提速最高 35 倍

NVIDIA 公布一系列半導體制造合作,把 GPU 加速與物理 AI 接入模擬、光刻、刻蝕與測試環節。應用材料 ACE+ 形貌模擬最高提速 35 倍,西門子 Calibre 光刻模擬最高 17 倍,COMSOL 多物理場模擬與應用材料 Ginestra 約 10 倍,泛林 SEMulator3D 刻蝕建模預計最高 30 倍。等離子體預測從數天縮短到毫秒級,愛德萬用 AI agent 把模型選擇從數小時降到數分鐘。

llama.cpp releasesAI 評分43

llama.cpp 在 AMD 上用不依賴 WMMA 的 SIMT conv2d

llama.cpp 新建置 b11623 中,CUDA 後端的 conv2d 在 AMD 顯示卡上改用 SIMT 隱式 GEMM 實現,不再依賴 WMMA。提交說明提到,短歸約場景會跳過 SIMT conv2d,相關注釋也已更新。該版本照例放出各平台預編譯包,含 Ubuntu 與 Windows x64 的 ROCm 10.0、CUDA 12/13,以及 Vulkan、SYCL、OpenVINO、Snapdragon 等;

機器之心AI 評分45

優必選發布 Thinker-Sim 具身智慧模擬平台

優必選發布具身智慧模擬平台 Thinker-Sim,以 Real2Sim2Real 閉環覆蓋真實場景重建、模擬資料合成與機器人能力評測三個環節。官方稱自研渲染引擎效率提升 67.3%,單節點(8 GPU)日均合成 390 小時模擬資料,SIL/HIL 通訊效率提升超過 400%。平台還提供視覺化工作流,稱可零程式碼完成模擬編排、適配 90% 以上目標場景,並可用自研 Ulab-Agent 以自然語言排程任務。

Hacker News front pageAI 評分59

ESP32-S3 實現 SIMD 加速 FAST 檢測器,QVGA 約 6ms

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。

機器之心● 精選AI 評分67

啟元發布 PrimeSim 世界模型模擬器,登頂 EWMBench 榜首

啟元具身研究中心發布 PrimeSim,一款由預訓練影片生成模型改造而成的機器人世界模型模擬器,在 EWMBench 以 6.09 綜合得分登頂,並在 WorldSimProbe 五項指標中拿下三項第一。它用 30110 小時、覆蓋 22 種機器人平台的資料做中訓練與後訓練,單張 A100 上三視角推理達 10.12 FPS,支援兩分鐘以上連續推演。

量子位AI 評分50

範式智慧聯合睿思智聯開源生產級 AI 部署平台模域 ModelSphere

10 月 16 日,範式智慧聯合睿思智聯發布一站式生產級 AI 部署平台模域(ModelSphere),面向企業免費開源,以 Apache 2.0 協議在 GitHub 上線。平台把算力管理、模型部署與執行最佳化整合為統一流程,可統一混合排程華為昇騰、天數智芯、摩爾線程、海光 DCU 等國產晶片,無需為不同晶片重寫底層程式碼。

NVIDIA blogAI 評分30

瑞典聯合體啟用 1152 卡 NVIDIA DGX GB300 超算,北歐 AI 雲 2027 年預計達 1 吉瓦

由 Ericsson、AstraZeneca、Saab、SEB 等組成的瑞典聯合體啟用 Sferical One 超算,執行在兩套 NVIDIA DGX SuperPOD 上,共 16 機架 DGX GB300 系統、1152 塊 GPU,並將基於 Nemotron 開源模型建置服務。北歐正成為歐洲增長最快的基礎設施樞紐,AI 雲預計到 2027 年底在該地區部署 1 吉瓦容量,Bitdeer、CoreWeave、Nscale 等均在列。

Hugging Face blogAI 評分63

NVIDIA 發布 Cosmos3-H-Dreams,單卡即時生成手術模擬

NVIDIA 推出 Cosmos3-H-Dreams,據其稱為首個基於臨床膽囊切除手術錄影訓練、可即時回應操作指令的生成式手術模擬器。模型基於 160 億引數的 Cosmos3-H-Embodied-Nano,接收 28 維動作(雙臂位姿、夾爪、能量控制與搖桿),以 832×480、10 Hz 的錄影與運動學資料訓練,並蒸餾出四步與兩步兩個學生檢查點,後者推理更快但畫質略降。

TechCrunch AIAI 評分63

Scimplify 融資 2500 萬美元,用 AI 生產關鍵材料

印度初創公司 Scimplify 完成 2500 萬美元全股權融資,由 Hitachi Ventures 領投,據知情人士投後估值 2.5 億美元,累計股權融資 8000 萬美元。資金中約 750 萬美元用於美國擴張,200 萬美元用於繼續開發 AI 平台 Scinode。Scinode 以研究、製造、質控等不同職能的專用 AI agent 協調生產,把特種化學品與關鍵材料從客戶需求到交付壓縮到兩個月,常規需 12 至 18 個月。

llama.cpp releasesAI 評分44

llama.cpp 為 KleidiAI 加入 SME2 Q4_K/Q6_K 矩陣乘支援

llama.cpp 發布建置 b11604,為 KleidiAI 加入 SME2 指令集的 Q4_K 與 Q6_K 矩陣乘支援,補丁編號 #29219,提交者來自 Arm。SME2 屬於 Armv9 的矩陣擴充套件,這項改動面向支援該指令集的 Arm CPU,用於加速這兩種常用量化格式的矩陣乘法。同一版本中,macOS Apple Silicon 的 KleidiAI 啟用建置被標記為 DISABLED,openEuler 也有一項標註 DISABLED;

機器之心AI 評分59

啟元推出 PrimeSim 機器人世界模型,登頂 LIBERO 綜合榜

啟元發布面向機器人訓練的世界模型模擬器 PrimeSim,登頂 WorldSimProbe 的 LIBERO 綜合榜,並在五項測試中拿下三項第一。PrimeSim 為機器人建置可互動、可試錯、可持續學習的虛擬世界,用於開展策略驗證與強化學習,目標是縮小模擬與現實的差距、降低對昂貴真機試錯的依賴。評測結果顯示,在其中做強化學習可將策略成功率從 61.7% 提升至 73.2%。

NVIDIA blogAI 評分36

NVIDIA 與合作伙伴把物理 AI 和智慧體 AI 推向全球城市

在巴塞羅那 Smart City Expo 上,NVIDIA 與合作伙伴宣布把物理 AI 與智慧體 AI 擴充套件到全球城市,用於居民服務、視覺智慧體與基礎設施數字孿生。西班牙 1MillionBot 將 ALIA 開源模型與 Nemotron 用於市政服務智慧體,已有 150 多個部署;馬來西亞 ITMAX 的 SamurAI V2 視覺智慧體計劃到 2027 年支援 1.7 萬多路攝像頭,其 TeraSim 模擬把高峰通行時間最多縮短 26%。

TechCrunch AIAI 評分56

Runware 計劃建廠流水線量產 AI 資料中心,2028 年目標日產 30 兆瓦

Runware 宣布要建工廠,像造車一樣在流水線上量產模組化 AI 資料中心,目標到 2028 年讓羅馬尼亞工廠日產能達到 30 兆瓦,約合每月近 1 吉瓦。其 Sonic 推理艙的建造時間將從三週縮短到一天,運抵後 48 小時內完成安裝上線;客戶可自備 GPU 並支付月費,也可直接向 Runware 租算力,電力與網路另計。

NVIDIA blogAI 評分41

輝達展示用 GPT-6 Astra 與 Claude 驅動 Omniverse 建模擬應用

NVIDIA 介紹開發者如何用自然語言指揮前沿 AI agent(GPT-6 Astra、Claude 等)呼叫 Omniverse 的 GPU 物理、渲染與感測器模擬庫,把模擬想法做成可執行應用。範例包括在 Houdini 與 Isaac Sim 中重建 OP-1 合成器與機器手動畫、在 Onshape 建模汽車懸架並在 Isaac Sim 中驗證機器人拆解,以及用全景照片加點雲重建可編輯的倉庫建築模型。

Hacker News front pageAI 評分62

西蒙斯基金會聯合 Anthropic、OpenAI 出資 1500 萬美元支援數學界

西蒙斯基金會與 Anthropic、OpenAI 共同出資 1500 萬美元,幫助數學界應對 AI 在該領域的快速興起。基金會負責管理與發放這筆資金,包括公開徵集提案,用於資助工作坊和專案,幫助研究者評估近期的 AI 輔助成果、學習使用新工具、交流看法並形成 AI 使用的集體標準。Anthropic 和 OpenAI 還將向受資助研究者提供 AI 工具與算力,範圍從數學擴充套件到基礎科學。該基金會曾資助 Lean 證明助手的開發,是機器學習用於科學的早期支持者。

NVIDIA blogAI 評分55

NVIDIA cuDSS 正式發布,模擬稀疏求解最高提速 10 倍

NVIDIA cuDSS 結束預覽轉為正式可用,這個 CUDA-X 庫把工程與科學模擬中最耗時的大規模稀疏方程組求解交給 GPU。官方給出的合作方資料包括:應用材料在 Ginestra 中稀疏求解最高提速 10 倍,達索系統 Abaqus 的結構與電磁求解器提速 8 至 10 倍,蔡司 SMT 用 COMSOL 跑 EUV 光刻等離子體基準取得 4 倍加速、整輪模擬 6 天 14 小時完成。

TechCrunch AIAI 評分62

微軟總裁 Brad Smith 呼籲 AI 監管,稱英國最適合主導全球規則

微軟總裁 Brad Smith 在 BBC 播客上呼籲儘快制定全球 AI 安全規則,並稱英國比美國和歐盟更適合主導這件事。他希望落地的規則包括:系統被失控 AI agent 攻破須依法通報、AI 產品發布前需經外部評估者批准,以及可暫停或減速的 kill switch。他批評上月白宮與 OpenAI、Anthropic、Nvidia 等簽署的自願性檔案只能約束負責任的公司。

Hacker News front pageAI 評分62

論文重跑 Simon 1961 年啟發式編譯器與 1984 年 KBEmacs

arXiv 一篇論文以「可執行考古」方式重跑了兩個早期「會寫程式的程式」:Herbert Simon 1961 年的 Heuristic Compiler 與 MIT 1984 年的 KBEmacs。重跑分別復現了 Simon 1963 年論文中的編譯程式碼,以及 KBEmacs 1984 年 12 月自測的 SQRT 序列。作者發現兩者理論其實相近:Heuristic Compiler 同樣靠改造已有例程,Simon 後來也承認單純搜尋需要大量程式設計知識。

llama.cpp releasesAI 評分42

llama.cpp 為 SYCL 後端加入分組 MoE XMX GEMM

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 組合。

X @OpenAIAI 評分55

OpenAI 捐 500 萬美元支援數學家研究 AI 成果

OpenAI 宣布向 Simons Foundation 的一項新計劃出資 500 萬美元,用於幫助數學家審視、理解並推進 AI 產出的研究結果,包括 OpenAI 近期公開發布的成果。這筆資金由 Simons Foundation 管理與發放,將支援相關工作坊、會議和專項專案。OpenAI 還將向該基金會資助的研究者提供自家模型與算力的存取權限。