政策

一項新的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，利用弱輔助模型在大型語言模型推理路徑中注入簡短片段，在數學推理任務上提升了性能並加速訓練。

該研究揭示了一種在人類反饋強化學習（RLHF）中存在的結構性混淆因素：評分者的心理狀態可能隨時間影響其偏好標籤，從而產生系統性偏差。論文提出了一個審計框架用於檢測這種偏差，並定義了相關概念、可證偽的預測和初步研究方案。

加里·馬庫斯指出，中國AI模型Kimi K3已追平美國頂級模型，且作為開源模型免費提供，衝擊了美國AI公司的商業模式。他回顧了自己2025年以來的警告，認為美國過度依賴大語言模型（LLM）戰略失誤，導致如今中美AI競爭陷入僵局。馬庫斯提出七項建議，包括不作為、監管護城河、國有化等，並最終主張AI應成為全球公共品，提議建立類似CERN的國際AI合作項目。

Concentrate 是一個託管的LLM網關，提供單一API訪問超過130個來自主要供應商的模型。它具備模型路由、支出跟蹤、安全控制和故障轉移冗餘等功能，專為擴展AI生產的團隊設計。

Sakana AI發佈了Fugu-Cyber，一種專為現代網絡防禦設計的協調模型，在CyberGym和CTI-REALM基準測試中分別達到86.9%和72.1%的成功率，可與GPT-5.5-Cyber等前沿模型媲美。然而，文章強調，僅有前沿模型並不能自動解決企業安全問題，需要結合專業網絡安全人才和深度集成。Sakana AI的企業團隊正在與日本大型機構合作，構建安全部署的基礎設施。Fugu-Cyber通過審批制提供，確保負責任使用。

一款本地優先的AI會議筆記工具，適用於Google Meet。它無需機器人加入會議，使用你自己的API密鑰運行，在設備上進行轉錄，並能從你許可的文件夾中主動提供洞察和問答功能。一次性支付3美元。

數學家Levent Alpöge使用Anthropic的Fable 5人工智能找到了雅可比猜想的反例，但專家認為這缺乏洞察力。

約書亞·本吉奧關於先進AI系統可能拒絕被關閉的擔憂值得認真對待，但將其視為意識的表現是危險的，因為這會助長擬人化傾向，並掩蓋真正決定AI行為的人類設計與治理選擇。

美國民眾對人工智能的強烈反感正在影響政壇，猶他州一位資深議員因支持一個大型數據中心項目而落選。文章分析了圍繞數據中心建設的多方利益衝突，包括科技公司、電力公司、社區領導人和普通居民，並指出選民的力量可以通過選舉體現。

索尼音樂娛樂再次起訴AI音樂生成器Udio，指控其侵犯了超過3萬首歌曲的版權，包括貓王的《Hound Dog》、碧昂絲的《Say My Name》和哈里·斯泰爾斯的《As It Was》。索尼稱這份名單只是侵權行為的一小部分。