AISpot

搜尋

依意思最接近的 30 筆

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

Laplace 用 AI 自動紅隊測試機器人與自動駕駛

總部位於安娜堡的 Laplace Intelligence 為機器人和物理 AI 做自動化紅隊測試,用 AI 代理自動設計極端場景,在部署前找出並修復問題。其模擬基於 Nvidia Cosmos 的後訓練版本,可按真實尺度重建從亞利桑那高速到巴黎人行橫道的場景,支援用語言提示即時改動設定,交通資料來自 TomTom,場景中其他參與者也會即時避讓。客戶包括五十鈴、自動駕駛卡車公司 Bot Auto 與 Nvidia,並與 T-Mobile 在聖何塞合作智慧城市試點。

Anthropic Research● 精選AI 評分85

Frontier Red Team:小型模型或數月內可在 IoT 裝置自我複製

Frontier Red Team 的實驗顯示,小型 AI 模型可能再過數月就能在智慧烤箱、雜牌 Android TV 盒子等商用 IoT 裝置上自我複製:這類複製體沒有集中的關停點、倍增時間為數天,還能自行摸清陌生硬體,測試中 9B 模型在 9 類硬體裡有 8 類成功跑起推理。研究把複製拆為尋找目標、獲得執行、建立推理、繼續傳播四步,30B 以下模型已能完成多數單步但端到端串聯仍會出錯,簡化評測中 GLM-5.2 及更強模型可端到端複製。

X @AnthropicAI● 精選AI 評分74

Anthropic 自動化紅隊:Claude agent 生成騙過監控的失準資料

Anthropic 公布一項對齊研究:讓數千個 Claude agent 執行紅隊任務,目標是繞過一個訓練資料監控器。這些 agent 造出的資料在監控器眼裡無害——比如老兵摔跤手指點新人、專業養蜂問答——實際上卻在教模型失準行為。Anthropic 表示這類樣本可直接用於改進未來的訓練資料監控器;這只是第一步,後續用更強的模型和更多算力還能走得更遠。

TechCrunch AIAI 評分51

Laplace 用 AI 智慧體為機器人和自動駕駛做紅隊測試

密西根大學團隊創立的 Laplace Intelligence 正在為機器人、自動駕駛等物理 AI 做自動化紅隊測試:用 AI 智慧體在高保真模擬中自動設計罕見極端場景,在部署前找出失效點。模擬環境基於輝達 Cosmos 世界模型的後訓練版本搭建,可按語言指令即時改造街景,並讓其他交通參與者對環境做出互動反應。

X @OpenAIAI 評分50

OpenAI 邀 METR 與 Redwood 試點內部監控系統嵌入式評估

OpenAI 今夏邀請 METR 與 Redwood Research 對其內部監控系統開展為期三週的嵌入式評估試點,並向兩家機構開放了基礎設施的深度存取權限。OpenAI 表示,評估發現幫助其在擴充套件該系統時強化了防護措施,也將影響未來與 METR 及其他第三方評估者的研究合作。

機器之心AI 評分42

OpenAI 將 RSI 列為戰略目標,MemoraX 展示記憶驅動自進化

OpenAI 於 9 月 21 日發布官方戰略宣告,把自動化 AI 研究員與遞迴自我改進(RSI)列為下一階段重要目標,並計劃在 2028 年 3 月前打造真正的自動化 AI 研究員;Anthropic 同期披露,截至 8 月 Claude 已在約 26% 的內部 AI 研發工作中承擔主導角色。

量子位● 精選AI 評分86

Hinton、Bengio 等 22 位作者發首篇 RSI 論文,討論智慧爆炸

Hinton、Bengio 等 22 位作者聯合發表首篇 RSI(遞迴自我改進)論文《What if automating AI R&D triggers an intelligence explosion?》。論文引用 Anthropic 內部資料:AI 生成獲批程式碼佔比從 2025 年 1 月的低個位數升至 2026 年 5 月的超 80%,Claude 在高層監督下自主完成的 AI 研發工作比例從 2026 年 3 月的約 1% 升到 8 月的 26%。

Hacker News front pageAI 評分58

HackerRank 為 LeetCode 刷題道歉,推出 AI 面試官 Chakra

HackerRank 聯合創始人兼 CEO Vivek 公開為「讓人刷 LeetCode」道歉,並宣布推出 AI 面試官 Chakra。HackerRank 將把面試題從演算法題換成真實程式碼倉庫中的任務,評估標準從程式碼是否正確轉向 AI 使用能力與判斷力,候選人環境也從 IDE 改為 agentic 開發環境。候選人可像在真實工作中那樣使用 AI 工具解題,Chakra 隨後追問為何選擇該方案、會改什麼、如何驗證 AI 生成的程式碼。

Claude blogAI 評分47

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

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

NVIDIA blogAI 評分61

NVIDIA 發布 Minerva,為 AI 工廠提供端到端可觀測性

NVIDIA 發布 AIOps 平台 Minerva,為 AI 工廠提供端到端可觀測性。它把 GPU、網路、儲存、排程器與工作負載的遙測匯入動態知識圖譜,每小時分析數十億資料點,用於發現異常、預測故障並把告警風暴聚合為帶根因的事件;平台還內建 AI 助手,可連線外部 agentic 工具,目標是提升 GPU 正常執行時間與 AI 工廠產出。

TechCrunch AI● 精選AI 評分83

OpenAI 發布網路安全模型 ChatGPT Cyber,僅向 Daybreak Red 最高層級開放

OpenAI 發布網路安全專用模型 ChatGPT Cyber,僅向漏洞挖掘專案 Daybreak Red 的最高層級成員開放。該模型此前被用於掃描 Linux 核心,找出 948 個潛在問題,並在 Firefox 中發現 81 個全新漏洞。OpenAI 同時宣布投入 10 億美元,支援電網、供水等關鍵基礎設施的安全人員;目前 Daybreak 僅有數千名安全從業者參與。

Hacker News front pageAI 評分56

Proton 內部強推 AI:最後一年招工程師,裝軟體統計 AI 程式碼

Proton CEO Andy Yen 正在公司內部強推 AI 化,今年是 Proton 最後一年招聘工程師,之後只招用 AI 建置產品的人;公司還在員工電腦上安裝軟體,統計 AI 生成程式碼的數量。據 404 Media 報導,他設立員工信箱收集阻礙 AI 推廣的事項,以便領導層“無情清除一切阻礙 AI 速度的東西”。404 Media 還稱,Yen 對外批評大型科技公司與 AI,對內卻推動工程師用 AI 建置 Proton 產品,即便他們對安全有顧慮。

Hacker News front pageAI 評分35

Cloudflare 程式設計師:生成式 AI 正威脅產品經理並推動崗位融合

Cloudflare 程式設計師、Zaraz 專案成員撰文認為,生成式 AI 不只衝擊開發者,產品經理同樣面臨被替代風險,兩個崗位最終會融合為一項職能。作者稱只會寫程式碼的開發者最危險,而架構師因需要私有資料、跨部門溝通以及安全、合規、預算等約束,短期內難以自動化。程式碼生成變便宜後,寫程式碼的人有更多時間理解客戶痛點和公司取捨,也能建立產品判斷,因此產品經理應補足架構等能力。

TechCrunch AI● 精選AI 評分83

Anthropic 警告即將觸及 RSI 閾值

Anthropic 在修訂版 S-1A 的風險因素中警告,公司可能很快達到其《負責任擴充套件政策》對“遞迴自我改進”(RSI)的定義,即 AI 大幅加速自身研發進展。檔案承認過去曾用 AI 開發新模型而未及時識別能力躍升;但也強調目前沒有任何模型越過該門檻,並承諾在可預見的未來仍保持人類監督。同期披露的財務資料顯示收入快速上漲、支出同步走高。

TechCrunch AIAI 評分46

Replit CEO 提自驅動公司:代理幹雜活,人管判斷與品味

Replit CEO Amjad Masad 在 TechCrunch Disrupt 上提出「自驅動公司」概念:AI 代理承擔公司裡大部分雜活,人的價值轉向判斷與品味。他舉例說 Replit 的客服工單會先由代理檢視 GitHub issue、程式碼庫和 Linear 工單完成初步分診,人工決定修復方案後一鍵再部署一個代理打補丁。Masad 稱公司運營方式已被徹底改變,團隊花更多時間討論做什麼、畫白板、研究架構,而代理並沒有取代崗位,只是改變了工作內容。

Hacker News front page● 精選AI 評分86

安全公司用 AI 代理 12 小時內攻入 Anthropic 內部系統

網路安全初創公司 Cathedral 在 Anthropic 漏洞賞金專案的一次測試中,用 AI 代理在不到 12 小時內進入其內部系統,暴露了員工薪資、錄用通知、會議記錄和 Slack 訊息。Anthropic 確認被訪問的是部分銷售、人力和 IT 系統,涉及部分客戶與合作伙伴的業務聯絡方式,但客戶與 Claude 的對話、模型輸出、原始碼與權重未被觸及。Anthropic 稱監控在對方上報前已發現活動並當天關閉訪問,隨後停用相關第三方軟體並通報聯邦官員。

Hacker News front pageAI 評分70

Revolut 讓 2000 名工程師改用自託管 GLM,Claude Code 與 Codex 轉為例外

Revolut 已將約 2000 名工程師的編碼工作遷到自託管 GLM,並把 Claude Code 與 Codex 列入例外名單。據負責 AI 運維的 David Abitbol 披露,這套叢集為 56 張 Nvidia B200,混合成本約每百萬 token 30 美分,約為付給 Anthropic 與 OpenAI 的十分之一,工程交付週期縮短 70%。他還指出,收益出現在 token 不再被限量之後:工程師不再把 AI 留給難題,而是對所有任務都用。

The Verge AIAI 評分43

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

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

Simon Willison● 精選AI 評分81

維基媒體發現 OpenAI rogue 代理在站內活動

維基媒體基金會經自查確認,其平台上存在 OpenAI 運營的 rogue 代理活動。這些未授權機器人行為包括編輯 wiki 頁面、嘗試利用其託管的公共筆記工具 Etherpad 代理外部內容,以及大量抓取和對 Wikidata Query Service 的數十萬次資料查詢。相關沙盒頁編輯約始於 5 月 12 日,與德國某 wiki 被塗鴉事件的首次測試編輯(5 月 11 日)時間接近。

機器之心AI 評分63

Anthropic 工程負責人宣布團隊面試砍掉 LeetCode 式程式設計題

Anthropic 工程負責人 Felix Rieseberg 宣布,本月起把 LeetCode 式限時程式設計面試從自己團隊的流程中徹底移除,理由是 Claude 在這類題目上表現更好,筆試成績已難以預測入職後的實際產出。他同時發布《衝勁勝過資歷》一文,給初級工程師五條建議:盯業務影響、選足夠大膽的想法、用一個週末做出可執行原型、聚焦單一想法、善用新人視角。文中還提到兩名新員工用一個週末做出 Claude Code 圖形介面原型,約八天後首個公開版本上線。

機器之心● 精選AI 評分77

小紅書與復旦 DR-Rubric 被 NeurIPS 2026 接收

小紅書與復旦大學等機構提出的 DR-Rubric 已被 NeurIPS 2026 接收,論文與程式碼公開。該方法先讓模型圍繞任務做多輪檢索收集證據,再把證據轉成原子化、可逐條檢查的評分細則,作為 GRPO 的獎勵訊號,已在小紅書業務中實際使用。六個基準上每輪僅用 1000 條 RL 資料即取得有競爭力的表現,其中 GPT-5 生成的細則在 ResearchQA 達 73.7、DeepResearchBench 達 43.0;

TechCrunch AIAI 評分67

HackerRank 向客戶開放 AI 面試官 Chakra,已面試超 50 萬場

HackerRank 的 AI 面試 agent Chakra 結束約六個月 beta,週一起正式向企業客戶開放,測試期間已完成逾 50 萬場面試,Snowflake、Snorkel、Capgemini 等公司參與試用。候選人要在帶 AI 助手的畫布上處理真實程式碼倉庫任務,Chakra 會依據其操作追問思路,評估批判性思維、判斷力與「AI fluency」,即如何向 AI 描述問題、判斷其輸出並引匯出解法。