本文提出了行為完整性驗證(BIV)問題,旨在檢驗AI代理技能的聲明能力與實際能力是否一致。通過結合確定性代碼分析和LLM輔助能力提取,研究團隊對OpenClaw註冊表中的49,943個技能進行了分析,發現80%的技能存在描述-實現差距,其中81.1%源於開發者疏忽,18.9%源於惡意意圖,5%包含多階段攻擊鏈。在惡意技能檢測基準上,BIV的F1分數達到0.946,顯著優於現有方法。
AI 新聞即時情報
即時監測
即時更新
即時追蹤可信來源,保留出處、權限和站內閱讀模式,把噪音壓成可讀情報。
即時更新
2026-05-13
隨着AI編碼工具的普及,傳統的產品管理與工程之間的界限正在模糊,催生了一種新的角色——產品構建者。這種角色既能定義產品願景,又能通過構建原型快速驗證。文章探討了這一趨勢的成因、現狀以及面臨的挑戰,並提出三種不同的構建者模式。
Veeam軟件集團在VeeamON 2026上宣佈從傳統備份公司轉型為數據和人工智能信任平台,推出DataAI Command Platform,旨在解決AI代理時代的數據治理、安全與恢復挑戰。
運行LLM智能體兩次可以降低輸出方差,通過平均結果提高預測準確性。實驗表明,在預測任務中,平均兩次運行可提升約5%的準確率,成本約為每次0.55美元。
Luma通過API提供Uni-1.1圖像模型,每張2048像素分辨率圖像起價0.04美元。該模型在Arena排行榜上位列第三,僅次於Google和OpenAI。API包括網絡搜索、內置推理功能,並支持最多九張參考圖像。
本文介紹瞭如何通過Thunderbolt將桌面級NVIDIA RTX 5090 GPU連接到M4 MacBook Air,並在Linux虛擬機中使用PCI直通技術實現遊戲和AI推理。文章詳細描述了技術挑戰,包括macOS缺乏驅動、PCI BAR映射導致的內核崩潰、DMA問題及解決方案,並提供了多項遊戲和AI基準測試結果。
一個專注於代數學習的交互式平台,強調直觀操作和社區氛圍,摒棄傳統教科書的枯燥和現代網絡產品的各種套路。
SANS研究所發佈了AI安全成熟度模型,旨在幫助組織從臨時AI使用過渡到完全治理和安全的程序。該模型基於三個支柱和五個階段,提供具體的控制措施、指標和行動步驟,並映射到NIST AI RMF、歐盟AI法案、ISO 42001和OWASP標準。
微軟公佈其新型多模型智能安全系統(代號MDASH)在Windows網絡和身份驗證堆棧中發現16個漏洞,其中4個為嚴重遠程代碼執行漏洞。該系統協調超過100個專業AI代理,通過前沿和蒸餾模型協同工作,實現了端到端的漏洞發現、辯論和驗證。
在馬斯克訴奧特曼案庭審第三週,微軟展現出無奈與疏離。其開場陳述更像微軟產品廣告,暗示訴訟的荒謬。儘管微軟是OpenAI營利部門早期主要投資者,但關鍵決策中鮮有身影。CEO納德拉稱OpenAI董事會風波為“業餘水平”,微軟律師則多次證明公司未參與爭議事件。
端點上下文協議(ECP)利用HTTP內容協商,使同一URL能根據客户端類型返回不同表示:瀏覽器獲得HTML,AI代理獲得語義化的Markdown。無需新基礎設施,僅需添加兩個文件即可實現。該協議支持實時上下文更新、API發現,並可通過託管ECP上下文服務器擴展。
基於Solana的聲稱提供Anthropic和OpenAI敞口的代幣本週暴跌近40%,因公司警告其背後的SPV結構違反了股權轉讓規則。發行方PreStocks未提供承諾的審計報告,流動性稀薄,引發投資者贖回擔憂。
Red Hat在峯會上推出AI技能倉庫,通過將20年的支持數據與代理技能結合,使AI代理能夠像經驗豐富的訂閲管理員一樣工作,而無需依賴更大規模的模型。這一舉措旨在將AI從聊天助手轉變為能夠安全操作企業系統的編排者。
本文介紹瞭如何使用 Agent Development Kit (ADK) 構建能夠處理數週工作流的長期運行 AI Agent,重點講解了狀態機、持久會話和事件驅動恢復三大架構轉變,並提供了新員工入職協調 Agent 的完整代碼示例。
Torii 發佈AI管理平台,為企業提供AI使用、成本和治理的集中視圖,幫助IT、財務和安全團隊實時追蹤AI支出、檢測重疊工具、預測未來成本,並將可見性轉化為戰略優勢。
AgentGate是一個策略決策點(PDP),位於AI代理與其工具之間,在執行前根據身份、範圍、意圖和實時行為評估每個操作。它解決了傳統OAuth和RBAC在自主代理場景中留下的安全漏洞,能夠捕獲超出範圍的文件讀取、未授權操作、通過速度峯值進行的數據泄露以及提示注入攻擊。通過四個維度的信任評分,並支持多代理委派、自然語言策略和人機協同批准,AgentGate為AI代理系統提供了全面的授權層。
AI模型在預測政治事件時表現出輕信傾向,例如相信特朗普公開斷絕外交聯繫的聲明會導致他不打電話給馬杜羅,但事實恰恰相反。文章指出AI未能識別政治人物的聲明作為談判策略,這是人類明顯優於AI的領域。
新研究發現,谷歌的三種搜索方式——傳統搜索、AI概覽和Gemini——在信息來源和排名上存在顯著差異。AI概覽傾向於使用谷歌自有內容,而傳統搜索更依賴政府和教育機構網站。此外,阻斷谷歌AI爬蟲的網站更難出現在AI概覽中。對於突發新聞,AI概覽常被抑制以避免誤導。
Meta AI 在 WhatsApp 和 Meta AI 應用中推出隱身聊天功能,利用 WhatsApp 的私有處理技術,確保對話完全私密,連 Meta 都無法讀取。消息不會被保存,默認自動消失。未來還將推出側邊聊天功能。
Anthropic收購Bun獲得開發者好評,而OpenAI收購Astral引發恐慌。文章對比了Yahoo/Tumblr和Oracle/Sun的歷史,指出這些收購不僅是工具爭奪,更是敍事之爭。
Mainline 是一款為對抗暗黑敏捷模式而構建的項目管理工具。它取消了故事點和估算會議,通過數據追蹤團隊節奏;用故事地圖替代待辦列表,突出用户旅程;跟蹤未發佈工作庫存,減少功能標誌浪費;並支持結對、羣組和獨立工作等協作模式。技術棧採用 Ruby、Roda、Sequel 等成熟技術,無需 AI 功能。
杭州一名員工因被人工智能取代而獲賠超過28,000英鎊,該案引發對中國在積極採用AI與保障就業之間平衡的關注。
本文介紹了機構控制架構(ICA),這是一個旨在彌合自主AI政策與運營現實之間差距的框架。ICA提供了評估方法和認證機制,確保自主系統的可觀察性、可界定性和獨立可驗證性。文章討論了當前自主AI部署中的三個主要瓶頸,並定義了框架的核心要素,包括五項基本法則、三項不可協商約束、十一條憲法條款和七個控制層。
Nova3D 是一個基於 Blender 腳本的 3D 生成工具,它通過代碼生成具有獨立可編輯部件的 3D 資產,而非傳統擴散模型生成的合併網格。它支持多種 LLM(如 Claude、GPT-4o、Gemini),提供邏輯層次、精準編輯和材質支持。本文介紹了其架構、快速上手方法及技術哲學。
作者辭去FAANG工作後自建了一台六塊RTX 6000 Ada的GPU服務器(暱稱grumbl),總花費4.8萬美元。經過一年多的使用,與雲租賃相比節省了約1.7萬美元,但利用率未達預期。作者強調初衷並非省錢,而是打造酷炫設備並實現研究突破。
作者將OpenAI的新默認模型GPT-5.5 Instant與上一代GPT-5.2進行對比測試,評估其在準確性、簡潔性和個性化方面的表現。結果顯示,GPT-5.5在準確性上顯著提升,減少了幻覺;在簡潔性上反而不如5.2,但更注重對話性;個性化方面有細微改進,但普通用户可能難以察覺。總體而言,GPT-5.5略有進步,但非顯著飛躍。
史蒂夫·班農和伯尼·桑德斯罕見達成一致,認為AI對工人階級是災難。美國作為AI開發者之首,卻也是最反對AI的國家。緬因州通過全美首個數據中心暫停令(後被否決),全國範圍內數據中心項目遭遇抗議。極端情況下,AI反對演變為暴力,4月印第安納波利斯議員家遭槍擊,有人向山姆·奧爾特曼家投擲燃燒瓶。隨着中期選舉臨近,政客利用AI恐懼拉票。左翼和右翼民粹主義可能抑制創新。數據中心的建設因環境和社會影響引發衝突。專家警告AI可能引發政治暴力。歷史上工業革命曾導致社會動盪,AI可能重蹈覆轍。科技界試圖改變敍事,但多數美國人認為經濟有利於富人,對AI的樂觀僅存於高收入羣體。
Oasis瀏覽器在Mac上發佈,專注於隱私保護,並提供通過匿名使用不斷改進的AI助手。它具備增強的跟蹤保護、會話記憶以及從其他瀏覽器無縫導入數據等功能。
本文探討了AI輔助開發中代碼生成速度提升帶來的質量瓶頸,強調工程判斷力的重要性,並分析了系統質量在集成、信任邊界、重試、可觀測性和治理等方面的實際斷裂點。
作者發現許多文檔和聊天記錄看似由人撰寫,實則來自生成式AI,為此創建了語義型URL來標記作者意圖:"authorial.fyi"表示每部分皆由作者負責,"ai.delegated.fyi"表示整體有價值但非個人有意識地撰寫每個部分。旨在開啓關於GenAI時代的對話。