AISpot

搜尋

依意思最接近的 30 筆

Hacker News front pageAI 評分47

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

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

Hacker News front pageAI 評分46

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

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

The Verge AIAI 評分59

Schiff 談 AI 監管:白宮自願承諾不足,主張設新監管機構

加州民主黨參議員 Adam Schiff 在 Decoder 播客中稱,白宮讓多家 AI 公司簽署的自願安全承諾遠遠不夠,他支援設立新的專門機構來監管 AI。他提到,這些公司私下都公開呼籲監管,只是在總統面前不願得罪人;最高法院推翻 Chevron 先例後,法院取代機構專家解釋模糊法律,新規很容易立刻陷入訴訟。

Hacker News front pageAI 評分39

Brooks 定律在 AI agent 時代沒消失,只是變成了管理 agent 的開銷

部落格文章認為,Brooks 定律在 AI agent 時代依然成立,只是從「管理人」的開銷變成了「管理 agent」的開銷。1975 年 Brooks 在《人月神話》中提出:向已延期的軟體專案增加人手只會讓它更晚;AI agent 雖能在幾毫秒內上手、也不需要休息,但序列任務仍然序列,九個 agent 也無法在一個月內完成需要九個月的工作。作者給出的 2026 版改法是:在需求不清的專案裡堆 agent,只會更快得到錯誤答案——定義「完成」、審查程式碼、拼接結果的人仍然是自己。

TechCrunch AIAI 評分62

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

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

Hacker News front pageAI 評分52

Armature 上線 agent.reviews,讓 AI agent 互評工具

Armature(YC P26)上線 agent.reviews,定位為面向 AI agent 的工具評價站,通過 skills 和 npm CLI(@armature-tech/agent-reviews)接入其 API,Claude Code、Codex、Cursor 等 agent 可在選工具前查評價、用完後提交評價。為防止洩露,評價發布前要過三層檢查:確定性規則過濾金鑰、PII 與 URL,Jev 分類器,以及一個小模型複核。

機器之心AI 評分61

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

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

Hacker News front pageAI 評分46

Meta 工程師稱難逐行審查 AI 生成程式碼

Meta 工程師在 LinkedIn 發帖稱,用 AI 寫程式碼後難以逐行審查,交付的系統成了自己不完全理解的黑盒。帖文說 AI 輔助交付節奏太快,逐行檢查會耗費大量時間,結果可能只懂高層結構、不懂每個細節,這違背軟體工程習慣。該帖被轉到 Hacker News 的 Ask HN 後獲得 179 分、292 條評論,討論工程師該理解到什麼程度、又該如何應對才敢繼續交付。

Claude blogAI 評分47

Uber CISO 主張為 AI agent 建內部威脅計劃,並已開源 ADR 監控工具

Uber 首席資訊安全官 Philip Martin 提出,企業應為 AI agent 建立類似員工內部威脅計劃的監控機制。Uber 已開源 AI Detection and Response(ADR),用於採集 agent 執行時的即時遙測並在越界時即時干預,同時把 Anthropic 的 Enterprise Frontier Safeguards 作為資料來源接入其整體檢測體系。

Ars Technica AI● 精選AI 評分80

研究:AI 程式設計代理生成更多程式碼,軟體產出未增加

哈佛大學研究者在 700 多家公司、70 萬名員工、3 億條工作事件的資料中發現,AI 程式設計工具並未讓企業軟體產出增加或減少用人,編碼階段省下的時間被下游環節吸收。程式碼審查時長明顯增加,pull request 更常需要返工,審查者留下的評論也更多。研究據此認為人工程式碼審查是 AI 編碼效率的主要瓶頸。

X @GoogleDeepMindAI 評分43

@GoogleDeepMind: When AI-generated content has become so realistic, how do we verify what's made by human, machine, …

Google DeepMind 發布一期播客,討論 AI 生成內容日益逼真後如何驗證內容來自人類、機器還是自然。節目介紹內容溯源的作用,並講解不可感知水印如何保護數字媒體與生物設計,時間軸涵蓋水印概念、SynthID、影像與影片、SynthID Bio 及未來韌性等章節。

Hacker News front pageAI 評分48

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

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

Hacker News front pageAI 評分37

新工具追蹤 AI 領袖影片言論,Amodei 累計 54 條

有人做了一款工具,追蹤 AI 行業領袖在影片中的公開表態,並展示他們觀點隨時間的變化。目前收錄了 Dario Amodei(累計 54 條)、Alex Karp(51 條)、Marc Andreessen(49 條)、Sam Altman(45 條)、Palmer Luckey(40 條)、Satya Nadella(23 條)、Elon Musk(21 條)、Yann LeCun(6 條)等人,頁面同時標註本週新增條數,例如 Alexandr Wang 本週有 5 條。

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 報告稱部分效應有所緩解,但驗證與運維成本仍在累積。

機器之心● 精選AI 評分78

王琰發布 TraceForge:自生成思維鏈反超蒸餾原版

獨立研究員王琰發布技術報告 TraceForge,提出用同族模型自行生成思維鏈、只向閉源模型借答案的合法路徑。以 Qwen3.5-9B-Base 做學生、5,000 條題目訓練後,自生成思維鏈在 HumanEval+ 比直接蒸餾 Claude Fable 5 真實思維鏈高 3.7 分、MBPP+ 高 7.1 分,且 MBPP+ 領先在每個 checkpoint 上都成立。報告還給出更徹底的變體:連答案也交給同族最強模型生成,全程不讓任何閉源 token 進入梯度;

機器之心● 精選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 評分48

生數科技直播 Motubrain 2.0 訓練全流程,模型即將開源

生數科技世界模型團隊自 10 月 21 日起,連續半個月公開直播 Motubrain 2.0 具身模型的訓練全流程,該模型即將開源。直播覆蓋四個環節:預訓練(觀察訓練規模對效能與零樣本泛化的影響)、後訓練(提升具體任務執行能力)、Agent 任務執行(把已有經驗遷移到其他任務)以及 RSI 遞迴自我改進(模型依據執行反饋評估並改進自身行動)。團隊表示會一併展示訓練中的失敗、試錯和調整,而不只是最終 Demo。

量子位AI 評分60

亞馬遜 CTO:別讓恐懼驅動 AI 決策,Agent 須設授權邊界

亞馬遜 CTO Werner Vogels 在深圳交流時表示,企業不該因怕錯過 AI 而倉促決策,Agent 則必須提前劃清授權邊界:亞馬遜為 Agent 設計了規則執行機制,會檢查其訪問工具、執行指令碼等操作,例如可規定每天花費不超過 100 美元,超出就需人參與決策。他還提出驗證債的概念——AI 生成卻未被理解的程式碼,會把省下的時間在後續排查返工中重新花掉。此外他認為不必追基準榜第一,有客戶發現 DeepSeek、通義千問、Kimi 等更小模型已夠用且成本更低。

量子位● 精選AI 評分82

何愷明團隊發布視覺原生 Harness 框架 VISTA

何愷明團隊提出視覺原生 Harness 框架 VISTA,讓現有多模態模型無需重新訓練,就能儲存原始畫面並在推理時按需回看、放大細節。VISTA 把環境返回的每幀畫面按回合號、幀號索引存到上下文之外,預設只向模型展示最後一幀,需要時用 inspect 工具調取歷史畫面。搭配該框架,Claude Opus 5.0 通關 ARC-AGI-3 全部 25 個公開遊戲,動作效率得分滿分 100,所用動作數比人類首次遊玩基線少 57.4%;

Hacker News front pageAI 評分21

Hacker News 討論:Agentic AI 落地的主要瓶頸是什麼

Hacker News 上有人發帖徵集討論:Agentic AI 進入生產的主要瓶頸在哪裡。發帖者引用兩項資料作對照——agent 產生的流量已超過人類流量,但已建置的 agent 中只有 10% 真正上線生產,他覺得這很諷刺。他由此追問是什麼卡住了這些 agent,以及要讓 agent 流量繼續增長還缺哪些基礎設施。帖子目前 3 分、5 條評論。

機器之心● 精選AI 評分78

7B 審計模型 AgentForesight 上線,多智慧體任務失敗前預警

羅格斯大學、得州大學奧斯汀分校與普渡大學團隊提出線上審計模型 AgentForesight,用 7B 模型在任務執行中逐步讀取軌跡字首,在關鍵錯誤擴散成失敗前報警。在 AFTraj-2K 測試集上,其關鍵錯誤步驟識別 Exact-F1 達 66.44,比最強通用基線 DeepSeek-V4-Pro 高 19.88 分,成功軌跡誤報率僅 2.37%。

量子位AI 評分43

生數科技在正式開源前直播 Motubrain 2.0 訓練全流程,持續半個月

10 月 21 日,生數科技的 Motubrain 團隊啟動了 Motubrain 2.0 訓練全流程公開直播,計劃持續半個月,在正式開源前展示這款具身模型從訓練、測試到能力迭代的過程。直播涵蓋預訓練、後訓練、Agent 任務執行與 RSI(遞迴自我改進)探索四個環節,重點觀察訓練規模對零樣本泛化的影響、經驗能否遷移到其他任務,以及模型能否依據執行反饋改進自身行動。團隊稱將公開訓練中的失敗、試錯與調整,開啟具身模型訓練的“黑盒”,但具體效果仍需後續實驗與評測驗證。

TechCrunch AIAI 評分55

Blueprints AI 發布二代軟體,一次生成全套建築藍圖

Blueprints AI 在 TechCrunch Disrupt 上發布第二代軟體:輸入專案描述或草圖,即可一次性生成建築、結構、機電、給排水與室內設計的全套藍圖,本週公開上線。二代支援直接修改設計,一處改動自動同步整個專案並對照當地建築規範校驗;一代僅輸出施工檔案,訂閱價每月 3200 至 8500 美元。模型基於該公司八年獲批圖紙訓練,出圖仍需持證建築師稽核蓋章,加入結構分析與配電盤設計的三代版本已在開發中。

Hacker News front pageAI 評分45

Criteo 初級工程師:AI 時代真正的風險是永遠停在 Junior

在 Criteo 任職的初級工程師 Elise Baturone 認為,AI 不會讓軟體工程師消失,真正的風險是資深工程師消失、所有人永遠停在 Junior 階段。她把自己的 agent 調教成導師,用蘇格拉底式提問做理解檢查,並把「提問」和「review」當成需要自己練的技能:追問 agent 解釋設計選擇、引用來源、論證可疑方案,常能讓它自己發現錯誤。她承認這更費 token,但先弄懂再上線更省事;

Hugging Face blogAI 評分58

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

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

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

量子位AI 評分55

OpenAI 具身資料供應商指向 Maxinsights,已交付超 200 萬小時

據量子位梳理公開報導與業內線索,為 OpenAI 供應具身(第一人稱視角)訓練資料的供應商指向成立僅兩三年的 Maxinsights,OpenAI 未官方披露。該公司累計交付超 200 萬小時資料,另有 150 萬小時帶手部追蹤與語言標註的資料,月採集 45 萬小時,覆蓋 2000 多個真實環境、5 萬多個場景。

量子位● 精選AI 評分68

Aether AI 公布 CRIS-0:0.2 秒急停、秒級重規劃

因果智慧公司 Aether AI 公布機器人系統 CRIS-0 的官方 Demo,靠提取物理因果變數而非端到端擬合驅動機械臂。在咖啡製作測試中遭遇人為移位與光照突變,系統平均 2 秒內完成重規劃,10 次隨機擾動有 9 次有效恢復;客廳長程整理可連續執行數十步,20 條模糊指令完成 18 次精準抓放,危險變數出現時 0.2 秒急停。

TechCrunch AIAI 評分70

微軟推出 Guardian Agents,監控企業自購的 AI 代理

微軟發布 Guardian Agents,用於監控企業自己部署的 AI 代理,屬於 6 月推出的 Project Perception;該產品原本假定 AI 駭客來自外部,設有紅隊、藍隊、綠隊三類代理。微軟安全業務負責人稱,前沿模型無論出自哪家都不可信,問題不在惡意,而在行為不可預測。

Hacker News front pageAI 評分65

Anthropic Scion 被指抄襲 Mononoke 的 Bonsai 資料模型

Anthropic 的版本控制系統 Scion 被指抄襲 Meta 的 Mononoke:原作者稱已私下獲得確認,這是有意且公然的照搬,且雙方存在人員重疊。相似之處不止 derived data 索引,而是整個 Bonsai 資料模型——Scion 的 changeset 與 Mononoke 的 Bonsai changeset 描述幾乎一致,Scion 這個名字也是 Bonsai 音節倒序後去掉 B。