搜尋 關鍵字 語意 依意思最接近的 30 筆
機器之心● 精選 10/23 11:16 AI 評分84
Linux 基金會旗下 AAIF 新增四個託管專案,Anthropic 把 Agent Skills 規範連同名稱、Logo、GitHub 組織與 agentskills.io 域名一併捐出。其餘三項是 OpenAI 統一模型介面的 Open Responses(AWS 已參與維護與開發)、Hugging Face 的訓練環境框架 OpenEnv、阿里的沙箱 OpenSandbox,AAIF 託管專案增至 10 個、會員達 305 家。
機器之心10/26 03:14 AI 評分61
阿里巴巴開源智慧體沙箱 OpenSandbox 正式被國際 AI 開源技術組織 AAIF 收錄,成為首個由中國企業主導進入該體系的專案,同批次入選的還有 Agent Skills。OpenSandbox 將伺服器資源切分為多個沙箱隔離執行智慧體,兼顧啟動延遲、批次吞吐與資源開銷,並支援審計追蹤;阿里內部日均建立沙箱已達百萬量級,2025 年 11 月開源後已有 582 名開發者參與共建。
TechCrunch AI10/24 19:00 AI 評分54
Character.ai 在推出五年後申請破產,S&P Global 資料顯示約 42% 的 AI 專案最終被母公司放棄。文章還記錄 OpenAI 7 月 9 日把 ChatGPT 改成含 Chat、Codex、Work 模式的“超級應用”並改名 ChatGPT Classic,因介面混亂迅速回滾;獨立瀏覽器 Atlas 於 8 月 9 日停運,Sora 於 3 月關停。
X @OpenAIDevs11/7 00:02 AI 評分46
OpenAI Devs 公布了一批面向 OpenAI API 的起步專案,覆蓋 agents、創意工具、資料視覺化和語音四類,開發者可在 Codex 中開啟並在其基礎上繼續建置。官方給出的專案入口是 developers.openai.com/showcase/api,可按需挑選專案進行 remix。公告只介紹了專案型別與使用方式,未提及價格、額度或上線時間。
量子位10/16 07:16 AI 評分50
10 月 16 日,範式智慧聯合睿思智聯發布一站式生產級 AI 部署平台模域(ModelSphere),面向企業免費開源,以 Apache 2.0 協議在 GitHub 上線。平台把算力管理、模型部署與執行最佳化整合為統一流程,可統一混合排程華為昇騰、天數智芯、摩爾線程、海光 DCU 等國產晶片,無需為不同晶片重寫底層程式碼。
Hacker News front page10/26 12:32 AI 評分48
博主 AIL 與開發者 Matt Pocock 就 spec driven development 展開爭論,他認為 AI 專案的事實來源應是寫作所表達的意圖,而非程式碼;在他看來,程式碼只是執行與表示,寫作才是最接近人腦想法的載體。他提出 Ideal State Artifact(ISA)文件,用散文式的理想狀態、約束與決策記錄,加上可原子化測試的 Ideal State Criteria(ISC)及各自的 eval 來承載需求。
The Verge AI10/25 13:25 AI 評分43
r/opensource 版主發布新投稿規則:凡使用 AI、由 AI 生成或面向 AI 的專案一律不予收錄,稱當下形態的 AI 與該開源社群不相容;新規還限制非英語發帖。規則在評論區引發激烈爭論,並催生出對立的子版 r/trueopensource。版主 Wolvereness 回應稱執行上存在細微差別、可選擇性放行,例如只是附帶 AI 無障礙功能的軟體。
Hugging Face blog10/2 04:01 AI 評分58
ServiceNow CoreAI 團隊發布 AutoSynthData,用目標模型的失敗案例和更強教師模型的成功軌跡定位能力缺口,再自動生成並驗證新任務用於後訓練。任務由系統規範、使用者提示和驗證器三部分組成,需滿足可行性、真實性與難度要求,驗證器則要求一致、可靠且不繫結單一參考軌跡。團隊在 EnterpriseOps Gym 資料集上演示了該流程,模型提升後課程會轉向仍難完成的任務。
機器之心● 精選 10/14 02:38 AI 評分84
Anthropic 前沿紅隊發布研究,測試 AI 能否像計算機病毒一樣在不同裝置間自主複製傳播。實驗中 15 臺約 55 美元、4GB 記憶體的安卓電視盒子以流水線並行跑起 Gemma4-26B-A4B,總價約 825 美元,生成速度僅每秒 0.39 個 Token。GLM-5.2 在 8 節點模擬網路中 5 次有 4 次傳播到全部節點,但依賴外部推理伺服器與預開的免認證 ADB 埠;
Hugging Face blog10/29 00:00 AI 評分59
Hugging Face 與 CMU、普渡、喬治亞理工等五所高校及 Astera Institute、ORCA 共同發起 Project ProtoStar,推動公共資助的科研資料集、模型與程式碼以 AI 可用格式在開放基礎設施上發布。首個開放挑戰由 CMU 主辦,11 月 2 日啟動,參與機構以備忘錄形式承諾開放成果。美國聯邦政府每年研發投入約 1900 億美元;
Anthropic News10/28 00:00 AI 評分48
Anthropic 宣布把 2025 年 5 月啟動的 AI for Science 計劃擴充套件至全球 20 家科研基金會、機構與研究團隊,為從事高影響力科研專案的研究者提供免費 Claude 額度。合作方包括美國國家科學基金會(NSF)、施密特科學、Sloan 與 Simons 基金會、Wellcome Sanger 研究所、Crick 研究所、EMBL、太空望遠鏡科學研究所等。此前該計劃已支援生物、醫學、物理、化學、氣候與數學領域的數百個專案;
NVIDIA blog10/15 10:00 AI 評分45
NVIDIA 加入歐盟委員會在都柏林 AI in Science Summit 上啟動的 AI in Science Enablers 計劃,將向歐洲科研界開放加速計算工具、算力與培訓。NVIDIA 已開源 250 多個模型、250 個資料集與 1400 多個開源專案,包括 Nemotron、BioNeMo、PhysicsNeMo、Earth-2 和 ALCHEMI NIM,可用於 agentic 推理與科學計算。
Hacker News front page10/21 14:08 AI 評分69
OpenAI 在 Daybreak 計劃下推出 Patch the Planet 專案,聯合 Trail of Bits、Calif、HackerOne,用前沿 AI 與安全專家為開源專案驗證漏洞、開發並測試補丁,再與維護者協調披露。所有發現都經人工複核,程式碼與發布節奏仍由維護者掌握;專案還幫團隊補齊測試、fuzzing 與安全工作流。
r/LocalLLaMA top of the day10/2 22:18 AI 評分26
愛爾蘭一所公立繼續教育學院的教師發帖,稱已獲得資金建成一個小型 AI 實驗室,硬體配置尚可,目標是讓學生學到使用 ChatGPT 之外的實用技能,因此向社群徵集教學方向建議。帖子未透露具體硬體型號、課程安排或學生人數。
Hacker News front page10/28 05:29 AI 評分67
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;
X @OpenAIDevs10/26 14:31 AI 評分19
OpenAI 開發者帳號公開徵集「用 Codex 建置實體物件」的專案,邀請開發者通過指定站點提交作品。帖文只給出提交連結,未說明 Codex 在硬體或實體制作中的具體用法、提交截止時間,也沒有說明這些作品之後會以什麼形式展示。
NVIDIA blog10/19 19:27 AI 評分53
德國聯邦政府與輝達簽署意向宣告,將聯合推進面向物理 AI 的前沿模型,並對接德國“工業 4.0 平台”。黃仁勳同時宣布投資 Agile Robots、Avelios Medical、Mirelo、Reflex Aerospace 四家德國初創,屬於其在歐洲近 100 億美元投入的一部分。西門子同日宣布與輝達合作推進自主工廠,全虛擬產線除錯可減少最多 85% 的工程工作量,基於智慧體的生產規劃最高可降本 20%。
Hacker News front page10/25 00:43 AI 評分47
作者發布 ADRs for AI 框架及其外掛,讓模型把每個設計決策寫成 Git 版本化的「架構審議記錄」。配套的 ORRCF 提問格式要求模型給出選項、建議、理由、置信度與可證偽條件,把疑慮擺出來供人批准或否決;記錄同時說明非顯然設計選擇的依據,以及在換平台、換延遲要求等條件下決策會如何變化。外掛 ADRs4AI/plugins 已提交 Anthropic marketplace,作者稱正錄製入門影片,希望獲得上手體驗方面的反饋。
Hacker News front page10/14 05:53 AI 評分67
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 page10/9 17:02 AI 評分61
TypeSafe AI 宣布完成 8.7 億美元 A 輪融資,估值達 75 億美元,由 Andreessen Horowitz 領投,Sequoia Capital、現有投資方 DCVC 及多位天使投資人參與,a16z 的 Martin Casado 加入董事會。公司表示將把 Jev 的能力擴充套件到更多 machine-native 模型,並補齊企業客戶要求的功能。目前財富 500 強中已有三分之一在使用 Jev,公司稱已在生產環境為客戶節省數百萬美元。
Hacker News front page10/17 18:31 AI 評分69
Faros 2026 年研究分析 22,000 名開發者、4,000 個團隊兩年遙測資料後發現,AI 採用度高的組織每位開發者 bug 增加 54%,PR 評審中位耗時約漲 5 倍,每 PR 事故數超 3 倍;其 Q3 報告稱部分效應有所緩解,但驗證與運維成本仍在累積。
r/ClaudeAI top of the day10/3 15:35 AI 評分63
Anthropic 宣布投入 1 億美元,通過 Claude Frontier Academy 培養 10000 名 Frontier Deployed Engineers,目標在 2027 年底前完成。首批學員來自埃森哲、貝恩、凱捷、澳大利亞聯邦銀行、德勤、麥肯錫、摩根士丹利和諾和諾德等企業。按人數計算,人均培訓投入約 1 萬美元。
Hacker News front page10/18 11:15 AI 評分46
一位工程經理轉述同事 Emily 的做法,提出與 AI 協作的 Brain Sandwich 框架:先用自己的大腦,再把實現交給 AI,最後再回到自己的大腦。開始前要自己讀懂問題、明確大致方向,否則 AI 可能把方向帶偏,甚至讓人去解決本來不存在的問題;中間階段可以毫無顧慮地完全委託給 agent。收尾時必須自己讀 diff、判斷增加的複雜度是否值得、寫好 PR 描述——如果說不清改了什麼、為什麼改,就不該交給別人審查。
Hacker News front page10/9 17:42 AI 評分71
數學形式化正從人工轉錄轉為 AI 自動形式化:Anthropic 於 2026 年 9 月 4 日宣布完成費馬大定理的自動形式化,11 天生成 1300 萬行 Lean 程式碼;OpenAI 9 月 8 日公布 Navier-Stokes 強制爆破定理時也附帶了 Lean 形式化。此前 Math Inc. 在 24 維球填充問題上生成約 50 萬行程式碼,Meta 的 ATLAS 專案則自動形式化了 26 本教科書的大部分內容。
TechCrunch AI11/2 16:30 AI 評分51
以色列創業公司 42AI 結束隱身狀態,帶著 6,250 萬美元種子輪融資推出「行為世界模型」,用來預測人在全新情境下會做出什麼決策。它已在約 10 家大型券商上線,用於管理流動性、保證金要求與對沖敞口;公司稱其交易預測準確率達 98%(指交易流是否落在預測區間),預測交易方向與成交量的 F1 為 0.8 到 0.85。模型訓練資料覆蓋 200 多萬人與近 3,000 萬條客戶記錄,據稱不需要個人身份資訊,收入已達七位數,後續將探索遊戲、反欺詐與網路安全。
X @AnthropicAI● 精選 10/22 22:01 AI 評分79
Anthropic 前沿紅隊部落格發布研究:與 Theorem Labs 合作,用 Claude 在數週內為一百多個真實開源庫證明安全屬性。形式化驗證過去只能用於小規模程式碼庫或需大量專家時間,AI 模型正讓大規模驗證變得可行。完整研究已在其部落格發布。
TechCrunch AI10/13 23:00 AI 評分51
舊金山初創公司 Industrial Next 在 TechCrunch Disrupt 2026 上宣布與 BMW 集團技術辦公室合作,評估其 AI 靈巧操作技術用於製造。該公司由兩位前特斯拉工程師於 2021 年創立,做的是基於自研基礎模型的機器人工作站,把視覺、任務上下文與運動控制打通,用高保真模擬訓練,產線換型從數週縮短到數分鐘,無需傳統程式設計。其工作站已在某款熱門手機的生產中使用,負責柔性排線穿線、聯結器扣合等此前難以自動化的工序;
X @AIatMeta10/28 17:08 AI 評分42
Meta 公布與五所美國高校的 AI 合作專案,重點在醫療與科學研究。Caltech 將測試大語言模型能否加速數學與物理科學研究;俄亥俄州立、LSU、印第安納大學分別用 AI 做 X 光篩查與心衰早篩、嬰兒氣管造口監測與 VR 培訓,以及可在弱網環境執行的母嬰護理工具。UTHealth Houston 使用 Meta 最小的開放權重模型之一 Muse Glimmer,用於改進腦癌治療和醫療場景的 agent 評測。
NVIDIA blog11/3 07:00 AI 評分36
在巴塞羅那 Smart City Expo 上,NVIDIA 與合作伙伴宣布把物理 AI 與智慧體 AI 擴充套件到全球城市,用於居民服務、視覺智慧體與基礎設施數字孿生。西班牙 1MillionBot 將 ALIA 開源模型與 Nemotron 用於市政服務智慧體,已有 150 多個部署;馬來西亞 ITMAX 的 SamurAI V2 視覺智慧體計劃到 2027 年支援 1.7 萬多路攝像頭,其 TeraSim 模擬把高峰通行時間最多縮短 26%。
TechCrunch AI10/29 16:21 AI 評分60
兩位前 Palantir 高管創立 Dream,獲得 a16z 領投的 1700 萬美元種子輪,用於開發面向建築設計、工程的建築世界模型。該模型基於全美各地許可檔案中超過 1 億平方英尺的建築資料訓練,生成方案時會考慮管線、暖通與承重等結構要素,而非只畫出一張好看的效果圖。產品已在得州和加州 10 個在建專案中用於方案構思與成本估算,目標是替代 AutoCAD、Revit 等傳統 AEC 工具。