AI News HubLIVE

研究動態

AI代理安全缺口:54%的企業已遭遇AI代理安全事故,多數企業仍讓代理共享憑證

VentureBeat Pulse研究顯示,107家企業中超過半數已遭遇AI代理安全事件或險情。僅約三分之一的企業為每個代理分配獨立身份,大多數代理仍共享憑證;僅三成企業隔離高風險代理。安全工具主要借用模型提供商和雲服務商的控件,而非專門為代理構建。滿意度雖高,但支出僅佔安全預算的一小部分,多數企業計劃在一年內更換工具。

  • 54%的企業已發生AI代理安全事件或險情,18%為確認事件
  • 僅32%的企業為每個代理提供獨立的範圍身份,69%存在憑證共享
站內正文

智能蜂窩磚:邁向物理世界的集體智能

Sakana AI的研究人員開發了一種由數百個簡單蜂窩磚塊組成的系統,每個磚塊運行相同的神經細胞自動機,僅通過局部通信就能協作識別整體形狀,無需中央控制器。系統在硬件實驗中實現了100%的準確率,並能檢測和修復損傷,展現出強大的魯棒性和泛化能力。該成果已發表在《自然·通訊》上。

  • 通過局部通信和神經細胞自動機,蜂窩磚集體識別3D形狀,無需中央控制或位置信息。
  • 硬件實驗中對平面、吉他、船、桌子等形狀分類準確率達100%。
站內正文

點擊支付後的毫秒內發生了什麼

Databricks 博客介紹了一個實時信用卡欺詐檢測示例應用,該應用利用 Model Serving 的路由優化和 Lakebase Postgres 實現毫秒級響應。文章詳細闡述了路由優化如何降低推理延遲、Lakebase 如何提供特徵查找和業務規則檢查,以及連接池和 OAuth 令牌輪換如何保持穩定性。基準測試顯示,優化後的端點 p50 為 27 毫秒,p95 為 37 毫秒,完全滿足結賬延遲預算。

  • Databricks 示例應用實現實時欺詐檢測,在點擊支付後的毫秒內完成判斷。
  • 路由優化縮短了模型推理的網絡路徑,p50 延遲 27 毫秒,p95 延遲 37 毫秒。
站內正文

代理型AI背後的技能差距——以及Databricks如何通過新的上下文工程師認證和代理培訓來彌補這一差距

Databricks在Data+AI峯會上推出了行業首個上下文工程師認證,旨在驗證構建可靠代理系統所需的深層技能。同時,擴展了學習目錄,新增面向代理時代的課程,並首創了AI驅動的認證備考指南。

  • Databricks發佈上下文工程師認證,填補代理型AI技能缺口
  • 新認證聚焦上下文工程,區分真正開發者與隨意構建者
站內正文

OpenWiki 0.2 為代碼庫文檔引入 OKF 支持

OpenWiki 0.2 版本增加了對 OKF(一種知識 wiki 結構化標準)的支持,使開發者能夠更好地組織和分類代碼庫文檔,提升代理檢索效率並減少令牌消耗。

  • OpenWiki 0.2 支持 OKF 格式,在 wiki 文件中添加 YAML 前置元數據(標題、描述、標籤等)。
  • 新增 index.md 和 logs.md 文件,分別用於目錄摘要和變更日誌。
站內正文

歐盟迫使谷歌與其它AI和搜索引擎分享其“玩具”

歐盟委員會發布兩項決定,要求谷歌向競爭對手開放搜索數據,並增強Android系統AI互操作性,允許第三方AI助手深度集成。谷歌強烈反對,稱此舉危及隱私和安全。

  • 歐盟要求谷歌允許第三方AI助手在Android設備上替代Gemini,並可代表用户執行操作。
  • 谷歌必須匿名化搜索數據並共享給其他搜索引擎和AI聊天機器人,以促進競爭。
站內正文

展示 HN:Ratel —— 為 AI 代理提供無限工具和技能,且無上下文膨脹

Ratel 是一個上下文工程層,通過 BM25 索引為 AI 代理動態選擇相關工具和技能,減少令牌消耗高達 80%,提高準確性,無需向量數據庫。

  • Ratel 通過漸進式披露機制,僅注入當前輪次所需的工具和技能,避免上下文膨脹。
  • 使用 BM25 算法進行檢索,支持語義和混合排名(可選),無需向量數據庫。
站內正文

NotebookLM 更名為 Gemini Notebook:新功能與跨生態整合

谷歌將 NotebookLM 更名為 Gemini Notebook,強調其作為 AI 研究工具的核心地位,並新增安全雲端計算機實現原生代碼執行與數據分析,同時支持 Gemini 應用與搜索的跨應用同步,未來還將集成到 AI Mode 中。自 2023 年以 Project Tailwind 推出以來,已有超過 3000 萬用户和 60 萬個組織採用。

  • NotebookLM 正式更名為 Gemini Notebook,保持獨立產品定位,但深度融合谷歌 AI 生態。
  • 新增安全雲端計算機,支持在筆記本內直接編寫和執行代碼,進行復雜數據分析。
站內正文

Inkling:我們的開放權重模型

Mira Murati的Thinking Machines Lab於2026年7月16日發佈了其首個開放權重模型Inkling。這是一個混合專家(MoE)Transformer,總參數975B,活躍參數41B,採用Apache-2.0許可證,支持多模態,在45萬億token上訓練。該模型並非前沿模型,而是作為通過Tinker平台進行微調的強大基礎模型。同時預告了Inkling-Small(276B總參數,12B活躍)。模型卡和訓練數據文檔異常簡短,數據來源描述模糊,僅提及公共領域和互聯網內容。Inkling在性能上與中國開放權重模型競爭,為美國開放權重生態系統增添了新力量。

  • Inkling是一個開放權重的多模態MoE模型,總參數975B(活躍41B),Apache-2.0許可,在45萬億token上訓練。
  • 該模型並非前沿模型,而是作為通過Tinker平台微調的強大基礎模型,同時計劃推出Inkling-Small。
站內正文

介紹 Kimi K3

Kimi K3 是 Kimi 迄今為止最強大的模型,擁有 2.8 萬億參數,基於 Kimi Delta Attention 和 Attention Residuals 架構,支持原生視覺理解和 1M 令牌上下文窗口。它在軟件工程、知識工作和深度推理等前沿智能場景中表現出色,在基準測試中僅次於 Claude Fable 5 和 GPT-5.6 Sol。Kimi K3 是首個達到 2.8 萬億參數規模的開源模型,並將在近期發佈完整權重和技術報告。

  • 2.8 萬億參數,首個達到該規模的開源模型
  • 基於 Kimi Delta Attention 和 Attention Residuals 架構
站內正文

管理者在公司的AI轉型中發揮關鍵作用——他們自己也知道

超過三分之二的中層管理者對AI在未來工作中的角色持樂觀態度,並認為自己對團隊採用AI工具負有個人責任。78%的管理者感到有責任確保團隊成功採用AI,77%的管理者每週使用AI工具節省超過3小時。

  • 78%的管理者認為自己對團隊成功採用AI負有責任
  • 77%的管理者每週因使用AI工具節省超過3小時
站內正文

AI代碼審查者因“預批准”票證而發送了秘密竊取代碼

一項安全研究表明,在AI代理驅動的CI/CD流水線中,利用“權威框架”攻擊(例如聲稱更改已“預批准”)可以誘使系統部署竊取秘密的代碼。在280次合成運行中,最壞情況下的妥協率達到55%,而基於內容的檢測工具完全失效。

  • 研究人員構建了一個包含五個AI代理的CI/CD流水線,並測試了其抵禦惡意代碼注入的能力。
  • 通過偽造“預批准”聲明,攻擊者成功讓系統將竊取秘密的代碼部署到生產環境。
站內正文

Anthropic的Claude Corps將為1000名早期職業人士支付8.5萬美元 - 立即申請

Anthropic的Claude Corps獎學金項目為早期職業人士提供12個月的帶薪工作,年薪8.5萬美元,在非營利組織使用Claude。申請截止日期為7月17日。

  • 申請截止日期為7月17日,提供12個月的全職獎學金。
  • 入選者將與美國各地的非營利組織合作,利用AI造福社區。
站內正文

Pgrust的構建:四次用AI將Postgres重寫為Rust的嘗試

在花費10萬美元后,團隊通過四次嘗試成功用AI將Postgres重寫為Rust,生成了180萬行慣用Rust代碼。文章詳細描述了每次嘗試的方法、教訓,以及最終版本pgrust的性能優勢。

  • 四次嘗試分別採用不同方法:從逐個功能移植到使用c2rust轉譯,再到逐crate重寫,最終通過多智能體並行協作成功。
  • 前三次嘗試因架構差異或效率問題失敗,第四次使用多達40個併發子代理完成文件級重寫。
站內正文

編碼從來不是瓶頸

作者作為開發者生產力專家,綜合多項研究指出,AI工具雖然讓開發者感覺更高效,但實際交付速度並未提升,甚至在某些情況下變慢。瓶頸轉移到了代碼審查、CI/CD、QA等下游環節。文章提出了多項改進建議,包括更嚴格的代碼審查、適應AI的CI流程、功能標誌部署以及保護知識共享時間。

  • METR研究表明,使用AI的開發者實際用時增加19%,但自我感覺快20%。
  • 後續研究因開發者拒絕不使用AI而無法進行對照實驗。
站內正文

全球諾貝爾獎得主大會:人工智能與核戰爭——回顧、引述與視頻

超過200位諾貝爾獎得主和全球領袖齊聚羅馬,參加為期三天的人工智能與核戰爭大會,最終簽署了《羅馬宣言》,強調人類尊嚴、合作與和平。此次活動受教皇利奧十四世通諭《偉大的人性》啓發,重點討論了人工智能治理的緊迫性。

  • 全球諾貝爾獎得主大會召集了200多位獲獎者,探討人工智能與核戰爭風險。
  • 受教皇利奧十四世通諭《偉大的人性》啓發。
站內正文

AI代理就緒度檢查器:為智能體網絡打造的Lighthouse

Chat Thing推出免費工具,模擬AI代理訪問網站的方式,從訪問、引用、交易三個層級評估就緒度,並提供具體修復建議。

  • 免費工具,無需註冊,輸入網址即可獲取報告
  • 從訪問、引用、交易三個層級評估網站對AI代理和LLM的友好度
站內正文

Neko Health融資7億美元,將AI身體掃描服務擴展至美國

Neko Health 已獲得7億美元的C輪融資,在美國推出其AI驅動的預防性健康篩查服務,首先在紐約開設診所。該公司結合全身掃描、血液檢測和臨牀醫生審查。

  • Neko Health 融資7億美元,將其AI身體掃描服務擴展到美國。
  • 本輪融資由Lightspeed和O.G. Venture Partners領投,多位名人也參與了投資。
站內正文

Show HN:Glad-AI-Tor——由大眾評判的“最佳”AI工具

Glad-AI-Tor是一個基於真實用户投票的AI工具排名平台,覆蓋語音、大語言模型、圖像、視頻、編程和音樂六大領域,共75款工具,188個投票。排名完全由大眾決定,不可購買。

  • 平台包含六大類別:語音、大語言模型、圖像、視頻、編程和音樂。
  • 所有排名基於真實訪客的推薦或反對投票,每個工具每人只能投一票。
站內正文

Show HN:免費Ollama AI交易桌面應用

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

  • VaultCharts提供免費的桌面交易應用,包含圖表工具和AI助手。
  • 用户可以使用自己的AI模型或像Ollama這樣的本地模型。
站內正文

考慮參數不確定性的簡約擾動感知最小時間規劃

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

  • 將先前的擾動感知MLTP擴展到考慮轉動慣量、質心位置和空氣阻力系數的不確定性。
  • 採用簡約激活策略,僅在關鍵路段施加魯棒約束,保持計算可行性。
站內正文

利用慣性測量與氣壓計實現姿態估計

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

  • 提出氣壓計輔助姿態估計架構,利用氣壓高度測量補充垂直運動信息。
  • 設計確定性Riccati觀測器與互補濾波器級聯,實現幾乎全局漸近穩定。
站內正文

一演示中的世界:用於學習開放世界移動操作的合成數據引擎

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

  • WANDA僅需一次真實演示即可生成大量合成訓練數據。
  • 利用高斯濺射和全身運動規劃進行數據合成。
站內正文

HRO:面向零樣本目標導航的層級房間到物體框架

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

  • 針對零樣本目標導航任務,現有方法缺乏類人的層級空間認知建模,導致探索盲目和語義關聯不準。
  • HRO框架通過LLM驅動,將導航過程分為房間級和物體級兩層,實現由粗到細的導航策略。
站內正文

3DGS驅動的動態視角與振動觸覺框架:用於水下遙操作,經功能性近紅外光譜驗證

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

  • 動態自適應視角系統(DAVS)通過實時3D高斯潑濺合成無遮擋外部視角
  • 振動觸覺套裝將障礙物距離映射為觸覺信號,降低感官負荷
站內正文

人形機器人設計中的恐怖谷貝葉斯框架

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

  • 恐怖谷效應被轉化為四個可操作的數學變量。
  • 類別模糊和外觀-運動不匹配可導致親和力降低。
站內正文

潛能之力:靜電觸覺執行器綜述

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

  • HVEAs provide fast, silent, and low-power actuation for haptics.
  • The survey covers four classes: switchable adhesives, dielectric elastomers, electrohydraulic actuators, and electrokinetic pumps.
站內正文

環境監測中自主無人機覆蓋最大化路徑規劃:系統性文獻綜述

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

  • 系統綜述了2015-2026年間562篇相關文獻,最終納入247篇進行全文評估。
  • 研究發現主要集中在覆蓋路徑規劃、多無人機協調和能量感知優化,但缺乏對天氣和不確定性的考慮。
站內正文

可微分偏振路徑追蹤

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

  • 現有可微渲染僅依賴輻射強度,忽略了偏振信息對幾何與材質的約束。
  • 偏振正向模擬可通過Mueller-Stokes演算實現,但反向微分因偏振算子的秩虧特性而面臨數值不穩定。
站內正文

AffectFlow-DINO:基於條件整流流的不確定性感知多任務情感估計

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

  • AffectFlow-DINO採用條件整流流生成分佈,替代單點估計,實現不確定性感知。
  • 系統在多任務(效價-喚醒度、表情分類、動作單元檢測)上均取得提升。
站內正文

即時場景圖增長:應對長時域機器人中的感知飽和

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

  • 傳統3D場景圖管道因窮舉式環境映射導致感知飽和,不適合邊緣平台實時需求。
  • JITOMA框架通過前端任務熱圖和後端LLM協同,實現場景圖按需增長。
站內正文

主動學習結合弱監督實現手術視頻的高效標註

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

  • 結合主動學習與弱監督,將手術視頻標註工作量降低50%。
  • 使用基礎模型生成時序一致的類激活圖,通過雙損失優化訓練。
站內正文

持續演進的深度偽造檢測:動態檢測系統的架構與公開基準評估

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

  • 靜態檢測器因訓練分佈與實時生成器不匹配,在野外場景中AUC下降45-50%。
  • BMF通過Bittensor SN34的持續對抗訓練,動態適應新生成技術。
站內正文

自監督視覺表示學習:預訓練微調還是聯合訓練?

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

  • 研究比較了八種自監督方法和多種視覺任務,評估不同標籤比例下的性能。
  • 聯合訓練(JT)同時優化自監督和監督損失,在低標籤場景下更魯棒且高效。
站內正文

MGFace:基於掩碼門控的條件相似度路由人臉匹配

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

  • 提出掩碼門控機制,區分戴口罩與未戴口罩查詢人臉,避免不必要的精細計算
  • 僅在戴口罩查詢時激活基於上臉區域的局部重排序,提升效率
站內正文

無監督鋼表面缺陷識別的掩碼自編碼器方法

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

  • 利用掩碼自編碼器在無標籤鋼表面圖像上學習缺陷表示
  • 預訓練時掩碼75%的補丁,解碼器重構,編碼器聯合訓練缺陷定位
站內正文

Boogu-Image-0.1:推動開源統一多模態理解與生成

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

  • Boogu-Image-0.1是開源統一多模態模型家族,包含多個變體
  • 在文本到圖像生成、推理速度、指令編輯和雙語渲染上有競爭力
站內正文

C-Norm:細胞分佈歸一化實現醫學細胞圖像的精準識別

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

  • C-Norm通過解耦並重新合成異常和正常細胞,實現細胞分佈歸一化。
  • 集成YOLOv12與DINOv3模塊,提升特徵表示能力。
站內正文

混合曼巴架構用於視聽導航

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

  • 提出Samba,混合曼巴架構,用M-SE替換GRU,用AME改進卷積
  • 在Matterport3D數據集上SR提升11.3%,在Replica數據集上表現更優
站內正文

STKAN:用於時空預測的Kolmogorov-Arnold網絡

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

  • STKAN將泰勒多項式KAN模塊引入時空預測的令牌混合過程。
  • 通過可學習的軟節點組分配機制構建高層次空間表示並進行組級混合。
站內正文

用能力與熟練度建模解耦知識狀態的知識追蹤

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

  • 現有KT方法未區分能力構建與熟練度導向的學習階段。
  • PAKT通過分解機制將交互序列分為能力和熟練度兩個階段。
站內正文

TSSM:用於全球站點天氣預報的三軸狀態空間模型,採用時間-變量-歷史建模

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

  • TSSM通過週期對齊的歷史數據增強短期模式,提升全球站點天氣預報準確性。
  • 在最大數據集Weather-5K上實現最先進性能,準確率和極端事件指標分別提升10%和61%。
站內正文

面向流式系統中事件觸發的大語言模型調用的不確定性感知序列決策規則

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

  • 將LLM調用時機問題形式化為基於風險的序列停止問題。
  • 證明六個理論結果,包括遺憾界和收斂保證。
站內正文

從神經網絡中定向恢復權重空間機制

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

  • 定向參數分解(tPD)通過高秩全能組件僅提取處理特定輸入的神經網絡組件
  • tPD在4塊Transformer上以7%的浮點運算量復現了已發表的分解結果
站內正文

模型丟棄的信息為何值得找回:基於丟棄幾何的遮蔽、指紋識別與隱私保護

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

  • 引入了零纖維和穩定子概念,量化機器學習模型對李羣對稱性的不敏感程度。
  • 利用Peter-Weyl定理對緊緻羣給出譜特徵刻畫,並設計了基於牛頓迭代的高效計算方法。
站內正文

聯邦可解釋人工智能:角色、架構、評估與開放挑戰

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

  • FedXAI將可解釋性整合到聯邦學習全生命週期,支持聚合、個性化、魯棒性等。
  • 綜述提出分類法,按解釋角色、模型類型、集成水平等組織文獻。
站內正文

超越骨幹網絡反向傳播:一種高效遷移學習的解耦策略

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

  • 解耦訓練策略,僅需一次預計算特徵
  • 顯著減少訓練時間和二氧化碳排放
站內正文

從頭實現自動微分:PyTorch如何在物理信息神經網絡中計算梯度

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

  • 展示了PyTorch自動微分在PINN中的兩層微分:物理導數ŷ'和參數梯度∇θL
  • 使用1-3-3-1網絡結構,完整追蹤每個節點的計算圖和反向傳播
站內正文

網絡智能:面向人機團隊科學的主動共享上下文圖

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

  • 大多數AI科學系統專注於擴展個體推理,但複雜問題需要團隊合作。
  • Mycelium創建一個主動共享工作空間,捕捉並在人類和AI代理間路由上下文。
站內正文

CayleyR:通過循環交集解決TopSpin謎題

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

  • cayleyR通過檢測凱萊圖中的循環交集來求解排列謎題
  • 算法使用迭代雙向搜索和距離引導的橋接選擇
站內正文

主題導航

研究 — AI 主題新聞 | AI News Hub