AI 日報

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

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

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

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

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

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

營銷諮詢公司Emarketer分析顯示，OpenAI的五年廣告收入預測可能低估90%，整個聊天機器人廣告市場的總規模僅為54億美元。到2026年，包括OpenAI、微軟、谷歌和亞馬遜在內的頂級AI公司廣告總收入將不足10億美元。OpenAI要實現其2030年廣告收入1000億美元的目標，需要三個奇蹟同時發生。

人工智慧在數學領域取得驚人進展，從國際奧數金牌到解決數十年未解難題，引發數學家對學科未來的深刻擔憂。《萊頓宣言》提出23點計劃，呼籲保持數學以人為中心。數學家們對於是否接受AI、如何理解AI證明等問題存在分歧，並擔心AI實驗室對研究方向的控制。

據《對話》報告，為滿足AI資料中心激增的電力需求，電力公司可動用徵用權強制購買私人土地以建設輸電線路。美國已有數千個資料中心運營，但民眾因土地、噪音、水耗等問題反對建設。徵用權需證明公共用途，各州解釋不同。2026年第一季度已有75個資料中心專案被成功阻止。

這是一個為初創企業設計的快速測驗，幫助判斷其AI專案是否受歐盟AI法案的監管。

硬碟價格飆升讓NAS變得小眾，但群暉DS225+依然值得推薦。本文分析了NAS成本上漲的原因（AI資料中心需求），對比了雲端儲存的優勢，並指出了NAS的適用人群。最終推薦DS225+，因其2.5GbE埠、SHR磁碟管理和優秀的DSM軟體，儘管存在一些廠商限制。

日經研究顯示，美國科技巨頭的隱性債務在約四年內增長了八倍，達到1.65萬億美元，超過實際債務，使得投資者風險評估更加困難。

Portraify是一款AI驅動的頭像生成工具，使用者上傳1-3張日常照片即可在數秒內獲得適合LinkedIn、簡歷和公司目錄的專業頭像。該服務免費提供3張頭像，付費計劃從9美元起，強調隱私保護（照片處理完後立即刪除）和無需專業裝置。

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

daft-physical-ai 是一個新的開源 Python 庫，基於 Daft 構建，旨在簡化物理 AI 中從原始機器人影片到訓練模型的資料處理流程。它提供了手部追蹤和獎勵評分等操作，支援懶載入、批處理和分散式執行，幫助團隊跳過資料管道的基礎設施工作。

本文探討了SpaceX快速納入納斯達克100指數對指數基金投資者的影響。文章解釋了指數基金的工作原理，討論了人們對埃隆·馬斯克治理方式的擔憂，以及投資者是否應擔心市場中的人工智慧集中度。

由輝達、Meta和三星等創始成員組成的聯盟，旨在減少對晶片中稀有材料的依賴。

舊金山一家新開的餐廳因使用AI生成的選單圖片而遭到社群強烈批評，甚至被塗鴉破壞。店主不得不撤下圖片，並計劃透過社群活動重建聲譽。

Hugging Face 披露，攻擊者使用自主AI代理系統入侵其生產基礎設施，訪問內部資料集和憑證。公司正在調查是否影響合作伙伴或客戶資料，目前未發現公開模型、資料集或Spaces被篡改。

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

Cairn是一款個人理財AI工具，透過MCP協議以只讀方式訪問使用者的財務資料，確保安全性。

一個自託管的AI通知過濾器，用於Telegram，利用LLM過濾嘈雜的聊天，僅透過ntfy傳送重要提醒，讓使用者可以關閉通知而不錯過緊急資訊。

一個即時技術索引，按維護採用率排名AI智慧體、MCP伺服器、框架和基礎設施。探索247個已驗證記錄，涵蓋11個系統類別。

Vidmoat 是一個AI影片編輯器，支援透過提示詞完成影片編輯。它提供自動剪輯、AI字幕、文本編輯、一鍵生成短影片等功能，並整合了MCP伺服器，允許Claude、Cursor等AI代理直接驅動整個編輯流程。

PounceDomands是一個AI驅動的域名搶注工具，專為Namecheap市場設計。它即時掃描數千個拍賣域名，根據使用者偏好進行AI評分並推送匹配結果，支援一鍵出價、自動出價、投資組合追蹤、過期提醒、低價收尾域名發現以及域名掉落監控等功能。

模型上下文協議（MCP）即將迎來重要更新，旨在簡化AI系統與外部工具的整合，降低開發門檻。

AI代理正在執行更復雜的任務，但支付仍需人類介入。Natural獲3000萬美元融資，構建專為自主AI代理設計的支付基礎設施，以替代傳統金融軌道。

OpenIngress 透過模擬瀏覽器行為爬取網站，捕獲 DOM、截圖和無障礙快照，並進行靜態可操作性分析和 LLM 引導的探索任務，幫助開發者發現並修復 AI 代理在網站導航中的斷點。

Ramp 釋出了 AI 路由器（Router），透過為每個請求自動選擇最合適的語言模型，在保持效能的同時將 LLM 成本降低 30%，並支援 100 多種 AI 用例。該工具現已對外開放。

一位開發者使用 Claude Code 在 29 天內構建了 26 個倉庫和 335 個頁面。真正的問題並非語法錯誤或構建失敗，而是結構性缺陷：SEO 關鍵詞衝突、URL 約定不一致、原始碼與生產環境脫節、以及驗證工具自身的錯誤。93% 的 token 消耗浪費在重新讀取上下文上。經驗教訓包括：釋出前基準測試、複製前比對差異、先驗證生產環境再信任靜態分析、在擴充套件前書面約定規則、以及一次會話只做一件事。

一項大規模人類受試者研究（n=4100）發現，AI語音模型在語音釣魚詐騙中的成功率與人類騙子相當，在某些情況下甚至超越人類。多達36%的參與者可能上當，且AI語音難以被識別。經濟分析表明，AI語音釣魚已具有盈利潛力，凸顯了自動化詐騙的新威脅。

本文分析了Seedance 2.0在2D動畫生成中的挑戰和優勢，包括技術難點、成本、工作流程以及版權問題。

Cognikernel是一個開源專案，為Claude Code和Codex等AI程式設計助手提供持久化、結構化的專案記憶。它透過事件溯源架構記錄程式設計會話中的決策、約束和放棄的方法，並在下次工作時注入緊湊的上下文塊，避免代理重複決策。不同於依賴API呼叫的向量資料庫方案，Cognikernel使用本地執行的輕量級編碼模型（~130 MB ONNX）在CPU上進行確定性分類，無需離開機器。該系統包括四個鉤子表面、混合檢索（BM25 + 密集向量）和故障開放可靠性設計。基準測試顯示，它可將檔案讀取次數減少2-4倍，並在複雜專案中降低約20%的令牌成本。

PlatypusDB 是專為 WunderOS 構建的智慧體原生、雙時態事件資料庫。它採用 Merkle WAL，支援圖、向量、版本樹、影像和類比檢視，並透過 Datalog 查詢和 VSA 共振實現精確與模糊檢索。本文解釋了為何需要為智慧體構建專用資料庫，以及 PlatypusDB 的設計原理和優勢。

受監管行業（如金融、法律、稅務和審計）對AI的採納面臨零容錯率的要求。斯坦福研究發現通用語言模型在法律問題上的幻覺率高達58%-88%。AI必須滿足受託責任級別的準確性、資料保護和人為籤核要求，才能安全部署。文章提煉了四個關鍵洞察：準確性標準、工作流自動化、資料保障和明確的責任劃分。

本文探討了企業級 AI “公司大腦”構建中的檢索增強生成（RAG）技術侷限性，指出標準 RAG 僅擅長處理單一事實類問題，而 GraphRAG 雖然理論上能解決多文件綜合問題，但其高昂成本、狹窄優勢及實體解析難題使其在多數場景下過於複雜。作者介紹了其公司 QX Labs 的替代方案：“類圖 RAG”——一種基於普通資料庫的輕量級實體-關係系統，無需圖資料庫、預建圖譜或自定義本體，透過惰性總結、固定本體和實體解析瀑布流實現自服務部署，顯著降低了成本與運維負擔。

隨著AI系統具備推理、使用工具、訪問資料和自主行動的能力，傳統安全方法已不足以應對新型攻擊面。本網路研討會探討為何AI驅動的對抗性測試正成為AI安全的關鍵環節。

Stoke是一個輕量級的Rust閘道器，在請求到達提供商之前強制實施硬預算上限、迴圈檢測和速率限制，從而防止失控支出。它還提供跨多臺機器的本地優先路由、基於成本/速度的自動路由以及失敗關閉架構。

在一場討論中，Perneti和Wu同意AI模型將繼續以指數級改進，但就編碼工具的上下文組裝方式存在分歧。他們指出，隨著成本上升，可能轉向更小型的模型。

據《華爾街日報》報道，Jay Reno運營的Pointhound公司僅有四名全職員工，卻在2025年吸引了75萬人使用其產品。Reno表示，AI代理將以往需要六個月的專案壓縮至幾天內完成。他預測，即使銷量突然增長十倍，也只需增加兩名員工（一名工程師和一名營銷人員）。不過，這一預測尚未得到驗證，且Pointhound未披露營收資料。

Databricks 提出了一種結合向量搜尋和 AI 分類函式的方法，用於處理多達 10 萬+標籤的大規模文件分類任務。該方法在三個基準測試中，以約百分之一的令牌成本，比最佳成本效益前沿模型準確率高出 5 個百分點。

Neuron Pipeline 是一款本地執行的 Docker 工具，能從現有的 SQL 查詢歷史中自動提取資料邏輯，生成平臺中立的語義模型（OSI v1.0 YAML 檔案），包括資料目錄、血緣對映、指標定義和業務 KPI 評分。支援匯出到 Snowflake、Databricks、dbt、Looker 等主流平臺，並計劃推出基於自然語言查詢的 AI Agent。

華爾街日報調查揭示，以色列耗資超過4500萬美元，透過AI生成的簡訊和聘請特朗普前數字競選顧問布萊德·帕斯凱爾，在美國開展影響輿論的運動，主要針對年輕保守派和MAGA支持者，以扭轉對美國支援率下降的趨勢。

本文展示瞭如何將 Amazon Quick 作為業務使用者的專業代理工作流前端。透過 NVIDIA NeMo Agent Toolkit 構建供應鏈風險示例，幫助規劃人員從 Amazon Quick 儀表盤和知識上下文轉向引導式緩解建議。

LangChain 構建了 IssueBench，這是一個合成基準測試，用於評估 LangSmith Engine 在代理軌跡中識別、分類和分組問題的能力。本文介紹了 IssueBench 的構成、評分方式以及構建過程中的經驗教訓。

本文詳細介紹了Couchbase如何採用Amazon Bedrock和Anthropic的Claude模型構建其AI輔助開發助手Capella iQ的多模型推理架構，包括架構設計、模型評估、運營優勢以及未來規劃。

Tradeshift透過部署Amazon Quick的代理AI能力，取代了傳統BI工具，實現了查詢響應速度提升30倍、總擁有成本降低40%，並將嵌入式分析轉化為創收產品。本文詳細介紹了其架構、實施過程及業務成果。

Hugging Face 披露了一起安全事件，據信是由未知的自主 AI 代理引發的，該事件暴露了其生產平臺和憑證。攻擊始於資料集中的遠端程式碼執行和模板注入，AI 代理執行了成千上萬次操作。但 Hugging Face 的 AI 工具也檢測到了入侵併分析了日誌，數小時內就完成了通常需要數天的任務。建議使用者輪換訪問令牌並監控賬戶異常。

Hugging Face披露了一起由未知AI代理發起的網路攻擊，導致其生產平臺和憑證洩露。AI防禦系統檢測到了這次入侵併迅速響應。此事件標誌著AI驅動的攻擊與防禦的實戰較量。

Open Minis是一款深度整合蘋果原生框架的iOS智慧代理應用，它透過內建Linux終端和專門的命令列介面，實現了對日曆、家庭、健康、照片等系統元件的精準控制。作者展示了它如何呼叫HomeKit感測器資料、結合照片與健康資訊，甚至建立互動式地圖，其能力遠超當前Siri AI，堪稱前沿模型與iOS系統能力結合的典範。

Apache Spark 4.2 釋出，新增原生向量搜尋、治理指標、流處理升級和 Python 支援增強，使 Spark 擴充套件為 AI 服務層，減少對獨立向量資料庫的需求。

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

OpenAI戰略未來主管Dean Ball認為開放權重模型本質上是減速主義的，因為它們抑制資本支出。本文從經濟學角度探討了這一觀點，分析了中國在AI基礎設施方面的投資、訓練正規化的轉變以及價值在價值鏈中的遷移。文章認為，開放權重模型可能透過降低成本擴大應用範圍，促進創新，從而實際上是加速主義的。

義大利工程師Vincenzo（又名JustVugg）建立了Colibrì，這是一個概念驗證專案，能夠在僅25GB RAM和1GB/s NVMe的CPU上執行7440億引數的GLM-5.2模型（1.5TB）。儘管速度極慢（每0.05-0.1秒一個token），但利用混合專家（MoE）架構按token載入專家，實現了前沿水平的回答質量。專案開源，旨在探索在消費級硬體上執行大型模型的可行性。

直播中，GPT-5.6 Sol 與 Kimi K3 在《坎巴拉太空計劃》裡進行速度競賽，展示 AI 在複雜遊戲中的即時決策能力。

阿里通義實驗室推出Qwen-Audio-3.0-TTS，一款面向生產的文本轉語音系統，提供Flash（即時互動）和Plus（高質量生成）兩檔，透過阿里雲模型託管服務交付。該模型覆蓋16種語言和20種中文方言，支援自然語言風格控制和86種細粒度內聯標籤，並在Artificial Analysis語音競技場中排名第一。文章詳細介紹了模型架構、效能表現、開發者反饋及定價資訊。

不斷有使用者分享他們利用編碼代理逆向工程並自動化家中裝置的軼事。這展示了編碼成本降低帶來的影響。過去，逆向工程雖然可行，但投資回報率低，且需面對不穩定API的維護風險。編碼代理徹底改變了這一局面，降低了初始工作和失敗的成本，也減輕了未來維護的心理負擔。

本·湯普森提出美國應立法明確訓練資料為合理使用，並禁止禁止蒸餾的服務條款，以幫助美國開源模型與中國模型競爭。同時，阿里巴巴決定釋出Qwen 3.8 Max開源權重，可能受習近平鼓勵開源合作的講話影響。

Moonshot AI釋出了最新旗艦模型Kimi K3，這是一個2.8萬億引數的MoE模型，將於7月27日開放權重。K3在多項基準測試中排名靠前，成為最強的開源模型。文章探討了中美AI模型差距縮小、中國開源策略、開源模型的經濟影響以及中國AI的效率優勢。

Adobe的實驗性相機應用Indigo最初專注於為iPhone攝影提供更自然的單反效果，現在透過'AI Playground'套件增加了生成式AI編輯功能，使用Google的Nano Banana模型。功能包括AI風格、物體移除、照片指導和自定義編輯。該實驗目前向一小部分使用者提供免費訪問，將來可能轉為付費。

研究人員利用AI（Lean證明助手）證明了一個20年曆史的圖論猜想：在半流式匹配中，貪心演算法達到了最優近似比。這一結果被形式化驗證，展示了AI在數學證明中的潛力。

新研究揭示，人工智慧輔助使人們變得過度自信且準確度降低，他們用AI生成的流暢表達替代真實知識，導致“認知投降”現象，並催生出“垃圾殭屍”——這些人自信地輸出低質量內容。

Codeground AI 是一個一體化開發者平臺，提供線上 IDE、雲工作區、技術面試工具及多種開發工具，支援 15+ 種語言，無需安裝即可在瀏覽器中執行程式碼。

作者批評AI熱潮，特別是LLM和“氛圍編碼”現象，認為這給無能者提供了虛假的能力感，而真正的創新被淹沒在炒作中。透過自身經歷，作者發現AI並未提升效率，反而導致技能退化，並預言熱潮即將消退，LLM將回歸其高階搜尋引擎的本質。