TechCrunch AIAI 評分64
CMU 教授創辦 Safeworld，為生成式 AI 機器人做安全驗證
Safeworld 結束隱身，宣布超 1200 萬美元種子輪，由 Shine Capital 與 a16z Speedrun 領投，Box Group、CMU Endowment、Innovation Endeavors、SV Angel 參投。
搜尋
找到 6 筆
Anthropic News● 精選AI 評分72
Anthropic 擴充套件網路安全驗證計劃，分三檔開放最強模型
Anthropic 將 Project Glasswing 與網路安全驗證計劃合併擴充套件為三檔：Defense、Red Team、Specialized；通過稽核的安全團隊可使用 Claude Opus 5.5、Sonnet 5.5、Mythos 5.1 等最強模型，並減少攔截。Red Team 檔僅限機構、稽核需數週；Specialized 面向電網、航空、電信等關鍵系統，需與美國政府聯合逐家審查。
X @AnthropicAI● 精選AI 評分81
@AnthropicAI: We’re expanding our Cyber Verification Program to give security professionals broader access to our…
Anthropic 宣布擴充套件 Cyber Verification Program（網路安全驗證計劃），讓經過驗證的安全專業人員能更廣泛地訪問其能力最強的模型。通過該計劃，驗證過的安全從業者可訪問 Claude Mythos 5.1、Opus 5.5 和 Sonnet 5.5，並配有面向防禦性工作的安全防護措施。同時新增層級，允許開展經授權的攻擊性安全工作，例如滲透測試與紅隊演練。
r/LocalLLaMA top of the day● 精選AI 評分80
微軟發布 4B 程式設計智慧體模型 FrogNano
微軟推出 FrogNano-4B-2609，一個面向低視訊記憶體裝置的程式設計智慧體模型，基於 Qwen3.5-4B 後訓練而來。其額外訓練為純文字、聚焦倉庫級軟體工程，用約 1500 個合成 SWE 任務環境和基於可執行測試的獎勵做強化學習，不依賴更強模型的解題軌跡蒸餾。模型需配合 Leaf 工具框架生成結構化工具呼叫，產出的補丁須經人工審查、迴歸測試與安全驗證後才能使用。
機器之心● 精選AI 評分69
多機構聯合綜述機器人遞迴自我改進，提出 L0-L5 分級
上海交大、UC 伯克利、斯坦福、MIT、Google、微軟、輝達、小米等機構聯合發表論文《Who Improves the Robot? Toward Physical Recursive Self-Improvement》，提出 Physical RSI 概念，並用 L0-L5 分級區分「機器人任務做得更好」與「改進方法本身變得更有效」。論文還梳理了 Harness 適應、模型訓練、安全與驗證的全鏈路路徑，指出目前仍缺少能檢驗遞迴增益的基準，並列出六個待解問題。
Hacker News front pageAI 評分65
Waymo 進軍加拿大，多倫多目標 2028 年載客
Waymo 正式宣布進入加拿大，將在多倫多推出全自動駕駛網約車服務，目標 2028 年迎來首批乘客。未來數日多倫多街頭會出現 Waymo 車輛，但先由人工駕駛進行高精度地圖測繪與安全驗證。公司將與總部位於多倫多的 Element Fleet Management 合作提供車隊管理，並逐步投入數百個運營崗位。Waymo 稱其自動駕駛累計行駛超 4 億公里，在運營城市中造成重傷及以上事故比人類駕駛少 95%。