OpenAI GPT-5.6 Sol、Terra 和 Luna 現已正式在 Amazon Bedrock 上可用 2026-07-14 05:01 UTC+8 OpenAI 最新智能模型系列 GPT-5.6 Sol、Terra 和 Luna 已在 Amazon Bedrock 上正式可用,帶來旗艦級推理模型 Sol、平衡型模型 Terra 和快速低成本模型 Luna。Amazon Bedrock 的下一代推理引擎提供高性能、安全性和可靠性,支持提示緩存(90% 折扣)、區域內推理和芯片級零操作員訪問安全。同時發佈了 ChatGPT Work 和 Codex 代理。
GPT-5.6 Sol、Terra 和 Luna 在 Amazon Bedrock 上正式可用。 Sol 是旗艦推理模型,在編碼、安全、藥物發現等領域創下新紀錄;Terra 適合日常生產;Luna 適合高吞吐量低延遲任務。 Show HN:Fleet Deck – 在一面板上查看機器上所有 Claude Code 會話 2026-07-14 04:56 UTC+8 Fleet Deck 是一個本地工具,可實時監控和管理所有正在運行的 Claude Code 會話。它提供一個看板,顯示每個會話的狀態、衝突提醒、需求隊列,並支持任務分配、遠程控制、會話恢復等功能。核心架構零模型調用,依靠鈎子事件和確定性邏輯,確保安全與高效。
Fleet Deck 將所有 Claude Code 會話整合到一個本地看板(http://127.0.0.1:4711)上,顯示狀態、衝突和待辦事項。 內置衝突雷達,當兩個會話在 30 分鐘內編輯同一文件時發出警告,並支持工作樹感知。 Siri AI 已經改變了我使用 iPhone 的方式 2026-07-14 04:43 UTC+8 iOS 27 公開測試版發佈,Siri AI 作為可選測試功能備受矚目。本文作者體驗後發現,Siri AI 能通過理解自然語言跨應用執行任務,如查詢演唱會日程、從郵件添加日曆事件。但當前僅限於蘋果自家應用,第三方支持需等到正式版。儘管存在一些識別錯誤和詞彙關聯問題,Siri AI 已顯著改變了作者的使用習慣。
iOS 27 公開測試版推出,主打性能優化和 Siri AI 測試版。 Siri AI 能跨應用理解並執行復雜指令,如查詢信息、添加日程。 微軟首席執行官對前沿AI實驗室態度轉變,警告企業保護知識產權 2026-07-14 04:07 UTC+8 薩提亞·納德拉(Satya Nadella)警告企業,向AI實驗室付費的同時也在泄露專有數據,形成“反向信息悖論”。他建議企業建立自有AI學習環境,而微軟則推薦其Copilot和Azure AI Foundry作為解決方案。
納德拉指出企業為AI支付兩次費用:一次現金,一次是更寶貴的專有知識。 微軟自身曾投資OpenAI並推廣數據驅動的AI,此番言論被指充滿諷刺。 Show HN: PlanWright – AI編碼智能體的控制平面 2026-07-14 03:59 UTC+8 PlanWright 是一個為 AI 編碼智能體設計的控制平面,通過反轉規劃和驗收流程來消除人工瓶頸,使智能體速度與人類決策解耦,並生成不可篡改的審計鏈。
反轉規劃:從會議記錄、郵件等非結構化輸入中自動提取目標,人類只需審批意圖。 智能驗收:自動分類機械性檢查,僅將需判斷的事項提交人類,每次批准均簽名。 AGI編譯器「Auto」 2026-07-14 02:51 UTC+8 Auto是一個記錄LLM智能體行為、驗證並編譯為沙箱化的WebAssembly二進制文件的AGI編譯器,通過分級運行時實現微成本推理,確保“相同思考不重複”。
Auto記錄智能體行為軌跡,提取確定性部分並編譯為經過驗證的.wasm二進制文件。 分級運行時:一級為編譯的快速路徑,零級為前沿模型解釋器,遇新輸入時回退並重新編譯。 AI代理創建虛擬遊樂場,幫助機器人獲取關鍵訓練數據 2026-07-14 02:50 UTC+8 麻省理工學院和豐田研究所的研究人員開發了“SceneSmith”系統,利用三個AI代理協作生成逼真的3D室內場景,如廚房、酒店和客廳。這些虛擬環境為機器人提供了豐富的訓練數據,幫助它們在模擬中練習日常任務,從而減少真實世界測試的時間和成本。
SceneSmith使用三個AI代理(設計者、評論家、指揮者)基於視覺語言模型生成3D場景。 生成的場景包含多達六倍於先前方法的物體,能模擬開門、放置物品等交互。 構建類VideoAgent的多智能體系統:意圖解析、圖規劃與視頻編輯任務的工具路由 2026-07-14 02:30 UTC+8 本教程詳細介紹瞭如何構建一個無需API密鑰即可運行的多智能體視頻編輯系統,包括意圖解析器、智能體庫、工具路由器、圖規劃器和文本梯度優化器,並集成了FFmpeg、Whisper等工具,實現視頻理解、檢索、編輯和再造。
構建一個可運行的VideoAgent風格多智能體系統,用於視頻編輯任務。 系統核心組件包括意圖解析、圖規劃、工具路由和文本梯度優化。 Show HN: Crucible – 你的AI寫了測試,那麼誰來測試這些測試? 2026-07-14 01:57 UTC+8 Crucible 是一個對抗性測試強化工具,利用變異測試發現AI編寫的測試遺漏的缺陷。它提供免費的命令來評估你的測試套件,然後通過一個對抗循環:測試者編寫測試,mutmut 發現存活的變異,批評者針對性地編寫測試。該工具生成機器可驗證的收據,並適用於Python/pytest項目。
Crucible 使用變異測試來評估你的測試套件能捕獲多少真正的錯誤。 該工具運行一個對抗循環:測試者編寫測試,變異測試發現倖存者,批評者消滅它們。 當大腦運作方式不同時,AI不是奢侈品——而是無障礙工具 2026-07-14 01:50 UTC+8 一位患有AuDHD(自閉症與ADHD併發)的解決方案架構師分享如何利用AI作為無障礙工具,基於Amazon Quick和Bedrock構建自動化工作流,補償執行功能缺陷,將收件箱掃描時間從45分鐘以上降至6-13分鐘,並實現零遺漏跟進。
英國15-20%的成年人口具有神經多樣性,但大多數AI生產力工具仍假設神經典型大腦。 作者患有AuDHD,構建了基於Amazon Quick和Bedrock的自動化系統,處理郵件分類、任務優先級和跟進。 藉助 Amazon Bedrock,Bluesight 打造智能代理 AI 解決方案 2026-07-14 01:34 UTC+8 本文介紹了 Bluesight 如何利用兩次 AWS 參與計劃和 Amazon Bedrock AgentCore,從單一產品 AI 原型發展為覆蓋六個醫療合規產品的統一智能代理 AI 解決方案 Prism。Prism Assistant for ControlCheck 已於 2026 年 5 月推出,目前已被 20 個醫療系統使用。更復雜的多產品代理解決方案計劃於 2026 年晚些時候推出。
Bluesight 使用 Amazon Bedrock AgentCore 構建了生產級智能代理 AI 架構。 Prism Assistant 通過單一代理模式將 ControlCheck 查詢時間從 5 分鐘縮短至 10 秒。 使用 Amazon Bedrock AgentCore Gateway 為多租户代理實現代理令牌交換 2026-07-14 01:27 UTC+8 本文詳細介紹瞭如何利用 Amazon Bedrock AgentCore Gateway 和 Identity 實現 OAuth 2.0 令牌交換(RFC 8693),以解決多租户代理中下游 API 調用時的身份傳播問題和 confused deputy 問題。通過參考實現 TravelBot,展示了在 Okta 環境下的完整設置、JWT 聲明轉換以及如何通過受眾綁定實現深度防禦。
OAuth 2.0 Token Exchange(RFC 8693)解決了多租户代理中身份傳播和 least privilege 問題 Amazon Bedrock AgentCore Gateway 和 Identity 原生支持令牌交換,無需代理代碼實現 Show HN: Clay Seal Identity – 代理需要問責制 2026-07-14 01:07 UTC+8 Clay Seal Identity 是一個開源項目,為 AI 代理提供短期、可驗證的憑證,確保身份認證和問責制。它基於 SPIFFE 標準,支持 JWT 和 X.509 憑證、Ed25519 工作負載密鑰、離線驗證,以及 Biscuit 能力令牌。該項目包含 Python SDK 和可選的 FastAPI 服務,適用於需要確認代理身份、委託方和憑證有效性的場景。它只是 Clay Seal 的第一層,後續層將提供運行時的能力作用域和執行收據。
為每個代理運行頒發短期可驗證憑證,而非借用長期人類或服務 API 密鑰。 支持 SPIFFE JWT-SVID 和 X.509-SVID 憑證,以及 Ed25519 工作負載密鑰以進行發送方約束。 在Amazon SageMaker AI中推出生成式AI推理推薦用户界面 2026-07-14 00:42 UTC+8 Amazon SageMaker AI Studio推出了生成式AI推理推薦的低代碼/無代碼用户界面,引導用户通過預設用例配置、可視化比較和一鍵部署,無需深厚基礎設施知識即可獲得驗證的配置。
新UI簡化了生成式AI模型部署的優化過程,無需手動基準測試。 提供預設用例配置(交互、生成、摘要)和優化目標(最小化延遲、最大化吞吐量、降低成本)。 容器化AI開發:用Docker和VS Code掌控AI聊天 2026-07-14 00:03 UTC+8 GitHub模板倉庫take-ai-control通過Docker和VS Code提供隔離的AI開發環境,支持PI.dev、Claude Code和Copilot,跨平台兼容Linux和macOS,並附帶技能和模板項目以減少token消耗。
使用Docker容器和VS Code DevContainer實現AI聊天環境的強隔離,增強安全性 支持PI.dev、Claude Code和GitHub Copilot,會話和配置持久化存儲在var目錄 在SymCrypt中驗證Rust密碼學:從標準到代碼 2026-07-14 00:00 UTC+8 微軟SymCrypt團隊宣佈了一種新的方法論,使用Lean證明助手和Aeneas工具鏈對用Rust編寫的密碼學代碼進行形式化驗證,確保其功能正確性符合從標準推導出的形式規範。該方法已應用於ML-KEM和SHA-3等後量子算法,驗證後的代碼已隨Windows內部版本發佈。通過使用AI代理自動編寫證明,同時保留人類對標準化過程的監督,這一方法論能夠擴展以跟上不斷發展的代碼庫。它還支持硬件內聯函數和多平台調度,且不會犧牲性能。
微軟使用Lean和Aeneas驗證SymCrypt中的Rust密碼學,實現從標準到代碼的功能正確性。 ML-KEM和SHA-3的已驗證實現已隨Windows內部版本發佈。 Jacquard:一種由AI編寫、人類審核的編程語言 2026-07-13 23:56 UTC+8 Jacquard是一種研究原型編程語言,專為AI編寫、人類審核的代碼設計。它通過語言內置的效果跟蹤、概率編程和結構化身份,讓人類審核者無需逐行閲讀代碼即可理解程序的影響範圍與確定性。
Jacquard通過代數效果和顯式權限授予,使程序副作用可追蹤、可控制。 支持概率編程和窮舉搜索,可直接計算有限離散模型的精確概率。 在終端中運行HTML、CSS和JavaScript 2026-07-13 23:52 UTC+8 該項目展示了一種新模式:使用網頁技術創建終端應用和BBS風格共享板,並通過SSH訪問,重現了早期互聯網的感覺。作者花費八年時間開發瀏覽器渲染引擎,隨後用AI輔助開發終端渲染器,使得自託管專用應用成為可能。
終端應用可基於HTML/CSS/JavaScript構建,通過SSH訪問,融合現代網頁技術與經典BBS風格。 作者獨立開發了瀏覽器渲染引擎(八年),終端渲染器則主要由AI編寫,自己負責設計和決策。 技術面試中的人工智能軍備競賽正在升級 2026-07-13 23:15 UTC+8 軟件工程類職位正受到人工智能的威脅。一些應聘者利用AI面試助手在遠程技術面試中實時生成回答進行反擊,而僱主則部署AI檢測工具來識別AI使用跡象。這種雙向動態使招聘演變成一場沒有明顯贏家的AI軍備競賽。專家認為,儘管面臨這一現實,求職中的人性化方面仍將佔據主導地位。
應聘者使用AI面試助手(如Final Round AI、Interview Coder)在遠程面試中實時獲取答案。 僱主部署AI檢測工具(如Ginger)追蹤眼球運動、響應延遲、選項卡切換等信號。 賬單衝擊讓高管們重新思考AI這件事 2026-07-13 22:16 UTC+8 本期The Register的Kettle播客探討了Tokenminning是否能讓AI行業迴歸現實,因為企業領導者驚訝地發現AI成本急劇上升。
KPMG調查顯示29%的高管難以理解AI運營成本,近半數在成本超預期時重新調整部署。 Anthropic、OpenAI等轉向按Token計費,導致賬單激增。 Show HN: Crowdmind – 通過AI角色測試創意的開源工具 2026-07-13 22:03 UTC+8 Crowdmind是一款本地優先的桌面應用,用於快速定性研究。用户可以創建AI驅動的合成角色面板,測試產品概念、營銷信息、定價方案、登陸頁面、圖像、PDF甚至多步驟漏斗,並獲得結構化反饋,包括評分、反對意見、積極信號、主題分析等。該工具支持多種LLM提供商(OpenAI、Anthropic、Gemini、OpenRouter及本地離線模型),所有數據存儲在本地SQLite中,確保隱私。適合創始人、產品營銷人員、研究人員和產品團隊使用。
快速創建AI角色面板,支持手動、CSV導入或AI生成。 測試文本、圖片、PDF及多步驟漏斗,獲取評分、反對意見和主題分析。 使用Outlines進行結構化語言模型生成 2026-07-13 22:00 UTC+8 Outlines是一個開源庫,通過在推理時屏蔽不合法的標記,為大型語言模型(LLM)的輸出引入確定性,從而可靠生成結構化輸出如JSON和分類結果。本文通過Python示例展示了其三大用例:情感分析的多選分類、基於Pydantic的JSON對象生成,以及REST API的純JSON生成。
Outlines通過在推理時屏蔽非法標記,確保LLM輸出符合預定結構。 它支持多選分類、JSON對象生成和純JSON生成等場景。 如何衡量視頻相似度:我測試的6種技術(以及我最終採用的那一種) 2026-07-13 21:20 UTC+8 本文對比了六種視頻相似度測量技術——GPT Vision、Gemini Flash、CLIP、感知哈希、CV多指標和Gemini Embedding 2——使用瀑布剪輯作為基準。準確率優先於速度。Gemini Embedding 2處理完整視頻,在準確率和速度之間取得了最佳平衡,超越了幀採樣方法。
測試了六種視頻相似度技術,使用具有挑戰性的瀑布片段。 準確率為主要指標,速度僅作為決勝因素。 SociaLLM工程:論如何操縱AI代理及其應對措施 2026-07-13 21:03 UTC+8 一種名為'SociaLLM工程'的新型社會工程攻擊正針對大型語言模型驅動的AI代理。這些攻擊通過利用LLM的隱式社交理解和缺乏信任邊界,操縱其泄露敏感信息或執行未授權操作。真實案例包括Instagram賬户接管、GitHub工作流數據泄露以及AI瀏覽器的'BioShock'攻擊。文章分析了LLM為何特別脆弱——因其設計追求服從、單一通道處理以及無記憶力——並提出了人工監督和強化防護欄等緩解措施。
SociaLLM工程利用冒充和藉口等社會工程技術操縱LLM代理。 知名事件包括2026年大規模Instagram賬户接管、GitHub Gitlost提示注入攻擊以及AI瀏覽器的BioShock攻擊。 Cairn:一個擁有50美元預算、電子郵件地址和憲章的AI代理 2026-07-13 21:02 UTC+8 Cairn是一個自主AI代理,由Omri Pitaru創建,它在GitHub上公開編輯自己的倉庫,包括身份、記憶、目標和寫作。它運行在固定預算上,並通過電子郵件與人類互動。
Cairn通過公開編輯GitHub倉庫來記錄自己的思想和變化。 它擁有固定的月度預算,並以此決定是否回覆電子郵件。 Introducing Precursor:通過持續的客户端信號檢測代理行為 2026-07-13 21:00 UTC+8 Cloudflare推出Precursor——一種基於客户端會話的行為驗證系統,通過持續收集用户交互信號來區分人類與自動化流量,彌補傳統驗證方式的盲區,提高檢測精度並減少對合法用户的干擾。
Precursor通過動態注入JavaScript,持續收集鼠標移動、鍵盤節奏等行為信號。 它將檢測從單點挑戰擴展到整個用户會話,提升自動化攻擊的識別能力。 我愛ChatGPT桌面版,直到OpenAI為了Codex和Work將它閹割 2026-07-13 20:45 UTC+8 OpenAI將ChatGPT桌面應用與Codex合併,移除了我喜愛的截屏和“Work with”功能,轉而強推Agentic工具和ChatGPT Work。作者認為桌面版已名存實亡,瀏覽器版仍是最好選擇。
OpenAI在桌面應用中整合了Codex和ChatGPT Work,但刪除了截屏和“Work with”等實用功能。 新的桌面應用實際上是Codex,ChatGPT模式被壓縮為一個小彈窗。 Vairfid – AI代理的身份與責任層 2026-07-13 19:50 UTC+8 Vairfid為AI代理提供身份註冊、驗證和信任評分系統,確保AI在跨公司工作流程中的可信度。
為AI代理提供持久身份和公開記錄 AI Doctor層對代理行為進行加密指紋識別並評分 Loam – 面向早期創始人的AI招聘工具 2026-07-13 19:05 UTC+8 Loam是一款專為早期創始人設計的AI驅動型申請人追蹤系統(ATS),幫助他們高效完成首批10次招聘。它集成了申請人追蹤、AI簡歷評估、人才搜索、管道聊天、MCP集成和品牌招聘網站等功能,提供從免費開始的簡單月費定價。與Spreadsheet或Notion相比,Loam提供了結構化的招聘流程;與傳統企業級ATS相比,它更便宜且更注重AI原生體驗。
Loam是面向早期初創公司的AI原生ATS,旨在替代混亂的電子表格和昂貴的企業系統 核心功能包括申請人追蹤、AI信號篩選、人才搜索、MCP集成以及品牌化招聘網站 AI智能體爬蟲現在需要許可:如何獲取 2026-07-13 19:00 UTC+8 Cloudflare將於9月15日起默認阻止AI智能體爬蟲訪問廣告支持的頁面,將爬蟲分為搜索、智能體和訓練三類。此舉迫使AI公司重新協商訪問權限,並催生了按使用付費模式。
Cloudflare將AI爬蟲分為搜索、智能體和訓練三類,並默認阻止後兩類在廣告頁面上的訪問。 從9月15日起,新接入Cloudflare的域名和現有免費用户將自動適用新默認設置。 DiscoMCP – 將未知的MCP轉化為AI代理可重複使用的操作技能 2026-07-13 18:58 UTC+8 DiscoMCP是一個開源工具,通過分析用户的實際使用模式,將任意MCP服務器轉化為AI代理可用的定製技能,而非通用工具列表。它保證只讀操作,一鍵啓動,並顯著減少代理與複雜服務器交互的往返次數。
DiscoMCP通過分析用户工作流生成定製技能,而非列出所有工具。 默認只讀,拒絕任何寫入或修改操作,保護生產環境安全。 AI輔助開發中的前端驗證差距 2026-07-13 18:58 UTC+8 AI工具能快速生成看似完整的前端界面,但在可訪問性、鍵盤導航、焦點管理、錯誤處理等關鍵方面常常存在不足。文章指出,團隊需要更強的驗證流程,包括使用設計系統和明確提示,並測試用户實際行為而非僅檢查渲染結果。
AI生成的前端代碼外觀完整,但可能存在可訪問性、焦點管理等隱藏問題。 開發團隊應通過持久化指令和任務特定提示明確工程期望。 Show HN: 通過網絡調用控制AI代理 2026-07-13 18:04 UTC+8 Diff Forge AI 是一個本地優先的代理開發環境(ADE),允許用户並行運行 Codex、Claude Code 和 OpenCode 等編碼代理,支持語音控制、屏幕截圖上下文捕獲以及通過網頁儀表板遠程查看。它提供多終端工作區、循環空間(Loop Spaces)調度、雲同步、設備管理等功能,定價從免費到每月 2,000 美元不等。
Diff Forge AI 是一個本地優先的代理開發環境,支持並行運行多個 AI 編碼代理。 提供語音控制、屏幕截圖、循環空間自動化等工具,並可通過網頁或手機遠程指揮。 Plumrocket AI Connector 擴展 2026-07-13 17:28 UTC+8 AI Connector 是一個 Magento 2 擴展,充當商店與大型語言模型之間的統一橋樑,支持 Claude、ChatGPT、Gemini 等,通過單一 REST API 和 PHP 集成層提供 AI 功能。
通過單一接口連接多個 AI 提供商,如 Claude、ChatGPT、Gemini 支持 OpenRouter,可訪問 60+ 提供商和 400+ 模型 斯坦福研究人員推出TRACE:將智能體反覆失敗轉化為合成RL環境的能力定向訓練系統 2026-07-13 16:45 UTC+8 斯坦福大學的研究團隊提出了TRACE系統,通過分析智能體失敗軌跡,診斷缺失的能力,併為每個能力合成可驗證的訓練環境,利用LoRA適配器和GRPO算法進行訓練,最後通過MoE組合實現令牌級路由。在τ²-Bench上提升15.3個百分點,在SWE-bench Verified上達到73.2%的Pass@1,超越了多個基線模型。
TRACE通過對比分析成功和失敗軌跡,識別出關鍵缺失能力。 為每個能力合成獨立的可驗證訓練環境,並使用GRPO訓練LoRA適配器。 Muse Spark 1.1:Meta 三個月內智能指數提升8點 2026-07-13 16:37 UTC+8 Meta 的 Muse Spark 1.1 在人工智能分析智能指數中得分為51,較三個月前的1.0版本提升8點。該模型在科學推理、編碼和知識方面進步顯著,代智能工作也有大幅改善,但仍落後於前沿模型。它是最具代幣效率的模型之一,且運行成本較低。
Muse Spark 1.1 智能指數得分51,與 GLM-5.2、GPT-5.4 等模型持平,僅次於 Grok 4.5 和 Claude Fable 5。 模型在編碼和代智能工作方面提升最大,SciCode 排名第三,僅次於 Claude Fable 5 和 Gemini 3.1 Pro Preview。 從待辦清單到AI代理 2026-07-13 15:43 UTC+8 本文探討了如何將傳統的待辦清單演變為智能AI代理,通過自動化任務管理和決策來提升效率。
傳統待辦清單無法適應複雜任務管理 AI代理能夠自主執行和優化任務 Prime Intellect 發佈 Verifiers v1:用於智能體強化學習訓練和評估的可組合任務集、框架和運行時 2026-07-13 15:40 UTC+8 Prime Intellect 發佈了 verifiers 0.2.0,預覽了重寫的 v1 核心。v1 將環境分解為任務集(做什麼)、框架(怎麼做)和運行時(在哪裏),並通過攔截服務器記錄訓練軌跡。任何任務集均可與任何兼容框架配合使用,並直接支持 prime-rl 訓練。
v1 將環境拆分為任務集、框架和運行時三個獨立部分。 攔截服務器代理框架與推理服務器之間的請求,並記錄軌跡。 人工智能與達克效應:不再彌合的能力鴻溝 2026-07-13 14:42 UTC+8 本文探討了在AI時代,達克效應(能力認知差距)如何被放大。作者假設AI提升了人們的自信,並將真實能力分為“有工具”和“無工具”兩種,導致原本隨經驗而彌合的差距不再消失。這對企業而言,內在能力從生產力問題轉變為治理問題,且會在不知不覺中侵蝕。
AI使初學者產出看似專業的成果,提升自信,但隱藏了失敗,阻斷了經驗教訓的傳遞。 真實能力分裂為“輔助能力”和“內在能力”,後者在缺少工具時顯現,且隨代際可能更弱。 AI時代的贏家:內存產業的結構性優勢 2026-07-13 14:22 UTC+8 隨着AI代理和自動化平台快速發展,內存帶寬成為關鍵瓶頸。蘋果統一內存架構、CUDIMM標準以及PC升級潮正在重塑市場,而三星、SK海力士等內存製造商因HBM產能分配而獲得結構性利好。
本地AI推理需要近1TB/s的內存帶寬,傳統PC架構難以滿足。 CUDIMM通過集成時鐘驅動器提升頻率,成為消費級PC最實用的新一代內存標準。 BeyondSight:面向端到端自動駕駛的物體恆存性 2026-07-13 12:00 UTC+8 BeyondSight 提出了一種具有物體恆存意識的端到端駕駛框架,通過維護持久的智能體假設,將智能體存在與可觀察性解耦,從而在部分可觀測環境中依然能夠推理被遮擋的智能體。實驗表明,該方法將不可觀測智能體的檢測 mAP 從 0 提升至 0.249,同時將規劃誤差 L2avg 從 0.61 降至 0.54。
BeyondSight 將物體恆存性引入端到端自動駕駛,解決部分可觀測環境下的智能體遮擋問題。 該框架通過時間傳播智能體查詢並更新觀測證據,維持持久假設。 基於AI的血管內導航的血管幾何特徵描述 2026-07-13 12:00 UTC+8 該研究旨在識別與導航難度相關的血管指標,並開發自動化管道進行定量血管特徵提取,以支持未來複雜性分級。研究從61名患者的CT血管造影中分割血管樹,測量了主動脈弓類型、牛型弓存在、血管長度、迂曲度、起始角、反向曲線數量等指標,並使用軟演員-評論家強化學習算法進行120秒自主導航。結果顯示,左側牛型弓和II/III型主動脈弓分別增加導航時間30.19秒和37.92秒,更大的迂曲度進一步延長手術時間並降低成功率;右側II/III型弓延長45.94秒,每個額外反向曲線增加3.96秒並降低成功率。該自動化管道為標準化複雜性分級和強化學習模型評估提供了基礎。
研究首次證明機械取栓代理導航難度受血管幾何形狀強烈影響。 開發了自動化管道用於定量提取血管特徵。 Dec-MARVEL:預算約束下無通信的分散式多智能體探索 2026-07-13 12:00 UTC+8 本文提出Dec-MARVEL,一種分散式預算感知探索框架,用於無通信且僅具有方向性傳感的多無人機團隊。每個機器人通過視野內隊友軌跡進行協調,利用圖注意力網絡選擇可行的路徑點。實驗表明,在多種團隊規模和預算下,Dec-MARVEL實現了最高的探索率和最低的傳感重疊,併成功進行了實物機器人驗證。
無需通信,僅通過隊友軌跡進行協調 圖注意力網絡整合局部前沿幾何、隊友運動和預算信息 SplatCtrl:基於高斯場景表示與反應式機器人控制的感知-行動耦合 2026-07-13 12:00 UTC+8 SplatCtrl是一個統一框架,利用3D高斯噴濺實現實時場景重建和反應式運動生成,使機器人能夠在未知和動態環境中實現無碰撞控制。它通過混合體素濾波和動態高斯重定位策略處理環境變化,並從各向同性高斯推導出連續有符號距離函數,用於控制障礙函數,從而實現平滑可靠的實時運動生成。實驗驗證了其在仿真、實體機器人和人機協作空間中的有效性。
SplatCtrl結合3D高斯噴濺和反應式控制,實現無碰撞機械臂操作。 提出混合體素濾波和動態高斯重定位,支持實時場景重建。 AgenticFocus: 從人類第一人稱視頻中保留物體的混合現實合成以用於靈巧類人機器人學習 2026-07-13 12:00 UTC+8 AgenticFocus是一種混合現實合成流程,將普通的第一人稱視頻轉換為機器人可訓練的演示,通過恢復被遮擋的物體幾何、重建全手運動並重新定位到人形機器人,實現了更低的軌跡誤差和更平滑的手腕運動。
AgenticFocus通過混合現實合成將普通人類第一人稱視頻轉換為機器人訓練數據。 該流程克服了手-物體遮擋、簡化運動等問題,無需專門硬件。 MultiView-Bench:用於VLM世界中心多視圖集成的診斷基準 2026-07-13 12:00 UTC+8 MultiView-Bench是一個專為評估視覺語言模型(VLM)多視圖集成能力而設計的診斷基準。研究表明,當前最先進的VLM在單視圖2D任務上表現優異,但在3D空間關係理解和跨視圖信息聚合方面存在顯著困難。為此,作者提出了ViewNavigator,一個多智能體框架,通過主動選擇信息豐富的視角並融合多視圖證據,顯著提升了模型在MultiView-Bench上的表現。
現有VLM基準主要評估單視圖或有限視圖感知,忽視了多視圖集成能力。 MultiView-Bench要求模型將物體位置從觀測視角解耦到全局座標系。 AgentKGV: 面向知識圖譜事實驗證的智能LLM-RAG框架與兩階段訓練 2026-07-13 12:00 UTC+8 知識圖譜自動構建中常含事實錯誤,AgentKGV提出結合動態路由與迭代查詢重寫的智能LLM-RAG框架,並通過兩階段訓練(基於蒸餾的SFT和軌跡級GRPO)提升準確性與成本效率。在T-REx基準上,宏F1比單輪RAG提升14.9個百分點,搜索調用次數減半。
提出AgentKGV框架,利用動態路由和迭代查詢重寫處理文檔級檢索中的表面形式不匹配問題。 兩階段訓練策略:蒸餾SFT將大模型推理能力遷移至小模型,GRPO優化搜索策略減少不必要的檢索。 KV-PRM:通過KV緩存傳遞實現高效過程獎勵建模,用於多智能體測試時擴展 2026-07-13 12:00 UTC+8 KV-PRM是一種高效的過程獎勵模型,通過直接利用大語言模型生成階段自然產生的KV緩存,避免了文本重新編碼,將評分成本從O(L²)降至O(L)。實驗表明,在多個基準上,KV-PRM在匹配或超越文本PRM性能的同時,實現了高達5000倍的FLOPs減少、37倍延遲降低和34倍內存佔用減少。
傳統文本PRM需要重新編碼整個軌跡,成本隨序列長度二次增長。 KV-PRM利用KV緩存僅處理單個驗證令牌,成本線性增長。 L-MAD:法律推理中多智能體辯論結構的系統評估 2026-07-13 12:00 UTC+8 L-MAD框架系統評估了多智能體辯論在法律文本藴含任務中的不同結構與聚合方法。通過賦予智能體不同專家角色,相比強單智能體基線最高提升8%。研究發現增加智能體數量可降低不一致性並提高準確率,但延長討論輪次會導致“過度審議漂移”,智能體互相強化錯誤。該成果為高風險法律推理中協同多智能體系統的部署劃定了實際邊界與安全裕度。
提出L-MAD框架,系統評估多智能體辯論在法律推理中的效果。 分配專家角色使性能比單智能體提升最多8%。 神經代理控制:一種基於深度學習的LLM驅動代理AI框架用於控制安全控制器 2026-07-13 12:00 UTC+8 本文介紹了一種神經代理控制框架,結合LLM規劃器與時間序列基礎模型(TimesFM),通過反事實物理注入機制確保物理安全,在SWaT數據集上表現優於LSTM和TCN,零幻覺動作執行。
提出神經代理控制框架,結合LLM規劃器與TimesFM基礎模型。 引入反事實物理注入機制,在動作執行前模擬干預影響並拒絕不安全動作。