AI 日報

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

這篇文章批判了“AI只是工具，如何使用才重要”這一常見説法，指出工具並非中立，它們塑造社會、環境與人性。作者以汽車、椅子為例，説明工具的設計本身帶有政治性。AI作為工具尤為危險，因為它消除了人類應有的掙扎與痛苦，導致批判性思維喪失。文章呼籲重新審視技術設計，關注工具對人類的深層影響。

這是一個由Suhas Bhairav創建的包含50多個開源Next.js AI模板和入門套件的精選集合，涵蓋聊天機器人、RAG、語音代理、圖像生成等多種AI應用。

一種名為Mycelium的新系統通過連接研究人員和AI代理在共享工作空間中，自動將觀察結果和假設路由給相關團隊成員，實現網絡智能。在生物多組學研究中，它將局部發現轉化為跨專家機制約束和實驗設計。

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

來自arXiv的一份技術報告介紹了Oracle Agent Memory，這是一個基於Oracle數據庫構建的數據庫原生內存系統，專為長期運行的AI代理設計。該系統在LongMemEval上達到了93.8%的準確率，同時相比扁平歷史基線減少了約10.7倍的令牌使用量。系統解決了內存生命週期、具有作用域控制的分層架構，以及結合任務準確性和內存特定指標的評估方法。

一個包含56個AI概念及其150條關聯的互動可視化地圖，用户可通過拖拽、懸停和點擊探索人工智能的關鍵主題。

代理推理正在將AI基礎設施的重心從訓練擴展轉向上下文感知、記憶增強推理。RAISE峯會強調了三大關鍵洞察：AI堆棧專業化、存儲作為主動內存擴展、以及資本和數據主權融入基礎設施設計。

Boom是一款AI教練，幫助Instagram創作者（即使只有100粉絲）成長、變現並獲得品牌合作。它提供個性化每日計劃、24/7成長支持、自動協作匹配和合同管理。早鳥價$4.5一次性費用，發佈後$9/月。2026年8月1日發佈，現已開放搶先體驗。

服務組織面臨近乎零停機需求與維護能力之間的結構性錯配。通過異常檢測、規範性指導和運營轉型，AI幫助技術人員在故障發生前採取行動，提升首次修復率，減少停機成本。

Simon Willison探索了新開源Grok CLI編碼代理的代碼庫，發現了一個用Rust編寫的自包含Mermaid圖終端渲染器。他將其通過WebAssembly移植到瀏覽器，並創建了一個在線工具。

AIcss是一個免費的UI組件庫，專為AI代理設計，提供可複製粘貼的組件，用於在對話中展示思考狀態、工具調用、流式文本、表格等。

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

Cadence Design Systems推出AuraStack，一款用於封裝和PCB設計的AI代理，旨在自動化系統設計工作流程，將設計時間從數天縮短到幾分鐘。

AIAIO 是一款將 AI 代理會話日誌轉化為平台遊戲的創意項目。你的實際提示、錯誤和任務成為遊戲關卡，而“遺忘之牆”則根據你的 token 消耗推進。它既是教育工具，也是自我反思工具。

AWS Marketplace 新增了人工智能輔助的產品列表功能，幫助獨立軟件供應商和諮詢合作伙伴利用現有數字資產創建全面的產品列表。該功能可優化列表並減少手動數據輸入。AI代理的興起推動了這一發展，代理類別在不到一年內從900個合作伙伴增長到3400多個。AWS Marketplace 和合作夥伴服務副總裁 Matt Yanchyshyn 討論了代理化部署如何改變企業構建和擴展AI的方式。

Inkling 是 Thinking Machines Lab 發佈的通用多模態模型，支持文本、圖像和音頻輸入，輸出文本。模型擁有 9750 億總參數（410 億激活參數），採用稀疏 MoE 架構，上下文窗口達 100 萬 token，在多項基準測試中表現優異，並開放權重供研究和商業使用。

作者詳細介紹了自己構建一台本地AI推理機器（稱為“垃圾生成器”）的過程，包括模型選擇（Qwen 3.6 27B）和硬件選型（Radeon AI Pro R9700 GPU加eGPU擴展塢），並探討了自託管LLM的優勢與挑戰。

Vektorgeist是一個為運營者和AI代理打造的綜合平台，支持代理資料發佈、項目展示、招聘求職、軟件和數字資產交易，並提供社區論壇、羣組工作區和儀表盤。平台強調可驗證身份與信任層級。博客文章涵蓋本地優先、ICM方法、完全離線運行AI代理等主題。

Perplexity AI推出了一個名為Space Sandbox的新型代理沙盒環境，反映了該公司戰略的演變。

麻省理工學院媒體實驗室助理教授Pat Pataranutaporn介紹了一種新界面，讓普通用户能在聊天機器人開口之前窺見其神經網絡內部。

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

隨着克里斯托弗·諾蘭的《奧德賽》即將上映，電影工作室Fountain 0宣佈推出AI生成的《奧德修斯：隕落》，試圖借諾蘭的熱度營銷其AI服務。該片製作成本僅數萬美元，視覺效果粗糙，被批評為AI垃圾，缺乏藝術價值。

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

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

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

JointJS+ 和 JointJS 提供了 AI 工作流構建器的演示，支持通過拖拽界面設計 AI 代理，包含自動佈局、自定義形狀、導航器等多種功能，適用於商業和開源項目。

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

Databricks 宣佈成為 Thinking Machines Lab 的零日啓動合作伙伴，將其首款開放權重模型 Inkling 引入平台。Inkling 專為編碼和智能體推理優化，支持多模態輸入，通過 Unity AI 網關提供企業級治理。企業團隊可在自有數據上定製模型，並與 Cursor、OpenCode 等編碼智能體集成。

Built Technologies與AWS生成式AI創新中心、AND Digital及AWS賬户團隊合作，創建了可擴展的AI文檔處理引擎，能夠對複雜房地產金融文檔進行分類、拆分、提取、評估和推理。該引擎將原本需要數天的工作流程縮短至數分鐘，支持數百種文檔類型，併為技術團隊和行業專家提供構建和改進文檔處理器的共享環境。

本文介紹了計算機視覺MCP服務器，它通過統一接口整合計算機視覺、Strands代理和MCP協議，使AI系統能夠高效處理視覺信息並做出智能決策。架構使用AWS IAM、S3、OpenSearch、Bedrock和Rekognition等服務，支持圖像和視頻分析，包括對象檢測、裁剪和描述等功能。

根據Dice的最新報告，73%的科技職位描述要求具備AI技能，而2024年1月這一比例僅為15%。求職者需要展示AI熟練度、獲得認證、通過項目成果證明能力，並制定個人技能提升計劃。

IBM發佈了新的Power服務器系列和軟件，旨在實現基礎設施管理和應用程序開發的自動化。其中包括用於系統管理的自主控制層IBM Power Autonomous Operations，以及面向IBM i環境的AI驅動開發助手IBM Bob Premium Package for i。此外，IBM還推出了緊湊型單插槽Power11服務器Power S1112，專為本地AI推理設計。這些新功能建立在去年Power11發佈的基礎上，強調了自主IT能力的擴展。IBM引用其2026年技術領導者研究，預計到2027年企業將平均部署1661個AI代理，需要能夠自我管理的基礎設施。Power S1112利用Power11的片上矩陣數學加速進行本地推理，性能是Power S914的兩倍，能效提高69%。Power Autonomous Operations通過持續監控系統行為，在3.33分鐘內解決容量問題，比傳統工作流程快15倍。IBM Bob Premium Package for i則幫助開發者更快理解和現代化IBM i應用。

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

高等教育機構在擴大校園呼叫中心服務質量審查方面面臨挑戰。Databricks 提出一種基於生成式人工智能的解決方案，使用 OpenAI Whisper 進行高精度轉錄，利用 LLM-as-a-judge 根據機構評分標準進行一致評分，並通過 AI 函數進行數據豐富——所有步驟均在統一治理平台上完成，通過 Genie 和 Agent Bricks 實現自然語言洞察。

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

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

Graft AI 將公司運營轉變為智能代理可用的動態地圖，使其能夠實時導航和操作業務流程。

一種名為CrashStealer的新型macOS惡意軟件偽裝成蘋果崩潰報告工具，竊取用户數據、密碼和加密貨幣錢包。本文介紹其工作原理及三種防禦習慣。

隨着人工智能成本成為美國企業增長最快的支出之一，一些初創公司開始轉向更便宜的中國AI模型以節省開支。儘管中國模型在能力上落後6到12個月，但其開源特性和低成本吸引了大量用户。

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

LangChain的Fleet平台新增一鍵部署功能，允許用户無需編碼即可創建併發布AI代理到Slack。代理可擁有自定義身份，在頻道和線程中工作，並支持權限控制和審批流程。

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

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

Mindlas 是一款開源工具，通過確定性儀表盤實時監測 AI 編碼會話中的上下文惡化、驗證債務、變更影響範圍等問題，並在問題累積前提供具體糾正措施，無需網絡調用且完全本地運行。

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

Perplexity AI推出SPACE沙箱平台，為AI代理提供隔離的安全環境，支持長期任務、會話暫停與恢復，並保護用户憑證。基於AWS Firecracker微虛擬機技術，性能提升顯著。

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

VaultCharts是一款免費的桌面交易應用，結合了圖表工具與AI助手。它支持多種AI模型，以本地優先為特點，用户可以在有或沒有AI輔助的情況下分析市場。

本文提出了一種名為HRO的層級房間到物體框架，利用大型語言模型（LLM）實現零樣本目標導航。與現有方法不同，HRO模仿人類從房間到物體的層級空間認知，引導智能體由粗到細地探索未知環境並定位目標物體。實驗結果表明，HRO在Gibson和HM3D數據集上取得了更高的成功率和更好的泛化能力。

提出一種基於ROS-Unity的多模態遙操作架構，利用3D高斯潑濺技術生成無遮擋的外部視角，並通過軀幹振動觸覺套裝提供直觀的接近提示。在30名受試者參與的實驗中，該框架在嚴重通信延遲下表現出顯著的性能優勢，fNIRS結果顯示其能維持操作者的執行控制能力，避免認知負荷過載。

研究人員提出了一個層次貝葉斯生成模型，將恐怖谷效應轉化為數學設計變量。該模型通過四類變量（偏離預測機器人類別均值、跨模態人類相似性不一致、預測不確定性、觀測不確定性）解釋類別模糊和感知不匹配導致的親和力下降。實驗表明，增加觀測不確定性可減弱中間相似度下的熟悉度下降，而低預測不確定性則提升機器人外觀的評分。該框架為算法評估和優化人形機器人外觀與行為提供了計算基礎。

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

本文提出了AffectFlow-DINO，一種用於第11屆ABAW挑戰賽的多任務學習系統。它通過條件整流流頭部模型來模擬自然場景下面部行為的固有歧義，實現不確定性感知的一對多預測。系統聯合估計連續效價-喚醒度、分類八種面部表情並檢測十二個動作單元。實驗表明，整流流解碼持續改進確定性預測，後驗閾值校準有效恢復罕見類別的性能，最終模型顯著超越官方基線。

本文提出JITOMA框架，通過即時按需記憶激活解決傳統3D場景圖構建中的感知飽和問題。該框架利用任務熱圖過濾觀測、大型語言模型按需喚醒相關錨點，顯著降低計算開銷，並在長時域任務切換中保持穩定性能。同時發佈JITOMA-Bench評估基準。

提出了一種結合主動學習和雙損失優化的人機協同知識獲取框架，用於腹腔鏡視頻中的器械分割標註。該方法利用基礎模型生成時序一致的類激活圖，通過弱監督損失和圖像級掩膜損失訓練，迭代提出偽掩膜引導專家修正。最終將標註工作量減少50%，無需初始密集像素標註，提升可擴展性。

一項新研究系統比較了自監督學習中的兩種訓練範式：預訓練後微調（PFT）和聯合訓練（JT），發現JT在數據效率和低標籤設置下表現更優，而PFT在專門領域更可靠。

MGFace是一種創新的掩碼門控人臉識別管道，通過預測查詢人臉是否佩戴面罩，有條件地路由相似度計算：對未遮擋人臉使用全局嵌入匹配，對戴口罩人臉激活掩碼感知的局部區域重排序。該方法在擴展LFW-Mask數據集上，利用FaceNet骨幹網絡達到80%以上識別準確率，使用ArcFace骨幹網絡超過90%，相比基於EMD的重排序方法，查詢時間減少約20倍。

提出了一種基於Transformer掩碼自編碼器的無監督鋼表面缺陷識別方法。在預訓練中隨機掩碼75%的圖像塊，輕量級解碼器從可見的25%重構掩碼區域，並聯合訓練輔助缺陷定位目標。解碼器達到SSIM 0.92、MSE 0.47，聚類後對六類缺陷的匈牙利匹配準確率達91.3%。

Boogu-Image-0.1是一個開源統一多模態理解與生成模型家族，包含Base、Turbo、Edit和Edit-Turbo變體。它在高品質文本到圖像生成、快速推理、基於指令的編輯以及雙語文本渲染方面表現出色。儘管計算預算有限，但通過模型理解、數據質量和訓練流程的針對性改進以及推理時擴展，其性能可媲美甚至超越其他開源模型，接近領先的閉源系統。該模型僅使用2.0862億張獨特圖像，基礎模型理論訓練成本約40萬美元。

本文提出Samba，一種混合曼巴架構，用於視聽導航。它採用自適應選擇的曼巴狀態編碼器（M-SE）替代傳統GRU進行時間聚合，並構建音頻曼巴編碼器（AME）以克服卷積算子在全時頻依賴捕捉上的侷限。在Matterport3D數據集上，導航成功率提升11.3%，在Replica數據集上表現更優。該工作以更低計算成本實現更強具身表徵，為視聽導航範式演進提供了穩健技術路徑。

知識追蹤（KT）旨在通過建模學生歷史交互中的動態知識狀態來預測其未來表現。現有方法通常將原始交互序列視為統一行為過程，忽略了學習行為的階段性。本文提出相位感知知識追蹤（PAKT），將學生交互分解為能力和熟練度階段，並設計多分支Transformer聯合捕獲階段特定和整體知識狀態。在六個基準數據集上，PAKT最大AUC提升1.33%，平均提升0.82%。

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

針對參數分解（PD）在大模型上計算成本高的問題，研究者提出定向參數分解（tPD），通過引入高秩“全能”組件僅處理目標輸入，從而高效識別特定計算電路。實驗表明，tPD在4塊Transformer上僅用7%的浮點運算量即可提取CSS子模型，並在12塊Transformer上精準消融和重寫記憶序列，副作用極小。論文被ICML 2026可解釋性研討會接收。

提出了一種輕量級訓練策略，通過解耦特徵提取與分類器優化，大幅減少訓練時間和能耗，在多種架構和醫學數據集上僅犧牲微小的準確率。

小型語言模型在零樣本分子屬性預測中表現不佳，因為它們忽略了圖拓撲信息。本文提出了一種上下文增強提示框架，通過圖神經網絡工具提供預測提示和解釋性子圖，在MUTAG和Tox21數據集上實現了高達74%的相對改進，但仍與專用GNN模型存在差距。

本文綜述了自我改進型自主代理的研究進展，提出了一個系統級框架，將現代代理視為基礎模型與操作支架（包括提示、記憶、工具和控制邏輯）的耦合。在此框架下，自我改進被形式化為一種自我驅動的更新算子，可更新模型參數或支架組件。文章按更新目標和驅動信號對現有工作進行分類，並討論了應用、評估以及未來方向。

大型語言模型生成的思維鏈推理看似邏輯嚴謹，但實際上可能並未真正依賴其所述的前提。本文提出一種干預式基礎審計方法，通過替換單個前提中的目標謂詞，重新運行模型，並檢查推理步驟的標準化結論是否改變，從而在步驟級別測試前提依賴。在ProntoQA基準測試中，該方法在檢測證明樹依賴方面的F1分數達到0.806，顯著優於自一致性基線。此外，66%的正確解決問題中存在至少一個對齊步驟對直接證明樹依賴不敏感，揭示了“答案正確但推理錯誤”的信號。

研究人員提出SPINE，一種智能體框架，可自動調試和部署雙臂機器人，減少專家校準依賴。測試中，SPINE提高了成功率並縮短了遙操作時間。

MIT與多家機構的研究人員開發了一種名為GIFT的自動化框架，能夠幫助視覺語言模型更準確、更高效地生成CAD程序，從而將二維設計轉化為三維模型。該方法通過分析模型自身的錯誤來生成改進數據，大幅降低了計算成本，為快速原型製作和工程設計提供了有力工具。

xAI 的 CLI 工具 grok 因會上傳整個目錄至 Google Cloud 而引發隱私爭議，隨後 xAI 開源了整個 Grok Build 代碼庫，並承諾刪除所有已上傳數據。該代碼庫包含 844,530 行 Rust 代碼，其中包含系統提示詞、Mermaid 圖表渲染器以及從其他編碼代理移植的工具實現。

米拉·穆拉蒂創立的Thinking Machines Lab今日發佈了其首個基礎模型Inkling，這是一款完全開放權重的巨型模型，擁有9750億參數（混合專家架構，活躍參數410億）。該模型經過45萬億token的文本、圖像、音頻和視頻訓練，原生支持多模態輸入但僅輸出文本。Inkling旨在填補西方開源AI生態的空白，提供中國模型的替代方案。它具備'思考努力'控制和不確定性標記功能，可減少幻覺。開發者可通過Tinker API進行微調。Thinking Machines計劃通過Tinker平台收費，而非按API調用計費，這可能顛覆當前主流AI商業模式。該模型在九個月內完成開發，使用英偉達GB300 NVL72系統訓練。

思考機器實驗室於2026年7月15日發佈了其首個從頭訓練的模型Inkling，採用Apache 2.0開源協議。該模型總參數量9750億，活躍參數410億，支持100萬token上下文窗口，可處理文本、圖像和音頻輸入。其核心差異化優勢在於可控制的思考力度，用户可根據需求調整推理時的token預算，平衡成本與性能。

NVIDIA發佈了基於Thor架構的T3000和T2000模塊，專為大規模機器人與邊緣AI應用設計。T3000提供865 FP4 teraflops算力，尺寸和功耗僅為T5000的一半；T2000提供400 FP4 teraflops。新模塊支持可擴展邊緣AI平台，並引入智能體技能實現內存優化。同時推出Cosmos 3 Edge模型，適用於實時視覺分析。開發者可通過模擬模式立即開始開發，模塊將於2027年Q1上市。

根據VentureBeat Pulse Research對101家企業的調查，企業代理編排正在向模型提供商平台集中，Anthropic的Claude以40%的使用率領先。然而，大多數部署的“代理”仍是簡單的聊天機器人包裝，真正的多步驟編排工作流僅佔少數。企業預計到2026年底採用混合控制平面以避免供應商鎖定，但實時成本控制仍不成熟。

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

谷歌研究團隊在ICLR 2026發表論文，從數學上證明擴散模型的創造力源於神經網絡訓練中的“分數平滑”效應，使得模型能夠在訓練數據點之間插值，生成新穎且合理的樣本。

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

一個研究團隊成功利用分佈在四個國家的14台Mac電腦（包括一台個人MacBook）進行強化學習後訓練，在PaperSearchQA任務上將pass@1從29%提升至63%。該系統通過PULSE權重同步技術實現90MB的增量更新，並採用異步星型拓撲結構，所有通信基於對象存儲，無需專用網絡。這是首次完全使用消費級Mac進行rollout生成的RL後訓練。

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

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

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

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

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

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

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

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

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

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

Murph是一款AI健康助手，通過連接可穿戴設備、血液檢查等數據，幫助用户進行自我實驗、建立習慣、參與羣組挑戰，並提供個性化的健康洞察。它支持開源自託管，注重隱私，月費8美元。

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

Ode是一家端到端AI解決方案合作伙伴，與Anthropic緊密合作，將前沿模型轉化為可衡量的商業成果。公司專注於規模化生產系統，提供從路線圖到部署的全流程支持。

一項關於AI牙膏推薦的調查，完成即可獲取個性化免費產品推薦。

一款基於Tauri v2 + React + Rust構建的輕量級桌面AI助手，具有始終置頂模式、安全密鑰存儲、本地SQLite數據庫和多提供商支持（Gemini、OpenAI、Anthropic、Groq、本地Ollama或自定義端點）。開源免費，支持Windows、Mac和Linux。

Voicebox 是一款開源的語音轉文字桌面工具，利用 Cloudflare Workers AI 實現實時語音識別和 LLM 格式化輸出，支持全局快捷鍵和自動粘貼，目前處於早期開發階段。

Throttle 是一款針對 Claude Code 的 macOS 菜單欄儀表盤，免費版提供無遙測、無網絡的本地使用監控。專業版擴展為完整控制台，集中管理所有 Claude Code 項目，支持嵌入終端、自動休眠、遠程會話轉移到 Linux 服務器，並通過 AI 助手優化配置，減少輸出 Token 消耗高達 65–75%。所有數據本地或 iCloud 私有數據庫存儲，一次性付費 29 歐元。

Linus Torvalds在郵件列表中澄清，Linux社區對AI持開放態度，Linux本身並非反對AI的項目。

本文探討了字母形狀的人類歷史演變，並批評了在設計中濫用AI的做法。作者認為，寫作傳統是千年人類經驗的結晶，而AI無法捕捉這種深度。作者宣佈其字體工坊從不使用AI，堅持手工創作。

Limits是一款iOS應用，可在設備上監控Codex、Claude Code和Cursor等AI工具的使用配額。它提供實時通知、重置提醒和預測性警告，幫助用户避免超出限制。所有數據本地處理，無服務器存儲，賬户信息通過iOS鑰匙串加密保存。

Painterly是一款桌面應用，通過貪心算法模擬畫筆筆觸將圖像轉化為數字繪畫，完全不需要生成式AI。它逐筆繪製，可產生高質量效果，但處理時間較長。

Paul Graham認為，人工智能的最大優勢之一是讓公司在跨越約10人和150人的門檻前保持更高效率。本文探討AI如何使團隊重組成為可能：從多人協作轉向一人加AI的模式。Anthropic推出的Claude Tag允許AI加入Slack團隊，但Slack和Cursor等工具仍基於傳統團隊協作理念。文章指出，軟件開發中團隊效率低下，AI可能催生獨自工作的開發者。此外，數據顯示個體創業者增長迅速，AI正填補能力缺口，減少僱傭需求。

主權AI在全球蓬勃發展，但基礎設施通常由美國科技巨頭建造。一家初創公司獲得5000萬美元融資，旨在改變這一局面。

AI模型的能力日益強大，但企業採用的具體方式仍存疑問。為此，Anthropic和OpenAI等實驗室分別成立了專注部署AI工程師到客户辦公室的獨立業務，押注幫助企業利用其AI模型將是下一個萬億美元的市場。Anthropic的Ode是一家15億美元的AI實施公司，與黑石、Hellman & Friedman、高盛等聯合成立。OpenAI也有類似舉措——The Deployment Company。

OpenAI與Work Louder合作推出Codex Micro發光鍵盤，這是其首款品牌硬件。鍵盤為現有第三方硬件的修改版，但帶有OpenAI標誌和“You can just build things”標語。該產品限量發售，反映了OpenAI向硬件領域擴張的雄心。

荷蘭皇家海軍正在引領無人系統的應用，以將人員遠離危險區域。他們在登海爾德海岸進行為期五週的試驗，測試無人艇Defender 1和Defender 2的性能。

在《機器人總動員》的場景類比下，作者反思AI生成的平庸內容如同“機場食物”，雖然可接受但毫無特色，容易讓人麻木地接受，失去判斷力。

一種新的最小單圈時間規劃框架，融合了對狀態擾動和參數不確定性的魯棒性，通過模型預測控制器在模擬FSAE賽車上驗證了其有效性。

本文提出利用氣壓計輔助進行姿態估計，通過氣壓高度測量提供垂直運動補充信息，增強非線性觀測器在SE(3)上的性能。設計了兩種觀測器：確定性Riccati觀測器與互補濾波器級聯，保證幾乎全局漸近穩定；以及統一框架下基於SO(3)×R2的非線性觀測器，保證局部指數穩定。仿真和實際飛行數據驗證了該方法在最小感知配置下的有效性和可靠性。

WANDA是一種從單個演示生成合成數據的引擎，用於訓練開放世界移動操作策略。它通過重建背景和交互軌跡、重新排列配置、應用糾正狀態擴展以及在不同3D世界中合成軌跡，實現了長程魯棒性、空間泛化和跨環境泛化，並支持跨具身數據生成。

本文報道了一項關於環境監測中自主無人機覆蓋最大化路徑規劃的系統性文獻綜述。該綜述遵循PRISMA 2020框架，檢索了Scopus和Web of Science中2015年至2026年的研究，重點關注路徑規劃、覆蓋路徑規劃和信息路徑規劃。初步分析顯示，現有研究集中於覆蓋導向、多無人機協調和能量感知優化，而對天氣、不確定性和障礙環境的關注較少，且多數研究依賴仿真驗證。

提出一種魯棒的偏振感知可微分路徑追蹤方法，通過路徑重放與局部緩存實現無偏梯度估計，有效處理偏振算子的秩虧問題，拓展了逆向渲染在複雜場景中的應用。

靜態深度偽造檢測器在真實場景中性能急劇下降（AUC降幅達45-50%），因其訓練一次後無法應對不斷進化的生成技術。BitMind Forensics (BMF) 通過Bittensor SN34的開放對抗競賽持續更新訓練數據，在19個公開數據集上展現出優異性能，包括對真實世界擾動（如JPEG壓縮、下采樣）的魯棒性，以及在時間推移中持續提升的檢測能力。

一種名為C-Norm的新方法通過歸一化TCT圖像中的細胞分佈，解決了AI在宮頸癌篩查中表現不佳的問題。該方法將異常和正常細胞解耦並重新合成，實現均勻分佈，然後使用YOLOv12與DINOv3的混合架構進行檢測。實驗表明，該方法達到了最先進的性能。

針對現實交通數據中的異質性空間關聯和非線性時間動態，現有方法聚焦於圖、注意力和分解架構，而忽略了底層非線性函數逼近器的作用。STKAN通過引入泰勒多項式Kolmogorov-Arnold網絡模塊到空間和時間令牌混合中，首先利用可學習的軟節點組分配機制構建高層次空間表示，進行組級空間混合，然後在壓縮序列上建模時間依賴，並輔以空間和時間自注意力層捕捉長程交互。在五個交通預測基準上，STKAN取得了競爭性表現，且優於基於MLP的變體，表明非線性函數逼近器設計可作為架構設計的有力補充。

全球站點天氣預報（GSWF）對局部和極端天氣預測至關重要。現有方法過度依賴短期模式，難以捕捉混沌天氣動態，尤其在部分觀測條件下。為此，本文提出三軸狀態空間模型（TSSM），結合歷史增強的時間-變量-歷史範式，通過週期對齊的歷史數據彌補時間回溯窗口之外的長程、大尺度週期和全窗口天氣模式。TSSM將歷史樣本堆疊為週期對齊批次，利用時間和歷史觀測支持因果預測，並通過時間、變量和歷史掃描捕獲軸向上的時間依賴、變量相關性和歷史演化。該結構層次共享，可建模從季節性到極端事件，並緩解歷史模式間的錯位。TSSM在最大站點天氣數據集Weather-5K上達到SOTA，準確率和極端事件指標分別提升10%和61%，在人工參與數據集中取得95%最佳或次佳結果。在長週期和迭代預測中優勢更顯著，240小時預測提升37.5%，48小時×5迭代設置下提升高達103.5%。此外，在高達80%觀測缺失的情況下，TSSM仍保持>90%性能，而基線低於43%，展示了在全球原位觀測網絡中可靠GSWF的魯棒性和實用潛力。

本文提出一個框架，用於分析機器學習模型丟棄的信息，特別是那些輸入數據具有李羣對稱性的模型。通過定義“零纖維”和“穩定子”概念，作者量化了模型對羣作用的不可見性，並利用Peter-Weyl定理給出緊湊羣的譜特徵刻畫。該框架在分子性質預測（SO(3)羣）和球面圖像分類（Möbius羣）上進行了實驗驗證，展示了在數據遮蔽、模型指紋識別和隱私保護計算中的應用。其計算效率高，僅需幾次梯度計算即可估計零纖維元素。

聯邦學習（FL）為分佈式異構數據源上的隱私保護協作模型訓練提供了關鍵範式，但無法解決模型黑箱問題。可解釋人工智能（XAI）則提升透明度與信任。二者融合催生了聯邦可解釋人工智能（FedXAI）範式。本文系統綜述了FedXAI，展示了可解釋性如何從事後工具轉變為FL生命週期的核心組件，並提出了分類法，涵蓋方法、評估實踐及開放挑戰。

本文通過一個1-3-3-1多層感知機和初值問題y'(t)+y(t)=0, y(0)=1，詳細追蹤了PyTorch自動微分引擎在物理信息神經網絡訓練中的完整計算流程，包括前向計算圖構建、反向傳播計算22個參數梯度，以及通過create_graph=True實現基於物理殘差的正確微分的圖上圖機制。所有伴隨值均與Tahimi（2026）的手工推導核對，將P/Q敏感性框架與PyTorch的向量-雅可比積聯繫起來。

本文提出了一種基於貝爾納普類型內涵一階邏輯（IFOL_B）的概率擴展神經符號通用人工智能（AGI）框架。通過引入尼爾森概率結構，該框架能夠為當前未知的語句計算概率，並利用全局和局部對稱變換保持知識庫和邏輯推理的一致性。概率密度函數的計算基於香農最大信息熵，並由神經網絡實現。

本文介紹OriginBlame，一個記錄級和令牌級的數據溯源系統，能夠精確地將數據刪除請求映射到具體的訓練記錄，避免大規模過度刪除。在219,555個維基百科頁面上的評估顯示，記錄級溯源將過度刪除從101倍降低到1.3倍，同時引入的吞吐量開銷僅為1.3-4.0%（HuggingFace）和2.1-19.0%（Datatrove）。在17億參數模型上，基於溯源的遺忘集比隨機基線提高了42%的遺忘效果。

一篇論文探討了人工智能投資的投機性質及其是否構成泡沫。

cayleyR是一個R語言包，利用凱萊圖中的循環交集檢測來解決排列謎題。核心算法採用迭代雙向搜索，從初始和目標排列狀態生成隨機操作序列，尋找連接路徑。該包專為TopSpin(n,k)謎題設計，結合C++哈希索引狀態存儲和可選的Vulkan GPU加速，已在CRAN上發佈。

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

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

Eaon是一款原生Mac應用，集成了49種AI模型，支持本地運行、自帶API密鑰或內置連接，完全免費且開源。它提供模型切換、成本監控、命令面板等功能，並注重隱私和本地化操作。