AI News HubLIVE

研究動態

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透過檢測凱萊圖中的迴圈交集來求解排列謎題
  • 演算法使用迭代雙向搜尋和距離引導的橋接選擇
站內正文

Oracle Agent Memory:面向長期AI代理的企業級記憶體基礎架構

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

  • 代理記憶體對於長期執行的AI代理至關重要,用於保留任務狀態、使用者偏好和程式性知識。
  • Oracle Agent Memory基於Oracle資料庫構建,其生命週期涵蓋攝取、提取、合併、檢索、摘要和修訂/刪除。
站內正文

利用圖工具改進小型語言模型中的分子屬性預測

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

  • 小型語言模型對分子結構存在盲區,序列表示無法捕捉關鍵圖拓撲線索。
  • 提出的框架透過GNN專家模型提供預測提示,並提取解釋性子圖。
站內正文

現代代理系統中的自我改進:一項綜述

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

  • 自我改進代理正從研究原型轉向實際部署
  • 提出將代理建模為基礎模型與提示、記憶、工具等支架的耦合
站內正文

基於貝爾納普型別內涵一階邏輯的機率擴充套件神經符號通用人工智慧機器人

本文提出了一種基於貝爾納普型別內涵一階邏輯(IFOL_B)的機率擴充套件神經符號通用人工智慧(AGI)框架。透過引入尼爾森機率結構,該框架能夠為當前未知的語句計算機率,並利用全域性和區域性對稱變換保持知識庫和邏輯推理的一致性。機率密度函式的計算基於夏農最大資訊熵,並由神經網路實現。

  • 結合神經學習和符號推理,克服純神經系統的侷限性。
  • 引入尼爾森機率結構處理未知語句的機率計算。
站內正文

干預式基礎審計:透過謂詞替換對LLM思維鏈進行黑盒前提依賴測試

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

  • 提出干預式基礎審計方法,透過謂詞替換在黑盒步驟級測試LLM思維鏈的前提依賴。
  • 在ProntoQA基準上,F1=0.806,顯著優於自一致性基線(F1=0.343)。
站內正文

SPINE:用智慧體AI彌合網路物理鴻溝

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

  • SPINE使用多智慧體工作流進行機器人畫像構建和迭代除錯。
  • 新手使用SPINE在DOBOT X-Trainer上超越專家,成功率100%。
站內正文

OriginBlame:AI訓練資料集的記錄級和令牌級資料溯源

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

  • OriginBlame透過記錄級和令牌級溯源,精確解決AI訓練資料中的刪除請求。
  • 在維基百科資料上,過度刪除從101倍降至1.3倍。
站內正文

將二維設計高效轉化為三維模型的快速原型製作新方法

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

  • 研究人員提出GIFT框架,利用模型自身的錯誤生成訓練資料,提升CAD程式生成質量。
  • 相比其他方法,GIFT僅需約20%的計算量即可生成更精確的CAD模型。
站內正文

AI如何重塑關鍵基礎設施的服務運營

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

  • 異常檢測使維護從被動轉向主動,即時感測器資料驅動干預。
  • 規範性指導整合診斷證據,提供下一步最佳行動,縮小技術人員表現差異。
站內正文

米拉·穆拉蒂的Thinking Machines推出Inkling,開放權重模型任何人都可訪問

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

  • Thinking Machines釋出首個基礎模型Inkling,擁有9750億引數(活躍410億),完全開放權重。
  • 模型經45萬億token多模態訓練,僅輸出文本,具備思考努力控制和不確定性標記。
站內正文

代理編排:企業AI組織面臨的不是平臺問題,而是部署問題——大多數所謂的‘代理’只是聊天機器人

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

  • Anthropic Claude是主要編排平臺,佔40%,遠超其他競品。
  • 71%的企業表示其部署的‘代理’中只有四分之一或更少是真正的多步驟編排工作流。
站內正文

投機性增長與人工智慧“泡沫”

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

  • 論文分析AI領域的投機性增長
  • 討論AI是否處於泡沫階段
站內正文

AWS 在其 Marketplace 產品組合中增加 AI 輔助產品列表服務

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

  • AWS Marketplace 推出AI輔助產品列表功能,幫助合作伙伴最佳化列表並節省時間。
  • AI代理的快速增長推動了該類別,合作伙伴從900個增至3400多個。
站內正文

AI資料中心與財富集中

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

  • 反對AI資料中心分散了對AI公司財富集中的關注。
  • AI公司目標是取代教師、醫生等職業,控制行業價值。
站內正文

3個問題:神經透明性與AI設計的未來

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

  • 神經透明性工具透過視覺化模型內部啟用方向,讓使用者在設計階段預覽AI的個性特徵。
  • 研究發現使用者經常誤判AI行為,高估積極特質,低估諂媚等有害傾向。
站內正文

Show HN:OpenClaw助您健康

Murph是一款AI健康助手,透過連線可穿戴裝置、血液檢查等資料,幫助使用者進行自我實驗、建立習慣、參與群組挑戰,並提供個性化的健康洞察。它支援開源自託管,注重隱私,月費8美元。

  • Murph整合多種可穿戴裝置和健康資料來源,提供每日健康簡報和實驗。
  • 支援群組挑戰,透過比賽和每週郵件鼓勵使用者堅持健康習慣。
站內正文

主題導航

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