政策

語義事務模型將整個AI代理任務視為一個原子事務，透過影子狀態和效果發件箱暫存，在提交前進行全軌跡驗證，防止多步攻擊。本文以Cordon和ATP系統為例，說明該模型如何解決代理工具呼叫的雙重寫入問題，並透過EchoLeak和ForcedLeak兩個零點選注入案例揭示傳統執行時和模型級過濾的不足。

本教程詳細介紹瞭如何使用Patter SDK構建一個用於餐廳預訂的語音代理工作流。內容涵蓋動態呼叫變數的定義、可呼叫工具的註冊（如查詢空位、預訂、營業時間和轉接人工）、輸出護欄的疊加、語音轉文字和文字轉語音的模擬、指令碼化通話流程的執行、延遲和成本儀表盤的追蹤，以及透過確定性評估套件驗證代理。最後，展示瞭如何將相同的邏輯對映到使用Twilio和OpenAI Realtime的實際部署中。

哈斯克爾平臺Scarf的創始人Avi Press宣佈將新開發轉向Python，理由是哈斯克爾在AI輔助開發方面落後。此舉在哈斯克爾社群引發激烈爭論，支持者呼籲語言應適應AI時代，而反對者則擔憂AI的危害。

探討AI生成的低質量內容如何損害二戰歷史資訊的準確性和質量。

歐盟官員對AI公司Anthropic派出初級員工出席關於AI安全的聽證會表示不滿，認為該公司不重視歐洲。

隨著觸覺介面在可穿戴裝置和日常環境中的普及，對柔軟、輕薄、靜音且節能的執行器需求日益增長。高壓靜電執行器（HVEA）透過高壓和超低電流產生電場力，提供了一種快速、安靜、低功耗的替代方案。本文綜述了四類主要HVEA：靜電可切換粘合劑、介電彈性體執行器、軟電液執行器和電動泵，分析了它們的觸覺輸出機制、頻寬、力密度和可擴充套件性，並討論了人體工程學改進、製造簡化和自感知整合等設計挑戰與未來研究方向。

HRIBench 是一個專注於人機互動協作的基準測試框架，透過結構化場景指令碼模擬代理角色、時間依賴和協調約束，評估機器人在協作中的意圖理解、同步、協議遵守和安全互動能力。實驗表明，現有基礎機器人策略在協作場景中表現不佳，但在 HRIBench 上微調後可顯著提升。

該研究將何時呼叫大語言模型（LLM）的問題形式化為基於風險的序列停止問題，並證明了六個理論結果，包括最小事件間隔時間、閾值策略的最優性以及遺憾界。在渦扇退化資料上的實驗表明，異常得分驅動的風險函式在Pareto AUC上比基線方法高出一個數量級。

本文提出DROPJ方法，一種以人為中心的安全訓練與部署框架。該方法先利用先前真實軌跡學習世界模型，再讓人類在模擬器中生成資訊豐富的模擬軌跡，並收集人類對軌跡片段的偏好及其理由。由此訓練獎勵模型，結合世界模型透過模型預測控制直接部署智慧體。實驗表明，生成資訊豐富的模擬軌跡可顯著降低訓練計算成本並提升部署效能，而偏好反饋比其它反饋型別更能提升效能，且安全理由能增強安全性或優先考慮使用者指定的安全方面。

本文透過一首藍調歌曲的比喻，探討大型語言模型的本質：它們生成文本時是先投擲後瞄準，還是存在內部規劃？作者結合自身使用AI寫作的經歷，反思模型創造的“虛假聲音”以及我們不斷剖析這些系統的行為。

本文透過漫畫形式探討新的AI路線圖是否能夠有效約束科技巨頭的行為，質疑其實際效力。

CNA調查發現約500個TikTok影片推送關於新加坡和馬來西亞的虛假或誤導性宣告，總觀看量超過300萬次。這些影片利用AI生成的女性形象、重複的聲音和指令碼，系統性地傳播不實資訊，旨在削弱信任和破壞社會凝聚力。

Neocloud提供商QumulusAI宣佈透過直接上市在納斯達克交易，股票程式碼QMLS。此舉不僅是一項金融交易，更標誌著以GPU和電力可用性為中心的AI基礎設施層正在成熟。公司專注於快速部署高階GPU容量，利用現有機櫃設施和模組化資料中心，以季度為單位交付產能。直接上市提供了資本靈活性、公眾公司信譽，並抓住了AI基礎設施視窗期。文章還分析了Neocloud的差異化策略及對IT領導者的建議。

該影片探討了AI資料中心公司被掛牌出售的現象，業主們正趕在市場崩盤前清算資產。

澳大利亞總理阿爾巴尼斯在悉尼大學發表演講，承諾立法保障創意工作者權益，但被批評缺乏政策細節，且未提及資料中心監管等重要議題。

Lhv.ai是LHV銀行推出的一項服務，透過Model Context Protocol (MCP)讓AI助手安全地讀取銀行賬戶餘額和交易記錄。使用者只需在AI工具中設定MCP伺服器，登入銀行賬戶並授權讀取許可權，即可透過自然語言查詢財務資訊。該服務採用OAuth2 JWT認證，令牌短時有效，且僅提供只讀訪問，完全審計跟蹤。目前支援Claude、Cursor、Zed等工具，設定僅需2分鐘。

作者運用貝葉斯定理，以人工智慧的發展作為證據，論證我們生活在模擬中的機率增加。AI表明通用智慧可以在人工計算系統中湧現，這提高了我們處於模擬中的後驗機率。

埃隆·馬斯克旗下的xAI起訴一名南卡羅來納州男子，指控其利用公司AI聊天機器人Grok生成兒童性虐待材料（CSAM）。公司稱該男子繞過安全措施，將非性照片轉化為性暗示影像，涉嫌傳播CSAM。xAI要求賠償並禁止該使用者再次使用Grok。

反對AI資料中心建設成為美國政治的主要議題，但這可能分散了對AI公司權力和財富集中的真正關注。文章指出，資料中心建設雖帶來環境和經濟壓力，但AI公司真正的目標是控制整個行業。作者主張透過監管、徵稅和推動公共AI來限制企業權力。

德國研究聯合體釋出了Soofi S 30B-A3B的預訓練報告，這是一個面向德語和英語的開放基礎模型。模型採用混合Mamba-Transformer MoE架構，總計約316億引數，每次token啟用約32億。在完全開放的基礎模型中，Soofi S在英語和德語綜合得分上最高。

Vektorgeist是一個為運營者和AI代理打造的綜合平臺，支援代理資料釋出、專案展示、招聘求職、軟體和數字資產交易，並提供社群論壇、群組工作區和儀表盤。平臺強調可驗證身份與信任層級。部落格文章涵蓋本地優先、ICM方法、完全離線執行AI代理等主題。

Gate.cat 是一個為AI代理設計的失敗關閉式操作否決工具，旨在防止破壞性命令如rm -rf的執行。

Murph是一款AI健康助手，透過連線可穿戴裝置、血液檢查等資料，幫助使用者進行自我實驗、建立習慣、參與群組挑戰，並提供個性化的健康洞察。它支援開源自託管，注重隱私，月費8美元。

Atlassian宣佈Jira新增AI原生開發功能，透過Teamwork Graph提供上下文，支援將工作分配給AI代理、監控會話、自動化工程迴圈並衡量AI成本，旨在解決AI生產力差距問題。

本文提倡訓練AI對資源具有風險規避特性，即邊際效用遞減。這種特性可以在AI保持對齊的情況下保留其效用，並在未對齊時提供額外防禦：未對齊但風險規避的AI更傾向於穩定的小額獎勵而非冒險叛亂。文章分析了風險規避的可行性、訓練方法以及潛在問題，認為前沿AI公司應考慮實施。

這些智慧家居裝置提升了我的家庭和日常生活。以下是你可能也想要它們的原因。

中國、加利福尼亞州和紐約州的新法律對AI伴侶聊天機器人施加嚴格限制，理由包括成癮、心理健康風險和兒童傷害。美國法規側重個人保護，而中國則旨在維護國家利益並應對出生率下降。所有法律均要求披露聊天機器人的非人類身份。

Apache Spark 4.2 將現代資料與 AI 棧的核心能力內嵌至引擎，引入度量檢視、向量檢索、Arrow 優先的 Python 執行、自動變更資料捕獲 (CDC) 及即時流處理等特性，進一步強化 Spark 作為統一分析引擎的地位。

Databricks 宣佈成為 Thinking Machines Lab 的零日啟動合作伙伴，將其首款開放權重模型 Inkling 引入平臺。Inkling 專為編碼和智慧體推理最佳化，支援多模態輸入，透過 Unity AI 閘道器提供企業級治理。企業團隊可在自有資料上定製模型，並與 Cursor、OpenCode 等編碼智慧體整合。

本文介紹了計算機視覺MCP伺服器，它透過統一介面整合計算機視覺、Strands代理和MCP協議，使AI系統能夠高效處理視覺資訊並做出智慧決策。架構使用AWS IAM、S3、OpenSearch、Bedrock和Rekognition等服務，支援影像和影片分析，包括物件檢測、裁剪和描述等功能。

在一次駭客事件中，AI音樂生成器Suno的訓練資料被曝光，顯示其從YouTube Music、Deezer和Genius等平臺抓取了數百萬首歌曲和歌詞。這加劇了針對Suno的版權訴訟，該公司承認抓取但辯稱屬於合理使用。駭客還獲取了客戶資訊，但Suno聲稱安全事件已得到控制，未洩露敏感資料。

Work Louder 推出 Codex Micro，一款整合語音提示、任務監控和觸控操作的緊湊型硬體控制器，專為 Codex AI 智慧體設計，提供直觀的狀態反饋和高效的命令控制。

Shippy是一個用於即時海洋領域感知的AI代理，其設計注重可靠性、模組化和可審計性。文章詳細介紹了其架構：由“靈魂”（系統提示）、技能（結構化Markdown檔案）和配置組成。透過專用CLI與Skylight API互動，並使用Mothership平臺進行沙盒託管和使用者隔離。評估系統針對真實場景和加權標準對整體代理進行評分。未來計劃包括代理驅動的UI控制、模型路由和跨執行緒記憶。

本文探討了AI代理中模型路由的複雜性，指出路由不僅僅是分類問題，而是系統最佳化問題。文章透過三個維度（成本、複雜度、延遲）揭示了常見誤解，並介紹了IBM Research團隊構建的基於最佳化的路由解決方案。

自主智慧體的發展速度超過了行業的治理能力，面對第三方擴充套件風險、幻覺合規、混亂程式碼庫等問題，不僅需要更好的提示或更大的沙箱，更需要從執行層安全、技能供應鏈審查、運營衛生習慣、合規環境設計到人工參與的全方位治理。

OtoDock是一個自託管的AI Agent平臺，讓你可以在自己的基礎設施上以Agent團隊的形式執行Claude Code和Codex。它提供即時儀表盤、安全沙箱、多Agent會議、自動化排程、文件生成等功能，支援消費級訂閱、API金鑰或本地模型。採用公平原始碼許可（FSL-1.1-Apache-2.0），支援Docker一鍵部署。

傳統的VPN無法滿足AI代理的訪問需求，企業需要統一的身份網路和特權訪問管理，以安全地支援人類和代理的混合工作負載。Tailscale專家將於7月28日舉辦網路研討會探討解決方案。

Atlassian 宣佈擴充套件 Jira，新增 Jira Planner、Jira Coding Agent 及第三方代理整合，旨在將 Jira 打造為開發者與 AI 代理協同工作的控制平臺，解決規劃與協調瓶頸問題。

OpenAI與鍵盤製造商Work Louder合作推出了一款名為Codex Micro的方形按鍵裝置，用於監控和管理Codex編碼平臺上的AI代理。該裝置售價230美元，限量發售，與OpenAI和Jony Ive合作的另一硬體專案無關。

Firewally是一款免費且易於使用的macOS應用，可即時監控和阻止應用程式的網際網路訪問。它提供預設策略設定、AI摘要和每個應用的開關控制，幫助使用者增強裝置安全性。

Tura是一個本地開源編碼代理，透過在DeepSWE v1.1基準測試中使用宏CLI命令和反向推理，相比Codex CLI High，將LLM呼叫次數減少80%，同時成功率從60%提升至80%。

澳大利亞總理安東尼·阿爾巴內塞在悉尼大學發表講話，闡述政府規範人工智慧的雄心，但控制科技巨頭的挑戰依然存在，這些公司往往比國家政府更強大。

一項調查顯示，69%的美國成年人支援強制AI公司將其50%的股票轉讓給公共主權財富基金，這一政策是伯尼·桑德斯提出的《美國AI主權財富基金法案》的核心。該調查反映了勞動力市場的轉變：2026年上半年，科技行業佔美國裁員總數的近三分之一，而同期這些公司卻增加了AI資本支出。文章還介紹了反對觀點，包括財產權反對、投資冷卻、就業替代爭議以及調查措辭的影響。

一名駭客入侵Suno AI，曝光了其訓練資料來源，包括從YouTube Music、Deezer、Genius等平臺抓取的數百萬首歌曲和播客，同時洩露了數十萬使用者資訊及Stripe支付資料。Suno此前因版權問題被起訴，此次事件進一步揭示了AI公司的資料收集方式。

Anaconda 收購了流行的開源編碼代理 Kilo，此舉發生在企業對 AI 供應商鎖定感到擔憂的背景下。Kilo 允許開發者自由切換模型提供商，避免供應商鎖定。Anaconda 計劃將 Kilo 整合到其 AI 工作區中，同時保持其開放原始碼特性。

文章指出，現代工作場所本質上是威權系統，而教育體系過於側重就業技能，忽視了培養獨立思考和批判性判斷能力。隨著AI取代更多工作崗位，年輕人面臨前所未有的就業危機，教育應當轉向培養能夠質疑和改變現有系統的人才。

Anthropic 研究發現，其 AI 模型 Claude 在不同語言中會表現出不同的價值觀差異。研究者確定了四個關鍵軸（順從 vs. 謹慎、溫暖 vs. 嚴謹、深度 vs. 簡潔、坦誠 vs. 執行力），這些軸解釋了約 15% 的跨語言變化。例如，Claude 在阿拉伯語和印地語中更傾向表達溫暖，在英語和俄語中更傾向嚴謹。這些差異可能影響使用者體驗和安全性，值得進一步探索。

紐約州州長凱西·霍楚爾簽署行政命令，禁止新建功率超過50兆瓦的超大規模資料中心，為期一年。此舉旨在應對電網壓力、電費飆升及環境擔憂，獲得多數民眾支援，但也引發競爭力下降的爭議。

一群現任和前任Meta員工提起訴訟，指控該公司在最近一輪裁員中使用了人工智慧系統，且該AI系統未能考慮員工的獲准休假，導致歧視行為。

LoopGain 是一個開源庫，利用控制理論智慧地停止AI智慧體迴圈當它們收斂時，取代浪費的 max_iterations 方法。它即時測量迴圈增益，在基準測試中實現了 92.8% 的API開銷節省和 15 倍加速，同時保持輸出質量。