Linus Torvalds 對 Linux 中 AI 編碼的批評者說:“不認同就分叉,或者直接離開。” 2026-07-18 04:19 UTC+8 Linus Torvalds 為 AI 編碼工具在 Linux 開發中的使用進行辯護,稱 AI 是基於技術價值的實用工具。他承認 AI 並不完美,但認為批評者應先審視人類自身的缺陷。儘管有研究顯示使用 AI 工具的開發者生產力可能下降,但 Torvalds 強調其實際價值,並透露自己已在專案中使用“氛圍程式設計”工具。
Torvalds 認為 AI 是實用工具,批評應基於技術價值而非恐懼。 他承認 AI 不完美,但指出人類程式碼維護者也有類似問題。 我們為自主代理構建了沙盒基礎設施 2026-07-18 04:03 UTC+8 NeoSigma公司構建了一套沙盒基礎設施,為自主代理提供安全、隔離且功能完整的執行環境,使其能夠像在真實開發環境中一樣工作,同時確保每一操作都受控、可重現且可丟棄。
沙盒提供控制平面、執行平面、安全與網路平面、資料平面四大核心架構。 透過預熱池和意圖預測減少啟動延遲,代理幾乎可以即時開始工作。 Meta被指控利用AI挑選有健康問題的員工進行裁員 2026-07-18 02:57 UTC+8 26名Meta員工起訴公司,指控其使用人工智慧系統針對休病假或家庭假的員工進行裁員,違反了保護孕婦、殘疾人和休假員工的法律。Meta否認指控,稱裁員決定由人而非AI做出。
26名員工起訴Meta,稱AI系統在裁員中歧視休保護假期的員工。 Meta在5月裁員約8000人,佔全球員工10%。 證明金融服務業中代理型AI的投資回報率 2026-07-18 02:55 UTC+8 文章討論了金融服務業中代理型AI(Agentic AI)的ROI證明問題,指出傳統監控工具無法處理多代理系統的動態成本結構。透過兩個實際用例——RFP處理流程自動化和反洗錢合規監控,展示瞭如何利用LangChain平臺(含LangSmith和LangGraph)與Pay-i經濟智慧平臺結合,將工程級可觀測性連線到業務價值,從而向領導層證明AI投資回報。
多代理系統的成本結構是動態的,傳統FinOps工具無法處理。 LangSmith提供工程級可觀測性,Pay-i將成本與業務成果關聯。 蘋果起訴OpenAI:意圖何在? 2026-07-18 01:41 UTC+8 蘋果正在起訴OpenAI。訴狀可讀性強且激烈,但許多專家認為很多指控只是行業常規做法。蘋果的真實意圖是什麼?為何公開鬥爭?本期節目探討蘋果的訴訟歷史,分析其是否擔心競爭對手或趁機打擊OpenAI。同時,蘋果釋出新版公測軟體,重點是新Siri AI。此外,還有OpenAI裝置、Pixel手機洩露,一加退出美歐市場等新聞。最後快速回顧Brendan Carr、X平臺混亂、裂開表情符號等話題。
蘋果起訴OpenAI,專家認為指控多為行業常規。 分析蘋果動機:擔憂競爭還是利用OpenAI弱勢? 跟隨問題,走向深處 2026-07-18 01:25 UTC+8 貝利·弗拉尼根是一位跨學科研究者,現任麻省理工學院施瓦茨曼計算機學院、政治學系和電氣工程與電腦科學系的聯合教員。她的研究聚焦於利用計算和數學工具促進民主參與,開發了用於隨機選擇公民大會參與者的演算法,並部署在Panelot.org平臺上。
貝利·弗拉尼根從醫學、公共衛生到經濟學,最終轉向電腦科學和政治學的跨學科研究。 她開發的演算法幫助隨機選擇公民大會參與者,平衡代表性與公平性。 在Databricks上構建足球教練應用 2026-07-18 01:00 UTC+8 教練視角(Coach's Corner)是一款基於Databricks平臺的應用,能將每秒25幀的比賽追蹤資料轉化為亞秒級的2D/3D戰術板,集回放、事件分析、球探聊天和對手檔案代理於一體。透過Lakeflow管道、DBSQL和Lakebase實現資料的高效處理與快速查詢,並利用Genie、向量搜尋和代理技術提供基於治理資料的AI洞察,解決了高頻資料在決策中的可用性鴻溝。
教練視角應用統一了資料攝取、轉換和AI,在單個平臺上提供即時的戰術洞察。 採用Spark宣告式管道處理5100萬行資料,透過DBSQL實現1-3秒查詢響應。 Smartsheet如何在AWS上構建遠端MCP伺服器 2026-07-18 00:32 UTC+8 本文從高層次概述了Smartsheet遠端MCP架構,重點介紹了其背後的AWS基礎設施,包括安全性、治理、擴充套件和部署,以及Smartsheet在AWS上構建的AI特定最佳化。
Smartsheet構建了一個遠端MCP伺服器,使AI客戶端能夠直接訪問其資料和功能。 架構中關鍵AWS服務包括AWS Fargate、Amazon Kinesis、Amazon Bedrock等。 從 Jira、Linear、GitHub Issues 或 Markdown 執行 AI 代理 2026-07-18 00:17 UTC+8 Startup Factory 是一個開源框架,可將專案管理工具(如 Jira、Linear、GitHub Issues、Markdown)轉化為由 AI 代理驅動的受控交付系統。它提供分層安全邊界、確定性排程和多模型支援。
Startup Factory 將專案管理工具與 AI 代理連線,實現端到端產品交付。 內建確定性 PM 監督員,每 3 分鐘檢查面板,路由任務並強制執行安全策略。 AI記憶可移植性:新鎖定機制與中立標準的必要性 2026-07-18 00:11 UTC+8 本文探討AI記憶可移植性問題,指出記憶正成為新供應商鎖定機制,現有匯出功能無法實現真正的可移植性。文章分析行為、上下文和關係三種鎖定型別,介紹Cognee和ByteRover等早期嘗試,並呼籲建立中立記憶交換標準。
AI記憶可移植性在2026年7月仍不存在,遷移意味著從頭開始。 記憶成為新鎖定,分為行為、上下文和關係三種型別,關係鎖定最難遷移。 Bunkerhill 融資5500萬美元,將代理型AI擴充套件至醫療系統 2026-07-18 00:00 UTC+8 Bunkerhill Health 完成5500萬美元B輪融資,用於擴充套件其代理型AI平臺 Carebricks。該平臺已在美國多家醫療系統執行,包括克利夫蘭診所、得克薩斯大學醫學分部(UTMB)等。UTMB 已部署超過20個AI代理,在臨床、運營和管理方面取得初步成效,如降低專家等待時間、提高隨訪率等。
Bunkerhill Health 獲得5500萬美元B輪融資,投資方包括紅杉資本、Khosla Ventures等。 其平臺 Carebricks 允許醫院構建自有AI代理,已用於影像分析、預授權、行政管理等。 特朗普指責中國竊取選舉資料,習近平則在上海AI峰會上展示中國領導力 2026-07-17 23:03 UTC+8 在特朗普指責中國竊取美國選舉資料的同時,習近平在上海人工智慧峰會上強調中國希望引領全球AI發展,並倡導AI為全球公共產品。中美在AI領域的競爭日益激烈,雙方在技術、安全規則和國際影響力上展開博弈。
特朗普指控中國竊取2.2億美國選民資料,中國否認。 習近平在上海AI峰會上呼籲AI發展應造福人類,反對將國家安全概念泛化。 "不做這個他們就會死":DoorDash為智慧體提供的CLI或許是出於必要 2026-07-17 22:36 UTC+8 DoorDash釋出了一個命令列介面(dd-cli),使AI智慧體無需人類批准即可在其平臺上直接下單。此舉雖然讓開發者受益,但也引發了關於去中介化及DoorDash商業模式的爭議。專家警告,如果智慧體主導下單成為常態,拒絕提供這樣的API可能會帶來更大風險。
DoorDash推出dd-cli,允許AI智慧體透過命令列直接訂購食品。 該CLI取消了人工稽核步驟,實現智慧體自主購買。 企業AI:部署之後必須證明其價值 2026-07-17 22:34 UTC+8 企業不再僅僅滿足於部署AI,而是更關注可衡量的商業價值、工作流程再造以及成功擴充套件AI所需的治理。
企業AI的重點從部署轉向證明實際商業價值 工作流程重新設計是最大化AI效益的關鍵 我們該如何為孩子準備好迎接AI? 2026-07-17 22:07 UTC+8 AI雖然改變了眾多行業,但在教育領域進展緩慢,因為學習的關鍵在於意義優先於技巧,需要關愛的人類參與。文章提出雙軌制教育方法:課程軌(保留傳統路徑)和兒童主導軌(激發興趣)。強調在AI時代,應注重培養意義感和真實世界專案,透過認知學徒制等方式讓孩子為未來做好準備。
AI尚未根本改變教育,因為學習需要意義和關懷,而不僅僅是技巧。 建議採用雙軌制:課程軌維持傳統學業路徑,兒童主導軌培養興趣和自主性。 Meta 的 Muse Spark 1.1 現已在 Databricks 上可用,完全由 Unity AI Gateway 管理 2026-07-17 21:08 UTC+8 Meta 的新模型 Muse Spark 1.1 現可透過 Databricks 的 Unity AI Gateway 中的模型提供商服務(MPS)使用。該服務允許組織在 Unity Catalog 中註冊提供商一次,消除 API 金鑰氾濫,並透過熟悉的許可權、速率限制和護欄實現集中治理。此外,自動跟蹤每次請求的令牌使用量、延遲、成本歸屬和審計日誌,提供端到端的可觀察性。
‘SaaS末日論’被誇大:Workday等軟體供應商如何藉助AI求生存 2026-07-17 21:03 UTC+8 專家警告,AI代理將顛覆企業軟體收入模式,但SaaS末日論被誇大。供應商透過強化核心能力來應對去中介化風險。
AI代理將導致高達2340億美元的企業應用支出面臨代理套利風險。 供應商如Workday、Freshworks和Snowflake透過信任、資料和專業化保持競爭力。 專為AI代理打造的瀏覽器自動化CLI工具 2026-07-17 20:14 UTC+8 BrowserAct是一個瀏覽器自動化CLI,專為AI代理設計,能夠突破反爬蟲封鎖、支援人工接管、並行任務無干擾,並隔離多個賬號。它透過環境層、執行層和人工層三層機制突破封鎖,提供三種瀏覽器模式,並針對LLM推理最佳化輸出格式。
三層突破機制:環境層(指紋偽裝、TLS輪換)、執行層(自動驗證碼、提取)、人工層(遠端協助)。 三種瀏覽器模式:複用本地Chrome、隱身隱私模式、隱身固定身份模式。 5個免費的智慧體AI學習資源 2026-07-17 20:00 UTC+8 本文介紹了五個免費的智慧體AI學習資源,涵蓋從入門到理論、從實踐到評估的各個方面,幫助學習者深入理解並有效構建智慧體。
微軟的《AI Agents for Beginners》課程提供結構化學習路徑,涵蓋基礎到高階模式。 Hugging Face的智慧體課程強調動手實踐,對比多種框架。 針對國家審查的通用人工智慧倫理標準提案 2026-07-17 19:53 UTC+8 最近對不同國家AI模型的測試顯示嚴重的地域審查現象。作者提議建立自願的國際認證標準,以優先考慮事實而非政治利益。
來自印度、中國、歐洲和美國的AI模型在歷史、種姓、生物學和移民等話題上表現出不同的審查方式。 當前審查由法律恐懼和意識形態控制驅動,降低AI的真實性。 代理開發的合理規格程度 2026-07-17 18:43 UTC+8 本文探討了在代理開發中規格說明的必要性,指出零規格和過度規格都有成本,最佳平衡點取決於任務型別,並強調了規格驗證和可執行測試的重要性。
零規格看似高效,實則隱藏了糾正迴圈的成本。 適度的規格結合可執行檢查能降低總成本。 改變我對AI在軟體工程中看法的五項研究 2026-07-17 16:38 UTC+8 本文總結了五項最近關於AI在軟體工程領域的研究論文,這些論文共同揭示了AI正在壓縮軟體工程的上游工作,但下游瓶頸隨之出現。主要發現包括:GitHub Copilot使PR吞吐量增加約40%,且呈劑量反應關係;AI在程式碼生成階段的增益(高達+180%)在交付過程中大幅衰減(最終僅+30%的釋出量);生產力與開發者體驗出現脫鉤;開發者希望AI更多用於驗證任務而非程式碼生成;以及“認知債務”和“意圖債務”正在成為新的軟體健康問題。
GitHub Copilot的劑量反應分析顯示,高使用率時PR吞吐量提升約40%,且效果在大型PR中更顯著。 AI在程式碼生成階段的增益在交付過程中逐步衰減,最終對釋出量的影響僅為+30%。 太空程式設計、AI-XR 和開發者的新互動正規化 2026-07-17 16:18 UTC+8 JetBrains 研究團隊探討了 AI 與擴充套件現實(XR)結合如何為技術創作者帶來新的互動正規化。透過專家訪談,他們總結了五個主題:人類如何向 AI-XR 系統傳達意圖、AI 如何使 XR 環境理解並適應個人、阻礙 XR-AI 主流化的因素、AI-XR 如何改變創作方式,以及隱私和倫理風險。研究指出,XR 硬體和 AI 的融合將徹底改變技術創作,但面臨技術、認知和組織上的挑戰。
AI 與 XR 的融合可能帶來 60 年來首次人機互動革命。 研究透過 13 位專家訪談,確定了五個核心主題。 結構化分塊、預嵌入SQLite語料庫:歐盟AI法案 2026-07-17 16:09 UTC+8 該資料集提供了一個歐盟AI法案(法規(EU) 2024/1689)的單檔案、預嵌入SQLite語料庫,按法律結構分塊(每條款段落、每序言、每附件點、每第3條定義),包含BGE-M3密集嵌入、後設資料、風險等級標籤等,可直接本地查詢,用於研究與工程。
包含933個分塊:180條序言、522個條款段落、68個第3條定義、163個附件點 使用BGE-M3嵌入(1024維浮點數,L2歸一化),支援語義搜尋 羅伯特·萊德洛:《現實吞噬者》專輯評論 2026-07-17 14:30 UTC+8 這張NMC首秀專輯展示了萊德洛將科學與古典音樂融合的複雜而富有想象力的作品,包括以愛因斯坦場方程為靈感創作的鋼琴協奏曲《扭曲》。
萊德洛的專輯《現實吞噬者》探索了愛因斯坦場方程、牛頓萬有引力定律和人工智慧等主題 鋼琴協奏曲《扭曲》提出了一種對愛因斯坦場方程的音樂解答 歐盟迫使谷歌共享搜尋資料並向競爭對手AI公司開放安卓系統 2026-07-17 13:03 UTC+8 歐盟釋出兩項新規,要求谷歌共享搜尋資料並開放安卓系統,以便競爭對手AI公司能公平接入。此舉旨在打破科技巨頭的數字壟斷,促進創新,但谷歌警告可能會危及使用者隱私和資料安全。
歐盟要求谷歌分享匿名化搜尋資料,並允許第三方AI助手在安卓裝置上以同等水平執行。 谷歌需在2027年1月前開始與競爭對手共享搜尋資料,並允許語音啟用和後臺任務執行。 力量永不嫌晚: 利用反應式力注入加速VLA後訓練 2026-07-17 12:00 UTC+8 本文提出LIFT框架,透過在預訓練視覺-語言-動作(VLA)策略後訓練中注入反應式力,解決接觸場景下純視覺方法失敗的問題。LIFT嫁接反應式動作專家,利用因果力記憶和零初始化交叉注意力注入6D力,並結合線上DAgger迴圈應對分佈偏移。在毛巾摺疊、書籍插入和漢諾塔放置任務中,LIFT相比純視覺後訓練學習更快、效能更高。
LIFT為VLA策略新增接觸反應能力,同時保留通用操作知識。 透過反應式動作專家、因果力記憶和線上DAgger迴圈實現力反饋注入。 語義音訊驅動的動態人形全身控制 2026-07-17 12:00 UTC+8 本研究提出了一種新穎的多模態編排框架,實現語義音訊驅動的人形機器人控制。系統透過音訊指紋和語義嵌入即時處理音樂或語音輸入,動態選擇並執行動作策略,在模擬和Unitree G1人形機器人上驗證了魯棒的模擬到現實遷移。
提出語義音訊驅動的人形全身控制框架,支援即時自主運動技能選擇。 系統區分音樂和語音輸入,分別採用音訊指紋和模仿學習技能庫進行對映。 具有不確定關節剛度的電機位置控制柔性關節機器人的自適應控制 2026-07-17 12:00 UTC+8 研究人員提出一種針對柔性關節機器人的自適應控制方法,以應對不確定的關節剛度。該方法透過隱式控制律和依賴於控制輸入的迴歸矩陣,線上更新每個關節的非線性扭矩-偏轉關係估計,並分析了其對電機位置控制器誤差的魯棒性。在具有非線性剛度特性的柔性關節上的實驗結果驗證了該方法的有效性。
柔性關節機器人的模型控制依賴於精確的剛度模型,但實際中這些模型常因工況和老化而不可用。 提出的自適應控制方法線上更新不確定的非線性扭矩-偏轉關係。 SD-MAR:透過合成資料和強化學習實現多影像分析推理 2026-07-17 12:00 UTC+8 SD-MAR是一個用於訓練和評估視覺語言模型(VLM)在多影像分析推理任務上的框架。它透過受控擾動構建成對視覺場景,並生成涉及語義變化歸因和定量比較的推理任務。採用GRPO-lite與後向折扣分配(BDA)的強化學習方法,去除KL正則化以增強策略最佳化。在Qwen2.5-VL-7B和InternVL3-8B上的實驗表明,域內準確率提升高達36.95%,且Qwen2.5-VL-7B在SD-MAR基準上超越GPT-4.1。域外泛化效能保持或提升,在MME、MMMU-Pro、MathVista上波動在1%以內,在MMBench上提升達4%。
提出SD-MAR框架,透過合成資料生成多影像分析推理任務。 採用GRPO-lite與BDA強化學習方法,聚焦後期推理步驟。 推理時概念抑制與面向影片的文本到影片模型評估 2026-07-17 12:00 UTC+8 本文提出SIRUS,一種無需訓練的推理時框架,用於文本到影片(T2V)模型中的概念級遺忘。SIRUS透過定位與目標概念相關的提示證據並在取樣過程中抑制其表達,無需更新文本編碼器或去噪網路。同時,引入面向影片的評估框架,分別測量目標遺忘、非目標保持、影片質量、越獄魯棒性和效率。在CogVideoX上,SIRUS在五個安全、物體和風格概念上平均遺忘成功率達70.4%,幀命中率25.7%,優於VideoEraser的44.4%和47.2%,並將VBench質量平均下降從-0.043降至-0.016。在Wan2.2上的遷移實驗表明SIRUS可泛化至現代T2V骨幹網路。
SIRUS是一種無需訓練的推理時概念遺忘框架,透過定位並抑制提示中的目標概念實現T2V模型控制。 提出面向影片的評估體系,分別衡量遺忘、保持、質量、魯棒性和效率。 持續提示:評估視覺語言模型中的重複蘇格拉底式提問 2026-07-17 12:00 UTC+8 研究提出JKP框架,透過重複挑戰性提問評估視覺語言模型的穩定性。測試GPT-4o、Gemini 2.5 Pro和Qwen3-VL-30B發現,模型在持續追問下表現不穩定,答案頻繁翻轉,且不同模型響應模式各異。
JKP框架透過三種策略(對抗性否定、純蘇格拉底式質詢、上下文感知蘇格拉底式總結)對VLM進行最多10輪追問。 在STAR基準測試中,模型總體準確率變化不大,但軌跡分析顯示大量答案翻轉和不穩定。 閉環知識動力學:飽和與逃逸的操作框架 2026-07-17 12:00 UTC+8 該研究分析了閉環知識系統(如大型語言模型、強化學習)為何在重複內部反饋下趨於飽和,並提出了一個三層次操作框架,透過結構干預實現逃逸。使用李雅普諾夫漂移條件刻畫穩定性,並透過干預引起的吸引子位移和KL下界表徵逃逸。案例研究包括LLM程式碼修復、稀疏獎勵強化學習和貝葉斯最佳化。
閉環系統在重複內部反饋下收益遞減,需外部資訊突破吸引子。 提出三層次框架:知識狀態透過結構引數θ的轉移核演化,結構干預可檢測。 多域檢索中的認證域一致性:基於共形風險保證的無標籤逐域汙染控制 2026-07-17 12:00 UTC+8 本文提出C3R,一種即插即用的控制層,透過推斷域後驗,無需查詢時標籤,在可行時認證逐域汙染預算,否則棄權而非違規。該方法基於風險控制預測集的兩階段方案,保證最困難域汙染減少,實驗表明穩定性好,召回率優於傳統方法。
C3R是一種無標籤、逐域汙染控制層,可保證最困難域的汙染減少。 採用兩階段風險控制預測集方案,有限樣本傳輸邊界可估計並支援異構預算。 用於閉環1型糖尿病控制的可解釋語言模型 2026-07-17 12:00 UTC+8 一種名為LLM-T1D的新方法將強化學習與大語言模型相結合,建立了一種可解釋的胰島素泵控制器,用於1型糖尿病,實現了73.5%的時間在目標血糖範圍內,同時提供清晰的解釋。
結合強化學習和大語言模型實現透明決策 微調LLaMA 3.1 8B和Qwen3 8B模型 用於搜尋與救援的自主無人機群智慧三級學習架構 2026-07-17 12:00 UTC+8 一篇新論文提出了一種三級分層學習架構,用於執行搜尋與救援任務的自主無人機群,整合了赫布神經可塑性、基於圖神經網路和行為樹的多智慧體強化學習,以及帶BDI推理和數字孿生的元學習。該框架提供形式化保證,並引入群體元認知。
三級架構靈感來自反射、技能和推理的生物層次。 使用赫布神經可塑性、MARL與GNN/行為樹以及元學習與BDI/數字孿生。 透過語義合約重獲對AI生成程式碼的信任 2026-07-17 11:59 UTC+8 針對AI生成程式碼速度快於人類審查而導致的信任危機,本文提出“語義合約”——一種型別安全、編譯時檢查的藍圖,位於需求與程式碼之間,確保任何實現(無論人工還是AI編寫)的正確性。文章透過排序演算法和電商結賬示例展示了語義合約的構建塊、狀態處理和整合方式。
AI程式碼生成速度快,但缺乏可解釋性和可審計性,導致信任危機。 語義合約是一種結構化、可驗證的業務邏輯藍圖,位於需求和程式碼之間。 人工智慧的真正瓶頸在於資料交付 2026-07-17 11:16 UTC+8 企業大規模部署AI時,最大障礙往往是資料從儲存到計算的基礎設施,而非GPU等計算硬體。文章指出,許多組織誤以為效能問題需要更多計算資源,實則根源在於資料飢餓,即資料無法高效、安全、持續地在儲存與計算之間流動。透過引入應用交付控制器實現松耦合架構,以及關注可達性、策略和交付三個維度的韌性,可顯著提升GPU利用率和AI投資回報。
AI效能瓶頸常被誤認為計算不足,實則是資料交付基礎設施的制約。 松耦合架構(如引入ADC)可將儲存與計算解耦,提升靈活性和效能。 Gradle Technologies 更名為 Develocity 2026-07-17 11:12 UTC+8 Gradle Technologies 現已更名為 Develocity,專注於 AI 驅動的軟體交付管道治理與效率。公司表示,AI 已將軟體交付瓶頸從人類轉移到管道上。
Gradle Technologies 更名為 Develocity,專注於 AI 驅動的軟體交付。 AI 已將瓶頸從開發者轉移到管道。 Preempt AI v2:AI強大,但也需確保安全 2026-07-17 11:02 UTC+8 Preempt AI v2 推出,為AI應用提供安全標準,利用ML技術防禦提示注入、越獄和資料洩露。支援多種語言,延遲低於10毫秒,準確率達99.65%。
Preempt AI v2 提供針對AI應用的安全防護層,防禦提示注入、越獄攻擊和資料洩露。 採用機器學習模型,檢測準確率99.65%,支援12多種語言和41多種攻擊型別。 Meta關閉允許標記Instagram使用者生成其AI影像的功能 2026-07-17 10:55 UTC+8 Meta推出新AI工具Muse Image後,因允許使用者標記他人賬戶並利用其照片生成AI影像而遭到批評。該公司已停用此功能,但使用者仍需手動關閉許可權以防止照片被用於AI生成。該功能預設開啟,引發隱私擔憂。
Meta的Muse Image工具允許使用者透過標記Instagram賬戶生成AI影像,但遭批評後已停用此功能。 使用者需手動在設定中關閉許可權,否則公開照片可能被用於AI生成。 VulnHunter:智慧體驅動的AI安全工具 2026-07-17 09:57 UTC+8 VulnHunter 是一個開源的智慧體AI安全工具,採用攻擊者優先的主動分析方法,直接從原始碼中識別可被利用的漏洞,並提出證據支援的修復方案。它由 Capital One 內部開發並開源,旨在應對現代軟體供應鏈中的安全挑戰。
與傳統被動式SAST掃描器不同,VulnHunter模擬攻擊者思維進行正向分析,減少誤報。 包含假證引擎,主動嘗試否定自身發現的漏洞,確保高優先順序告警的準確性。 微軟以企業級規模交付AI代理 2026-07-17 09:53 UTC+8 微軟的Foundry平臺現已支援超過8萬家企業構建AI代理。在產品副總裁Marco Casalaina的訪談中,他解釋了原型與生產環境代理之間的關鍵差異、代理框架的重要性,以及微軟如何構建上下文層以確保代理的可靠性。
原型代理無法在生產環境中存活,失敗原因通常在於模型之外的框架。 生產環境中,代理的‘框架’(包括執行時、工具、身份層等)與模型本身同等重要。 Forall:基於規範驅動、附帶形式驗證的AI程式設計工具 2026-07-17 08:22 UTC+8 Astrio 推出 Forall(∀),一個透過規範驅動生成程式碼並附帶機器可驗證證明的程式設計助手。支援 CLI 和 MCP 兩種使用方式,目前相容 TypeScript、Java 和 Rust,基於 Apache-2.0 開源。
Forall 是一款由 Astrio 開發的程式設計助手,根據使用者編寫的規範自動生成程式碼和形式化證明。 支援 CLI 全功能代理和 MCP 整合(僅驗證)兩種模式。 美國版權局:AI生成內容不受版權保護 2026-07-17 06:10 UTC+8 美國版權局裁定,完全由AI生成的內容不具備版權。一位作者因未保留AI生成的原始草稿,無法證明書中哪些部分由人類創作,面臨版權申請被拒的情況。
美國版權局明確表示,AI生成的材料不能獲得版權。 一位作者因未儲存AI生成的初始內容,導致無法區分人機創作部分。 《毀滅戰士》教會了我們什麼:AI輔助事件響應 2026-07-17 05:51 UTC+8 Rootly AI實驗室開發了《毀滅戰士》競技場(Doom Agent Arena),一個開源即時遊戲環境基準測試,用於測試AI智慧體在事件響應中的推理、適應和決策能力。透過讓LLM控制遊戲角色,研究發現更長的思考時間並不總是帶來更好的結果,智慧體編寫自己的“執行手冊”能夠提高效率,而快速決策雖然不直接決定勝負,但可以累積節省時間。這些發現為設計更高效的AI輔助事件響應系統提供了啟示。
《毀滅戰士》競技場基準測試透過MCP讓AI智慧體觀察遊戲狀態並制定高等級計劃,測試其在動態環境中的推理能力。 研究發現,更長的思考時間並不總是與更好的表現相關;有時延遲是陷入困境的訊號。 血染資料中心 2026-07-17 05:51 UTC+8 本文深入探討19世紀盧德運動的歷史真相,分析其策略、成敗得失,並論證為何現代反AI運動不能簡單效仿盧德主義。作者指出,盧德運動的特定歷史背景、地方性特徵和具體訴求與當前AI擔憂存在根本差異。
盧德運動是19世紀英國紡織工匠對機器自動化的暴力反抗 運動雖被鎮壓,但取得了一些短期勝利並影響了後來的勞工改革 MemDecay:區域感知的KV快取淘汰策略,提升LLM代理推理效率 2026-07-17 05:37 UTC+8 研究提出MemDecay,一種訓練無關的區域感知KV快取淘汰策略,透過為不同語義區域的令牌分配不同優先順序和衰減率,在固定快取預算下保留關鍵資訊。實驗表明,系統令牌的半衰期遠長於暫存區令牌,且固定策略能在全部設定中保持完美準確率,而現有基線最多僅保留13/24。
MemDecay利用LLM代理的語義結構進行區域感知快取管理。 系統令牌的半衰期(148-189步)比暫存區令牌(14-16步)長一個數量級。 OpenAI 推出 GPT-Red 測試 AI 模型安全 2026-07-17 05:32 UTC+8 OpenAI 透過 GPT-Red 結合人類與 AI 進行紅隊測試,創新地評估模型安全性,但企業仍需確保模型符合自身業務和安全需求。
GPT-Red 結合人類專家和 AI 代理進行紅隊測試 這一方法在模型安全測試中屬首創 冷靜應對人工智慧蒸餾行為 2026-07-17 05:08 UTC+8 本文質疑將中國實驗室大規模蒸餾美國前沿模型視為盜竊的論調,指出現行智慧財產權法不支援這種說法。建議政策應聚焦於保護模型訪問安全,而非擴大智慧財產權保護。
蒸餾在AI開發中常見,不等於竊取模型權重。 大規模蒸餾違反服務條款,但根據現行法律不太可能構成商業秘密盜竊。