AISpot

搜尋

依意思最接近的 30 筆

llama.cpp releasesAI 評分37

llama.cpp 發布 b12040,macOS 的 KleidiAI 建置被停用

llama.cpp 發布 b12040 建置,仍提供 macOS/iOS、Linux、Android、Windows 等多平台預編譯包,覆蓋 CUDA 12/13、Vulkan、ROCm 10.0、OpenVINO、SYCL 及驍龍 CPU/GPU/NPU 組合。該版本中 macOS Apple Silicon 的 KleidiAI 加速建置與 openEuler 建置被標記為 DISABLED,同時合併了一項測試改動:合併相同的 if 分支(#31523)。

Hacker News front page● 精選AI 評分83

Claude 為 123 個開源庫生成彙編級形式化證明

Claude 在 123 個真實開源庫的 RISC-V 彙編層面生成了形式化安全證明,作者稱這是首次用 AI 把形式化驗證大規模應用到生產軟體。證明覆蓋所有小於 64 MB 的輸入:在單執行緒靜態二進位制、固定記憶體預算的 RISC-V 執行環境下,程式總能正常退出,不觸發記憶體安全錯誤或斷言失敗。寫證明的過程中 Claude 還發現了數萬億次測試都沒檢出的 bug;

Anthropic News● 精選AI 評分71

蘋果 Xcode 26.3 整合 Claude Agent SDK

蘋果 Xcode 26.3 已整合 Claude Agent SDK,開發者可在 Apple 平台用 Claude 執行自主、長時間執行的編碼任務。Anthropic 同期還宣布三年投入 1.5 億美元參與美國 Genesis Mission,與 Accenture 預計五年內投入至少 10 億美元建設前沿 AI 獨立評估能力,並與 Gates Foundation 達成 2 億美元合作。

X @AnthropicAI● 精選AI 評分79

@AnthropicAI: New on our Frontier Red Team blog: using Claude to formally verify software at large scale.

Anthropic 前沿紅隊部落格發布研究:與 Theorem Labs 合作,用 Claude 在數週內為一百多個真實開源庫證明安全屬性。形式化驗證過去只能用於小規模程式碼庫或需大量專家時間,AI 模型正讓大規模驗證變得可行。完整研究已在其部落格發布。

Claude blog● 精選AI 評分65

Claude 平台在 Google Cloud 正式可用,功能與原生同步

Anthropic 託管的 Claude 平台在 Google Cloud 正式可用,功能與原生 Claude API 同日對齊。使用者沿用現有 Google Cloud IAM 與賬單,用量可抵扣既有承諾消費,Managed Agents、程式碼執行、prompt caching、批處理等全套功能包含在內。Claude Opus 5.5 的 Fast Mode 同步開放,輸出速度最高提升 2.5 倍,輸入輸出每百萬 token 分別 8 與 40 美元。

llama.cpp releasesAI 評分43

llama.cpp 修復 CUDA argsort 的 CCCL 版本判斷錯誤,避免靜默效能回退

llama.cpp 修復了 CUDA 後端 argsort 的 CCCL 版本判斷錯誤:舊寫法分別比較主、次版本號,在 CCCL 4.x 上被判定為假,STRIDED_ITERATOR_AVAILABLE 不再定義,argsort 靜默退回 init_offsets 路徑,只損失效能且不報錯、不警告。補丁改用 CCCL 自帶的打包整數 CCCL_VERSION(3.4.3 記作 3004003),只需一次比較。

X @claudeai● 精選AI 評分65

Claude Security 公測:程式碼變更後自動重掃

Claude Security 現在會隨程式碼變更持續跟進:倉庫只需連線一次,Claude 先做一次深度掃描,之後每次程式碼有改動都會重新掃描,讓發現的問題始終貼近程式碼的當前狀態。該功能目前處於公開測試階段,僅面向 Claude Enterprise 使用者開放。

llama.cpp releasesAI 評分40

llama.cpp 發布 b11750,修復 SYCL 編譯警告

llama.cpp 發布 b11750 建置,主要變更是修復 SYCL 後端程式碼的編譯警告,包括缺失的函式原型、死程式碼與多餘分號(#30271)。同時照例提供全平台預編譯包,覆蓋 macOS Apple Silicon、iOS XCFramework、Ubuntu 的 CPU/Vulkan/CUDA 12 與 CUDA 13/ROCm 10.0/OpenVINO/SYCL FP32 與 FP16 建置,以及 Android、Windows 的 CPU、CUDA、Vulkan…

llama.cpp releasesAI 評分43

llama.cpp 修復 Adreno A6x 的 OpenCL 核心編譯崩潰並支援 623

llama.cpp 建置 b11533 修復了 Adreno A6x GPU 上的 OpenCL 核心編譯崩潰,並把 Adreno 623 加入 A6X 檢測列表。具體做法是在 A6X 上跳過 kernel_cpy_f32_f32_pack——A623 的編譯器後端(E031.50.31.01)無法處理引數過多的核心;GEMV 核心裡的 get_local_size 也加了常量摺疊變通方案。

Claude blog● 精選AI 評分75

Claude Security 升級持續掃描,修復落地後自動標記

Claude Security 最新公測版面向 Claude Enterprise 客戶開放:掃描不再需要手動觸發,會隨倉庫程式碼變化持續執行,並在修復落地後自動把發現標記為已修復。每個專案新增知識庫和可編輯的威脅模型,掃描據此判斷優先順序,每條發現附帶嚴重級別與攻擊路徑圖。另提供 API、Webhook、Claude.ai 與 Claude Code 中的 MCP 聯結器,以及基於角色的權限控制。

機器之心● 精選AI 評分79

OpenClaw 發布 v2026.10.1:Agent 可主動檢索 Skills,聊天視窗旁開啟 MCP Apps

OpenClaw 正式發布 v2026.10.1,Agent 現在可在執行任務時主動檢索已安裝的 Skills 並按需讀取完整 SKILL.md,相容的 MCP Apps 也能在聊天區域旁直接開啟互動。該版本彙集 402 位貢獻者的 2425 個 PR、3055 次提交,完整備份新增外接硬碟與 Cloudflare R2 支援,並可定時備份、自動清理舊備份;Mac 桌面應用內建執行環境,新使用者不必再單獨安裝 Node.js。

llama.cpp releasesAI 評分37

llama.cpp b11501:SYCL 後端 FWHT 最佳化,macOS KleidiAI 建置停用

llama.cpp 發布 b11501 建置,主要變更是 SYCL 後端的 FWHT 最佳化(PR #29605)。該版本繼續提供 macOS/iOS、Linux、Windows、Android 與 openEuler 的預編譯包,覆蓋 CPU、CUDA 12/13、Vulkan、ROCm 10.0、OpenVINO、SYCL FP32/FP16,以及 Snapdragon 的 Adreno GPU 與 Hexagon NPU。

Hacker News front page● 精選AI 評分78

Claude 掃描 25 個開源專案,發現 493 個攻擊面問題

Anthropic 公布用 Claude 自動縮減程式碼攻擊面的初步研究:掃描 25 個開源專案、逾 500 萬行 C、C++、Java、PHP、Python 程式碼,發現 493 個問題。Claude 梳理出 1.7 萬個配置項,其中 3842 個與安全控制相關,按預設配置、配置組合、早期可達性三類排查。11 個需認證專案均存在意外可達程式碼:93 處認證前的暴露面、37 處認證前執行或記錄狀態的位置、61 組靜默削弱認證前控制的配置組合。

X @AnthropicAI● 精選AI 評分66

@AnthropicAI: We’ve trained Claude to flag potential misuse in conversations, a technique we call self-assessment.

Anthropic 稱已訓練 Claude 在回覆後對整段對話做初步安全評估,該技術名為 self-assessment,用於標記潛在濫用行為。自 6 月啟用以來,它已發現其他防護措施原本無法覆蓋的濫用情況。官方表示,由於 Claude 已讀過對話,自評效率很高;與針對固定危害型別的分類器不同,它依靠模型自身判斷,會隨模型改進而變得更準確。

llama.cpp releasesAI 評分37

llama.cpp 修復 OpenCL 非連續檢視 CLAMP 計算錯誤

llama.cpp 為 OpenCL 後端新增跨步核心 kernel_clamp_nc,修復輸入為非連續(strided)檢視時 CLAMP 讀錯元素的問題。原 clamp 核心把源與目標當作一維連續陣列索引,遇到新增的 CLAMP v=1 情形會取錯資料;現在源不連續時自動改用新的 strided 核心,與其他一元運算元的做法保持一致。

llama.cpp releases● 精選AI 評分63

llama.cpp 的 OpenCL 後端新增 IQ2 系列量化,並針對 Adreno GPU 最佳化

llama.cpp 的 OpenCL 後端首次加入對 IQ2 系列 2-bit 量化(iq2_s、iq2_xs、iq2_xxs)的支援,並針對高通 Adreno GPU 做了專項最佳化。提交為每種量化型別補上了 AOS/SOA 矩陣向量乘、tiled matmul、noshuffle 的 GEMM/GEMV 與 dp4a 路徑,並最佳化了 Adreno 上的 decode 與窄批次場景。

Claude Code releasesAI 評分42

Claude Code 發布 v2.1.287,新增 Claude Mods 與側邊代理外掛

Claude Code 更新至 v2.1.287,新增 Claude Mods 機制,允許外掛修改更深層的行為;同時內建名為 You should know 的 mod,由側邊代理檢查使用者或 Claude 可能遺漏的問題,可用 /plugin enable cc-plugin-you-should-know@builtin 開啟。agents 檢視新增 n:<text> 過濾器,可匹配會話名與任務。

llama.cpp releasesAI 評分42

llama.cpp 的 OpenCL 後端新增 i32 GET_ROWS 與 i32/f32 複製支援

llama.cpp 建置 b11740 為 OpenCL 後端加入了 i32 型別的 GET_ROWS 行讀取,以及 i32 與 f32 之間的複製轉換(PR #30756)。這一版同時發布了 macOS(Apple Silicon/Intel)、iOS、Android、Windows、Linux 的預編譯包,覆蓋 CPU、Vulkan、CUDA 12/13、ROCm 10.0、OpenVINO、SYCL 等後端。

Claude blog● 精選AI 評分63

Claude Enterprise 上線智慧報告、應用內調研與團隊共享預算

Claude Enterprise 三項管理功能正式可用:智慧報告、應用內調研與團隊共享預算。智慧報告按團隊與時間範圍抽樣分析會話,歸類為工作流並列出各項花費、產出與常見卡點,例如缺少聯結器、工具呼叫失敗,還給出可執行建議;團隊負責人無需管理員權限也能執行。共享預算讓團隊共用一個月度額度,成員的個人上限仍作為限制;用量到 50%、75%、95%、100% 時郵件通知管理員,個人超額可在 Claude 內申請加額。調研以卡片形式在回覆後彈出,管理員可自訂題目並匯出結果。

量子位AI 評分57

Claude 新模型內測曝光:修 Bug 會追到根因

據 The Information,Anthropic 新版 Claude 在內測中被評「重大飛躍」:讓它修一個 bug,它會定位導致該 bug 的整類問題並詢問是否一併修復,也更擅長判斷使用者潛在意圖、跳出常識性建議,型號尚未確定。同期 Google 內部測試 Gemini 4 Carbon,員工稱程式設計表現與 Opus 5.5 相當;GPT-6.1 Terra 已出現在微軟 Copilot 程式碼中。

Latent Space● 精選AI 評分77

Claude Code 上線 Claude Mods,介面與行為可程式設計

Claude Code 新增 Claude Mods:用 TypeScript/JavaScript 編寫的外掛在 Claude Code 內執行,作為中介軟體介入 prompt、工具呼叫與介面渲染事件,改變 CLI 和桌面端的執行流程與外觀。Anthropic 已內建六個 mod,包括 agents-md、diff、plugin-authoring、sec-default、telemetry 和預設關閉的 you-should-know;

llama.cpp releasesAI 評分42

llama.cpp 的 OpenCL 後端新增 topk 與 lightning indexer

llama.cpp 的 OpenCL 後端新增 topk 與 lightning indexer 支援,並對兩者做了最佳化,還重構了 tiled topk kernel。這批改動隨建置 b11874 發布,覆蓋 macOS、iOS、Linux、Android、Windows 的預編譯包,含 CUDA 12/13、ROCm 10.0、Vulkan、SYCL、OpenVINO 與 Snapdragon 的 Adreno GPU、Hexagon NPU 版本。

Hacker News front pageAI 評分51

phpClaw 發布:給 PHP 的 AI agent 執行時,內建 ReAct 迴圈與安全護欄

phpClaw 發布,為 PHP 提供開箱即用的 AI agent 執行時,核心零框架依賴,composer 安裝加一個 API Key 就能跑起 ReAct 迴圈(預設迭代上限 20 輪)。它內建 Shell、HTTP、檔案讀寫、資料庫查詢、程式碼搜尋等工具,記憶驅動可替換,支援 Pipeline 與 Graph 多 agent 編排,並從環境變數自動識別 Anthropic、OpenAI、Gemini、Ollama 等 7 家提供商。

llama.cpp releasesAI 評分41

llama.cpp b11804 為 OpenCL 後端補上 ARGMAX 運算元

llama.cpp 發布 b11804 建置,為 OpenCL 後端新增 F32→I32 的 ARGMAX 運算元(#30897),並把 OpenCL 初始化改為置 0,與 CPU 後端保持一致。該提交有高通工程師參與協助。同版本預編譯包覆蓋 macOS/iOS、Linux、Android 與 Windows,含 CUDA 12/13、Vulkan、ROCm 10.0、SYCL、OpenVINO 等後端;