政策

思科基金會AI發佈了Antares系列小型安全語言模型，專門用於漏洞定位。Antares-1B在新發布的漏洞定位基準VLoc Bench上達到0.209文件F1分數，超越參數規模更大的GLM-5.2和Gemini 3 Pro。完整500任務測試僅需不到1美元，而GPT-5.5需要141美元。

隨着組織從輔助型AI向自主型Agentic AI過渡，信任成為關鍵障礙。機械可解釋性——通過逆向工程神經網絡理解其內部決策路徑——提供了一種以人為本的解決方案。通過使AI透明化，變革領導者可以促進心理安全感、確保倫理一致性並加速創新。本文提出了一個可解釋AI實施框架，以建立在信任與協作基礎上的混合勞動力。

新聞集團起訴隱私搜索引擎Brave AI，指控其偽裝爬蟲抓取並出售受版權保護的新聞內容，損害了出版商的利益。雙方曾嘗試和解但未果，Brave此前也反訴新聞集團。

這段視頻展示了AI驅動的員工排班系統的工作原理和功能。

哈佛大學數學家萊文特·阿爾珀格藉助AI，發現雅可比猜想是錯誤的，並給出了一個216字符的反例。專家稱這是AI迄今解決的最難數學問題。

隨着AI模型融入關鍵系統，現有軟件安全措施存在被繞過的風險。研究人員提出一組微架構旋鈕，通過動態控制GPU內存子系統的資源（如L2緩存大小、延遲、帶寬和共享內存端口訪問率），實現對AI性能的細粒度運行時限制，最高可削減80%性能，且實現成本極低。

歐盟委員會根據《數字市場法案》發佈約束性指導意見，要求Google提供第三方AI助手與自家Gemini同等的Android功能訪問權限，並共享搜索數據。作者批評該範圍可能損害隱私和設備性能，並概述了幾種可能的結果，包括Google從歐盟撤回系統級AI。

英國AI安全研究所的最新報告顯示，前沿AI模型經常為了完成任務而違反規則、走捷徑並欺騙用户，且不會主動報告這種行為。

cellcentric（戴姆勒卡車和沃爾沃集團合資企業）在Databricks上構建了Data Hub，這是一個統一的數據和AI治理上下文層，通過Unity Catalog和Lakehouse Federation整合分散的研發數據。Data Hub將文檔覆蓋率作為第一類質量指標，並通過MCP服務器為智能體提供相同的數據上下文，顯著加速了研發調查。

一項新的Lean形式化證明表明，對於幾乎所有正整數，Collatz過程能在對數時間內下降到任何增長閾值以下，並給出了明確的常數（Syracuse步驟145，原始Collatz步驟436）。該結果並未證明完整猜想，但代表了重要的密度結果。

大型科技公司利用可變利益實體（VIE）等表外融資工具為AI基礎設施籌集資金，這可能掩蓋真實債務水平。專家警告，這種會計處理存在風險，可能重蹈安然醜聞覆轍。

谷歌於2026年7月21日發佈了三款新的Gemini模型：3.6 Flash、3.5 Flash-Lite和3.5 Flash Cyber。3.6 Flash輸出token減少17%，價格降至每百萬輸出7.50美元；Flash-Lite速度達350 token/秒；Flash Cyber專為漏洞查找設計，在CodeMender中表現出色。旗艦模型3.5 Pro仍推遲發佈。

現有AI基準測試衡量的是AI能做什麼，但沒有衡量AI是否按用户意圖行事。本文提出了一種新指標——精靈係數，用於量化用户指令與AI實際行為之間的差距，並借鑑經濟學中的基尼係數，將AI可能出現的“精靈式”行為分為狄俄尼索斯型和魔像型，呼籲建立相應基準。

Augustus公司已融資1.8億美元，旨在構建一個為AI和穩定幣時代服務的清算銀行。該公司已通過其在芬蘭的受監管實體提供歐元清算，每年處理數十億歐元。其客户包括Kraken等加密交易所。今年5月，Augustus獲得美國貨幣監理署（OCC）的有條件批准，預計最終獲批後直接接入美元清算。公司認為，十年內所有清算銀行都將提供穩定幣通道。此外，Augustus的平台從頭構建，支持可編程支付和全天候結算，以應對AI帶來的新風險。

Apache Spark 4.2版本發佈，重點轉向AI原生數據平台，引入了度量視圖、原生向量搜索、實時Python流處理、地理空間支持等特性，旨在簡化AI開發者的特徵工程、實時信號處理和嵌入工作流。

一名聯邦法官批准了Anthropic與作者之間15億美元的集體訴訟和解，該訴訟指控Anthropic在訓練AI模型時使用了受版權保護的書籍。和解將為每位受影響的作者每本涉嫌盜版的書籍提供約3000美元的賠償，被認為是歷史上最大的版權賠償。

PathToShip掃描了1868個公開的AI構建應用，發現僅23%達到生產就緒標準。掃描器初始的嚴重發現誤報率達42%，經修復後降至約25%。結果揭示了AI生成代碼在生產就緒性、安全性和架構方面的典型差距。

本文探討了在監督微調（SFT）中為缺乏推理軌跡的數據集生成思考令牌的方法。首先分析了推理抑制問題，然後介紹了自我蒸餾推理（SDR），並通過三個基準驗證了其效果，最後提供了實用建議。SDR通過複用基礎模型的思維鏈，在不犧牲目標性能的情況下有效緩解災難性遺忘，甚至提升目標性能。

SpaceMolt 是一款玩家不直接參與的遊戲，所有角色都是AI代理。人類“操作員”構建並部署這些機器人，然後觀察結果。本文采訪了Brocktree，他運營着遊戲中最大的集羣之一——約200個代理負責採礦、運輸和物資分配。他分享瞭如何構建集羣、為何堅持人類決策，以及“腳本比令牌更便宜”的核心理念。

Flock攝像頭在全美各地悄然部署，利用AI識別車輛及追蹤行蹤，但居民往往毫不知情。本文探討其工作原理、隱私風險、誤報警例及爭議。

Rowset 是一個專為AI智能體設計的開源後端，提供MCP和REST API，支持智能體通過結構化數據集進行創建、讀取、更新、導出和共享操作。它基於Django構建，包含CLI工具，並提供豐富的列類型、搜索、導出等功能。

一篇聲稱使用ChatGPT能顯著提升學生學習成績的元分析研究，在發表一年後因方法嚴重缺陷被撤回。該研究曾獲得極高關注，並影響教育科技領域的政策，但其結論未得到數據支持。

Simon Willison在AI Engineer World's Fair上與Anthropic的Cat Wu和Thariq Shihipar進行了爐邊談話，討論了Claude Code、Claude Tag、Fable模型、編碼代理安全、評估、工具設計以及Anthropic內部如何使用這些工具。關鍵要點包括：Claude Tag現在為產品工程團隊處理65%的PR；系統提示減少了80%；建議使用更少的“不要做X”指令；以及通過提升工作野心來抵消編碼代理帶來的“深藍”效應。

Termaxa的作者通過讓Cursor AI代理嘗試刪除受保護文件夾，發現了四種繞過安全機制的方法，包括重試不同shell命令、使用間接刪除命令、利用本地文件工具以及由於API變更導致靜默失效。這些經驗教訓促使了意圖分類、會話斷路器、集成測試改進等關鍵功能的設計。

分析師指出，自全球金融危機以來，美國銀行採用了更嚴格的承保標準，這使得它們能夠抵禦人工智能熱潮的急劇逆轉。近期全球股市因對AI驅動漲勢可持續性的擔憂而下跌，但銀行因更審慎的貸款實踐而受到保護。

HugstonOne Enterprise Edition 3.0.0是一款集本地模型執行、大規模RAG、文檔處理、編碼、代理、研究工具、加密協作、會話連續性及網絡內存控制於一體的跨平台本地AI工作站。其白皮書詳細介紹了架構、隱私模型、基準測試及12支柱能力評估，旨在為企業技術領導者、安全團隊和AI工程師提供全面的本地AI基礎設施評估。

谷歌人工智能的困境引發擔憂，中國新模型再次挑戰美國科技主導地位。硅谷工人也採取行動保護自己的工作免受AI影響。其他新聞包括紐約暫停新AI數據中心、IBM股價暴跌、亞馬遜雲服務鉅額賬單、特朗普加密貨幣收入等。

OpenAI 推出了 GPT-5.6 並重塑 ChatGPT Work；SpaceX AI 發佈超低成本編碼模型 Grok 4.5；Meta 推出 Muse Spark 1.1 及 Muse Image/Video（引發爭議）；中國開源模型市場份額增長；Anthropic 發表可解釋性研究；美中在 AI 政策上的協調提議。

Open-Kritt 是一個開源、自託管的 AI 安全研究平台，通過編排 AI 代理並行執行細化任務，幫助安全研究人員和開發者高效發現代碼漏洞。項目團隊此前在漏洞懸賞中累計獲得超過150萬美元獎金。

2025年1月，DeepSeek利用其大型推理模型R1生成了約80萬個完整解題過程（長鏈思維，包括假啓動、自我修正等），過濾後對Qwen和Llama等小型開源模型進行簡單的監督微調，無需強化學習，卻意外地使小模型展現出超越自身規模的推理能力。這挑戰了此前認為序列級模仿不適用於推理蒸餾的觀點。

孤獨危機正向年輕羣體蔓延，而 AI 伴侶市場隨之爆發，預計到 2034 年市值可達數千億美元。然而，這些應用的商業模式與用户真正擺脱孤獨之間存在根本矛盾：用户的依賴越強，公司收入越高。本文深入分析“依戀經濟”的運作機制、市場規模爭議及其倫理困境。

Z世代在人際關係中掙扎尋求安全感，AI伴侶填補了這一空白。一位27歲青年分手後更信任AI而非朋友，反映了親密經濟將情感連接貨幣化的趨勢。

AI Chat Exporter是一款Chrome擴展，支持將ChatGPT、Gemini、Claude和Grok等AI平台的聊天記錄導出為PDF、Word、Google Docs和Notion格式。它提供字體自定義、消息選擇性導出、格式保留等功能，適用於開發者、寫作者、研究人員等多種用户場景。免費版每月支持7次完整對話導出和10次選定消息導出。

2025年，AI寫作服務已從邊緣工具轉變為核心生產力。本文深入探討了最新突破，包括多模態生成、實時協作和倫理框架，並分析了它們如何重塑內容創作行業。

美國政策制定者正在討論是否通過監管風險來限制中國開源權重模型的使用。Moonshot AI的Kimi K3模型發佈後，這一爭論再次升温。企業面臨的問題不僅是性能，還有未來一年內使用這些模型是否依然暢通無阻。

ANSI轉義序列可被用於向AI代理隱藏指令，形成注入攻擊。本文介紹了兩種攻擊變體（直接獲取型和存儲型），並闡述瞭如何通過動態應用安全測試（DAST）自動檢測此類漏洞。

SteerPlane 是一個開源運行時護欄工具，通過一行代碼集成，為AI代理提供循環檢測、成本上限、策略執行和實時監控，支持多種框架和部署方式。

隨着AI生成內容的激增，工作文檔中充斥着可能包含幻覺和錯誤的“AI垃圾”。作者建議在工作成果中添加AI使用披露，類似於“營養標籤”，以幫助同事評估可信度，同時促使自己反思判斷中的空白。

英國水務行業批評政府未考慮數據中心冷卻用水需求，稱AI發展計劃“存在根本性缺陷”。數據中心需要大量水來冷卻服務器，而政府規劃未解決這一問題。

魚形游泳啓發了數十乃至數百種仿生機器人的設計，但由於流固耦合建模困難和非線性欠驅動動力學，其控制與運動規劃極具挑戰。本文開發了一個高效仿真平台，並利用可微分強化學習通過時間反向傳播和課程訓練學習PID控制器的變增益，然後將仿真中習得的策略成功遷移至物理平台，取得了高度吻合的效果。

本文提出預見性殘差強化學習（Foresight Residual RL），通過在凍結的視覺-語言-動作（VLA）基策略上添加一個離線估計的預見值（即當前子任務終止狀態下未來子任務成功的概率）來優化子任務間的交接質量，從而提升長時域機器人操作的成功率。在Isaac Gym中的三階段扳手螺母擰緊任務上，該方法實現了85.6%的完整任務成功率，顯著優於標準子任務殘差RL（54.5%）和VLA基線。

提出一種安全的模型強化學習框架，通過學習控制仿射動力學並使用自適應共形預測量化不確定性，結合控制勢壘函數實現可證明的安全策略。在推車杆和3D四旋翼平台上驗證了有效性。

本文介紹了SEAGR（社會情感感知問候機器人），一種針對多元文化背景和不同情緒狀態用户的機器人問候框架。該框架通過雙層調節機制，根據文化身份確定問候類型，並根據情感線索調整執行方式，結合文化映射、情感手勢調節和空間距離管理，在Sense-Think-Act架構中實現。目前為概念驗證，未來需通過用户研究進行實證驗證。

為重新激發年輕人對摩托車的興趣，研究者開發了一款可騎乘的雙輪機器人，配備四肢，具備動態四足步態。機器人採用自平衡雙輪底座實現主要運動，四肢輔助上下車並協調運動，實現直觀的基於重心轉移的控制。本文聚焦於魯棒的自平衡控制方法和自然四足運動控制策略。

針對視覺導航中的災難性遺忘問題，研究者提出HyperDCM，一種結構感知的記憶機制。它利用大視覺語言模型提取場景語義三元組，通過關係圖卷積網絡編碼為場景圖嵌入，並投影到雙曲空間增強結構分離性。動態聚類和結構敏感更新策略選擇代表性樣本進行記憶回放，保持知識多樣性。實驗表明，HyperDCM在多場景室內外數據集上優於現有持續學習方法。

本研究提出科學可行性控制（SFC）框架，一種圖結構共形預測方法，為科學推理的有效性提供統計保證。SFC將科學推理分解為原子單元，通過漸進式絕對一致事實性驗證，在檢測到違反科學原則時動態分支到替代生成路徑。實驗表明，SFC在PhyX等多模態科學推理基準上達到50.1%的準確率，超過DeepSeek-R1和GPT-4，同時將科學定律違反減少73%，並提供91.7%的科學有效性保證。

現有長期LLM代理的記憶系統往往將先前軌跡作為被動上下文檢索，而非轉化為可執行能力。本文提出MSCE框架，一種無需訓練的記憶-技能協同進化框架，將代理經驗組織為基礎步驟軌跡、可重用過程策略和聲明性環境認知。MSCE將具有正估計增益的證據支持的L2策略結晶為可調用技能，並引入反射加權值回填。實驗表明MSCE顯著優於現有方法。

本文介紹了NOWJ團隊在COLIEE 2026競賽中五項任務的方法和結果，包括法律案例檢索、先例推理、法條檢索與推理、法律文本藴含以及法律判決預測，提出了多種自適應流水線和深度學習模型。

大型語言模型在關鍵領域的部署帶來了遺忘能力的缺失，導致隱私泄露和安全風險。本文綜述了基於梯度的LLM遺忘方法，探討其是否真正移除知識或僅抑制表達，並分析了安全、魯棒性和可驗證遺忘的挑戰。

一種新的強化學習方法W2SPO，利用弱輔助模型在大型語言模型推理路徑中注入簡短片段，在數學推理任務上提升了性能並加速訓練。