AISpot

搜尋

依意思最接近的 30 筆

機器之心● 精選AI 評分84

Anthropic 將 Agent Skills 捐給 AAIF,OpenAI 等三專案同日入駐

Linux 基金會旗下 AAIF 新增四個託管專案,Anthropic 把 Agent Skills 規範連同名稱、Logo、GitHub 組織與 agentskills.io 域名一併捐出。其餘三項是 OpenAI 統一模型介面的 Open Responses(AWS 已參與維護與開發)、Hugging Face 的訓練環境框架 OpenEnv、阿里的沙箱 OpenSandbox,AAIF 託管專案增至 10 個、會員達 305 家。

機器之心AI 評分61

阿里 OpenSandbox 被 AAIF 收錄,成國內首個入選專案

阿里巴巴開源智慧體沙箱 OpenSandbox 正式被國際 AI 開源技術組織 AAIF 收錄,成為首個由中國企業主導進入該體系的專案,同批次入選的還有 Agent Skills。OpenSandbox 將伺服器資源切分為多個沙箱隔離執行智慧體,兼顧啟動延遲、批次吞吐與資源開銷,並支援審計追蹤;阿里內部日均建立沙箱已達百萬量級,2025 年 11 月開源後已有 582 名開發者參與共建。

TechCrunch AIAI 評分54

Character.ai 破產,約 42% AI 專案被放棄

Character.ai 在推出五年後申請破產,S&P Global 資料顯示約 42% 的 AI 專案最終被母公司放棄。文章還記錄 OpenAI 7 月 9 日把 ChatGPT 改成含 Chat、Codex、Work 模式的“超級應用”並改名 ChatGPT Classic,因介面混亂迅速回滾;獨立瀏覽器 Atlas 於 8 月 9 日停運,Sora 於 3 月關停。

X @OpenAIDevsAI 評分46

OpenAI API 推出多類起步專案,可在 Codex 中開啟

OpenAI Devs 公布了一批面向 OpenAI API 的起步專案,覆蓋 agents、創意工具、資料視覺化和語音四類,開發者可在 Codex 中開啟並在其基礎上繼續建置。官方給出的專案入口是 developers.openai.com/showcase/api,可按需挑選專案進行 remix。公告只介紹了專案型別與使用方式,未提及價格、額度或上線時間。

量子位AI 評分50

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

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

Hacker News front pageAI 評分48

作者主張 AI 開發的事實來源是文字意圖而非程式碼,並提出 ISA 文件

博主 AIL 與開發者 Matt Pocock 就 spec driven development 展開爭論,他認為 AI 專案的事實來源應是寫作所表達的意圖,而非程式碼;在他看來,程式碼只是執行與表示,寫作才是最接近人腦想法的載體。他提出 Ideal State Artifact(ISA)文件,用散文式的理想狀態、約束與決策記錄,加上可原子化測試的 Ideal State Criteria(ISC)及各自的 eval 來承載需求。

The Verge AIAI 評分43

r/opensource 新版規禁止 AI 相關專案

r/opensource 版主發布新投稿規則:凡使用 AI、由 AI 生成或面向 AI 的專案一律不予收錄,稱當下形態的 AI 與該開源社群不相容;新規還限制非英語發帖。規則在評論區引發激烈爭論,並催生出對立的子版 r/trueopensource。版主 Wolvereness 回應稱執行上存在細微差別、可選擇性放行,例如只是附帶 AI 無障礙功能的軟體。

Hugging Face blogAI 評分58

ServiceNow 發布 AutoSynthData,為企業 agent 自動生成訓練資料

ServiceNow CoreAI 團隊發布 AutoSynthData,用目標模型的失敗案例和更強教師模型的成功軌跡定位能力缺口,再自動生成並驗證新任務用於後訓練。任務由系統規範、使用者提示和驗證器三部分組成,需滿足可行性、真實性與難度要求,驗證器則要求一致、可靠且不繫結單一參考軌跡。團隊在 EnterpriseOps Gym 資料集上演示了該流程,模型提升後課程會轉向仍難完成的任務。

機器之心● 精選AI 評分84

Anthropic 研究:AI 可在廉價電視盒子上自主複製傳播

Anthropic 前沿紅隊發布研究,測試 AI 能否像計算機病毒一樣在不同裝置間自主複製傳播。實驗中 15 臺約 55 美元、4GB 記憶體的安卓電視盒子以流水線並行跑起 Gemma4-26B-A4B,總價約 825 美元,生成速度僅每秒 0.39 個 Token。GLM-5.2 在 8 節點模擬網路中 5 次有 4 次傳播到全部節點,但依賴外部推理伺服器與預開的免認證 ADB 埠;

Hugging Face blogAI 評分59

Hugging Face 聯合 CMU 等發起 ProtoStar 科研資料開放計劃

Hugging Face 與 CMU、普渡、喬治亞理工等五所高校及 Astera Institute、ORCA 共同發起 Project ProtoStar,推動公共資助的科研資料集、模型與程式碼以 AI 可用格式在開放基礎設施上發布。首個開放挑戰由 CMU 主辦,11 月 2 日啟動,參與機構以備忘錄形式承諾開放成果。美國聯邦政府每年研發投入約 1900 億美元;

Anthropic NewsAI 評分48

AI for Science expands to foundations and institutions

Anthropic 宣布把 2025 年 5 月啟動的 AI for Science 計劃擴充套件至全球 20 家科研基金會、機構與研究團隊,為從事高影響力科研專案的研究者提供免費 Claude 額度。合作方包括美國國家科學基金會(NSF)、施密特科學、Sloan 與 Simons 基金會、Wellcome Sanger 研究所、Crick 研究所、EMBL、太空望遠鏡科學研究所等。此前該計劃已支援生物、醫學、物理、化學、氣候與數學領域的數百個專案;

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 推理與科學計算。

Hacker News front pageAI 評分69

OpenAI 發起 Patch the Planet,用 AI 幫開源專案修漏洞

OpenAI 在 Daybreak 計劃下推出 Patch the Planet 專案,聯合 Trail of Bits、Calif、HackerOne,用前沿 AI 與安全專家為開源專案驗證漏洞、開發並測試補丁,再與維護者協調披露。所有發現都經人工複核,程式碼與發布節奏仍由維護者掌握;專案還幫團隊補齊測試、fuzzing 與安全工作流。

r/LocalLLaMA top of the dayAI 評分26

愛爾蘭社群學院建 AI 實驗室,求教學方向建議

愛爾蘭一所公立繼續教育學院的教師發帖,稱已獲得資金建成一個小型 AI 實驗室,硬體配置尚可,目標是讓學生學到使用 ChatGPT 之外的實用技能,因此向社群徵集教學方向建議。帖子未透露具體硬體型號、課程安排或學生人數。

Hacker News front pageAI 評分67

Artificial Analysis 發布 Intelligence Index v5.0,改用 9 項新評測

Artificial Analysis 將模型智慧指數升級到 v5.0,評測集換成 9 項新基準。Knowledge Work、Coding、Science、General 四類各佔 25%,單項權重最高為 15%,分別是 AA-Briefcase v1.1、FrontierCode 2.0、Terminal-Bench-Science 0.1 和 AA-Omniscience v1.1;

NVIDIA blogAI 評分53

輝達與德國簽約推進工業 AI,並投資四家初創

德國聯邦政府與輝達簽署意向宣告,將聯合推進面向物理 AI 的前沿模型,並對接德國“工業 4.0 平台”。黃仁勳同時宣布投資 Agile Robots、Avelios Medical、Mirelo、Reflex Aerospace 四家德國初創,屬於其在歐洲近 100 億美元投入的一部分。西門子同日宣布與輝達合作推進自主工廠,全虛擬產線除錯可減少最多 85% 的工程工作量,基於智慧體的生產規劃最高可降本 20%。

Hacker News front pageAI 評分47

ADRs for AI 外掛發布:用 Git 版本化記錄監督 AI 程式設計

作者發布 ADRs for AI 框架及其外掛,讓模型把每個設計決策寫成 Git 版本化的「架構審議記錄」。配套的 ORRCF 提問格式要求模型給出選項、建議、理由、置信度與可證偽條件,把疑慮擺出來供人批准或否決;記錄同時說明非顯然設計選擇的依據,以及在換平台、換延遲要求等條件下決策會如何變化。外掛 ADRs4AI/plugins 已提交 Anthropic marketplace,作者稱正錄製入門影片,希望獲得上手體驗方面的反饋。

Hacker News front pageAI 評分67

Anthropic 稱自複製 AI 蠕蟲或數月內出現

Anthropic 週一發布研究報告,稱可自我複製的 AI 蠕蟲可能數月內就具備在 IoT 裝置上擴散的能力。報告稱 90 億引數模型在 9 類硬體中的 8 類上成功部署推理,Gemma4-26B-A4B 分散跑在 15 臺安卓電視盒上僅 0.39 tokens/秒;GLM-5.2 成功向 8 個安卓 15 模擬器節點傳播 Llama3.1-8B,5 次試驗中 4 次全部成功。

Hacker News front pageAI 評分61

TypeSafe AI 獲 8.7 億美元 A 輪融資,估值 75 億美元

TypeSafe AI 宣布完成 8.7 億美元 A 輪融資,估值達 75 億美元,由 Andreessen Horowitz 領投,Sequoia Capital、現有投資方 DCVC 及多位天使投資人參與,a16z 的 Martin Casado 加入董事會。公司表示將把 Jev 的能力擴充套件到更多 machine-native 模型,並補齊企業客戶要求的功能。目前財富 500 強中已有三分之一在使用 Jev,公司稱已在生產環境為客戶節省數百萬美元。

Hacker News front pageAI 評分69

Faros 研究:高 AI 採用團隊 bug 增 54%、PR 評審耗時漲約 5 倍

Faros 2026 年研究分析 22,000 名開發者、4,000 個團隊兩年遙測資料後發現,AI 採用度高的組織每位開發者 bug 增加 54%,PR 評審中位耗時約漲 5 倍,每 PR 事故數超 3 倍;其 Q3 報告稱部分效應有所緩解,但驗證與運維成本仍在累積。

r/ClaudeAI top of the dayAI 評分63

Anthropic 投 1 億美元培訓萬名工程師

Anthropic 宣布投入 1 億美元,通過 Claude Frontier Academy 培養 10000 名 Frontier Deployed Engineers,目標在 2027 年底前完成。首批學員來自埃森哲、貝恩、凱捷、澳大利亞聯邦銀行、德勤、麥肯錫、摩根士丹利和諾和諾德等企業。按人數計算,人均培訓投入約 1 萬美元。

Hacker News front pageAI 評分46

工程師提出 Brain Sandwich 工作法:先思考、再交給 AI、最後自己審查

一位工程經理轉述同事 Emily 的做法,提出與 AI 協作的 Brain Sandwich 框架:先用自己的大腦,再把實現交給 AI,最後再回到自己的大腦。開始前要自己讀懂問題、明確大致方向,否則 AI 可能把方向帶偏,甚至讓人去解決本來不存在的問題;中間階段可以毫無顧慮地完全委託給 agent。收尾時必須自己讀 diff、判斷增加的複雜度是否值得、寫好 PR 描述——如果說不清改了什麼、為什麼改,就不該交給別人審查。

Hacker News front pageAI 評分71

Anthropic 用 Lean 自動形式化費馬大定理,11 天生成 1300 萬行

數學形式化正從人工轉錄轉為 AI 自動形式化:Anthropic 於 2026 年 9 月 4 日宣布完成費馬大定理的自動形式化,11 天生成 1300 萬行 Lean 程式碼;OpenAI 9 月 8 日公布 Navier-Stokes 強制爆破定理時也附帶了 Lean 形式化。此前 Math Inc. 在 24 維球填充問題上生成約 50 萬行程式碼,Meta 的 ATLAS 專案則自動形式化了 26 本教科書的大部分內容。

TechCrunch AIAI 評分51

42AI 出隱身期,融資 6250 萬美元做行為世界模型

以色列創業公司 42AI 結束隱身狀態,帶著 6,250 萬美元種子輪融資推出「行為世界模型」,用來預測人在全新情境下會做出什麼決策。它已在約 10 家大型券商上線,用於管理流動性、保證金要求與對沖敞口;公司稱其交易預測準確率達 98%(指交易流是否落在預測區間),預測交易方向與成交量的 F1 為 0.8 到 0.85。模型訓練資料覆蓋 200 多萬人與近 3,000 萬條客戶記錄,據稱不需要個人身份資訊,收入已達七位數,後續將探索遊戲、反欺詐與網路安全。

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 模型正讓大規模驗證變得可行。完整研究已在其部落格發布。

TechCrunch AIAI 評分51

Industrial Next 與寶馬合作,AI 機器人產線換型縮短到數分鐘

舊金山初創公司 Industrial Next 在 TechCrunch Disrupt 2026 上宣布與 BMW 集團技術辦公室合作,評估其 AI 靈巧操作技術用於製造。該公司由兩位前特斯拉工程師於 2021 年創立,做的是基於自研基礎模型的機器人工作站,把視覺、任務上下文與運動控制打通,用高保真模擬訓練,產線換型從數週縮短到數分鐘,無需傳統程式設計。其工作站已在某款熱門手機的生產中使用,負責柔性排線穿線、聯結器扣合等此前難以自動化的工序;

X @AIatMetaAI 評分42

@AIatMeta: Here’s a look at the hard problems these five universities are tackling:

Meta 公布與五所美國高校的 AI 合作專案,重點在醫療與科學研究。Caltech 將測試大語言模型能否加速數學與物理科學研究;俄亥俄州立、LSU、印第安納大學分別用 AI 做 X 光篩查與心衰早篩、嬰兒氣管造口監測與 VR 培訓,以及可在弱網環境執行的母嬰護理工具。UTHealth Houston 使用 Meta 最小的開放權重模型之一 Muse Glimmer,用於改進腦癌治療和醫療場景的 agent 評測。

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 評分60

前 Palantir 高管創辦 Dream,融資 1700 萬美元做建築世界模型

兩位前 Palantir 高管創立 Dream,獲得 a16z 領投的 1700 萬美元種子輪,用於開發面向建築設計、工程的建築世界模型。該模型基於全美各地許可檔案中超過 1 億平方英尺的建築資料訓練,生成方案時會考慮管線、暖通與承重等結構要素,而非只畫出一張好看的效果圖。產品已在得州和加州 10 個在建專案中用於方案構思與成本估算,目標是替代 AutoCAD、Revit 等傳統 AEC 工具。