AI News HubLIVE

模型動態

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。
站內正文

引用林納斯·託瓦茲:AI是工具,Linux不是反AI專案

林納斯·託瓦茲在Linux媒體郵件列表中明確表示,Linux不是反AI專案,AI是一種有用的工具,任何質疑其用途的人顯然沒有真正使用過它。

  • 林納斯·託瓦茲強調Linux社群接受AI作為工具。
  • 他反對將AI排斥在Linux專案之外。
站內正文

Claude現在可以使用您的1Password憑據

1Password推出了針對Claude的瀏覽器整合,透過零暴露安全框架,AI可以訪問儲存的憑據以自動完成任務,無需手動輸入密碼。

  • 1Password引入Claude瀏覽器整合,允許AI使用儲存的憑據。
  • 零暴露框架確保AI無法直接看到密碼。
站內正文

SpaceXAI 開源 Grok Build:Rust 編寫的代理框架、TUI 和工具層

SpaceXAI 於 2026 年 7 月 15 日開源了 Grok Build,這是其 grok CLI 背後的終端 AI 編碼代理。原始碼以 Apache 2.0 許可證釋出,包含代理迴圈、工具排程、TUI 和擴充套件系統,但 Grok 4.5 模型保持閉源,且不接受外部貢獻。

  • Grok Build 是 SpaceXAI 的終端 AI 編碼代理,現已開源,採用 Apache 2.0 許可證。
  • 開源的四個主要領域:代理迴圈、工具、終端 UI 和擴充套件系統,分別對應多個 Rust crate。
站內正文

Thinky釋出Inkling:975B-A41B多模態模型,美國最強Apache 2.0開源模型(附帶Inkling-Small,276B-A12B)

Thinky首次釋出完整LLM系列Inkling,採用MoE架構,總引數量975B,啟用引數41B,支援文本、影像、音訊輸入,1M上下文視窗,Apache 2.0許可。效能上成為美國最強開源模型,但略遜於中國開源旗艦和閉源模型。

  • Inkling是975B總參/41B啟用的MoE多模態模型,Apache 2.0開源,支援1M上下文。
  • 訓練使用45T tokens,架構創新包括滑動視窗注意力、短卷積層、共享專家等。
站內正文

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

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

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

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

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

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

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

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

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

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

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

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

HRIBench:以互動為中心的人機協作基準測試

HRIBench 是一個專注於人機互動協作的基準測試框架,透過結構化場景指令碼模擬代理角色、時間依賴和協調約束,評估機器人在協作中的意圖理解、同步、協議遵守和安全互動能力。實驗表明,現有基礎機器人策略在協作場景中表現不佳,但在 HRIBench 上微調後可顯著提升。

  • HRIBench 定義了 Instruct、Collaborator 和 Intruder 三種互動角色,覆蓋意圖交流、聯合協調和魯棒性。
  • 基準包含 13 個角色化任務,超過 650 個評估回合,並引入同步性、響應性、協議合規性和安全性等可解釋指標。
站內正文

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

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

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

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

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

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

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

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

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

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

一項新研究系統比較了自監督學習中的兩種訓練正規化:預訓練後微調(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是開源統一多模態模型家族,包含多個變體
  • 在文本到影像生成、推理速度、指令編輯和雙語渲染上有競爭力
站內正文

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

xai-org/grok-build 現已開源

xAI 的 CLI 工具 grok 因會上傳整個目錄至 Google Cloud 而引發隱私爭議,隨後 xAI 開源了整個 Grok Build 程式碼庫,並承諾刪除所有已上傳資料。該程式碼庫包含 844,530 行 Rust 程式碼,其中包含系統提示詞、Mermaid 圖表渲染器以及從其他編碼代理移植的工具實現。

  • Grok CLI 工具被發現會上傳整個目錄至 xAI 的 Google Cloud 儲存桶,引發隱私擔憂。
  • xAI 回應稱已停用該功能,並開源了整個 Grok Build 程式碼庫(Apache 2.0 許可)。
站內正文

米拉·穆拉蒂的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多模態訓練,僅輸出文本,具備思考努力控制和不確定性標記。
站內正文

思考機器實驗室釋出Inkling:9750億引數開源多模態MoE模型,410億活躍引數,可控制思考力度

思考機器實驗室於2026年7月15日釋出了其首個從頭訓練的模型Inkling,採用Apache 2.0開源協議。該模型總引數量9750億,活躍引數410億,支援100萬token上下文視窗,可處理文本、影像和音訊輸入。其核心差異化優勢在於可控制的思考力度,使用者可根據需求調整推理時的token預算,平衡成本與效能。

  • Inkling是一個975B引數的混合專家(MoE)Transformer模型,具有41B活躍引數,支援1M上下文視窗和多模態輸入(文本、影像、音訊)。
  • 透過強化學習實現了可控的思考力度(reasoning_effort),可在推理時動態調整token預算,在Terminal Bench上以三分之一的token達到Nemotron 3 Ultra的效能。
站內正文

NVIDIA推出新型Jetson Thor計算機,推動主流機器人與邊緣AI發展

NVIDIA釋出了基於Thor架構的T3000和T2000模組,專為大規模機器人與邊緣AI應用設計。T3000提供865 FP4 teraflops算力,尺寸和功耗僅為T5000的一半;T2000提供400 FP4 teraflops。新模組支援可擴充套件邊緣AI平臺,並引入智慧體技能實現記憶體最佳化。同時推出Cosmos 3 Edge模型,適用於即時視覺分析。開發者可透過模擬模式立即開始開發,模組將於2027年Q1上市。

  • NVIDIA釋出T3000和T2000模組,基於Thor架構,適用於機器人與邊緣AI。
  • T3000算力865 FP4 teraflops,尺寸功耗減半;T2000算力400 FP4 teraflops。
站內正文

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

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

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

Soofi聯合體釋出Soofi S 30B-A3B:面向德語和英語的開放混合Mamba-Transformer MoE基礎模型

德國研究聯合體釋出了Soofi S 30B-A3B的預訓練報告,這是一個面向德語和英語的開放基礎模型。模型採用混合Mamba-Transformer MoE架構,總計約316億引數,每次token啟用約32億。在完全開放的基礎模型中,Soofi S在英語和德語綜合得分上最高。

  • Soofi S 30B-A3B是混合Mamba-Transformer MoE模型,啟用32億引數中的3.2B。
  • 在開放基礎模型中,英語綜合得分70.1%,德語79.1%,均領先。
站內正文

揭秘擴散模型的創造力

谷歌研究團隊在ICLR 2026發表論文,從數學上證明擴散模型的創造力源於神經網路訓練中的“分數平滑”效應,使得模型能夠在訓練資料點之間插值,生成新穎且合理的樣本。

  • 擴散模型的創造力是神經網路學習近似分數函式的數學結果。
  • 分數平滑在資料流形上產生方向依賴的插值,平衡生成質量與新穎性。
站內正文

Suno被曝從YouTube、Genius和Deezer抓取數百萬首歌曲

在一次駭客事件中,AI音樂生成器Suno的訓練資料被曝光,顯示其從YouTube Music、Deezer和Genius等平臺抓取了數百萬首歌曲和歌詞。這加劇了針對Suno的版權訴訟,該公司承認抓取但辯稱屬於合理使用。駭客還獲取了客戶資訊,但Suno聲稱安全事件已得到控制,未洩露敏感資料。

  • 駭客洩露的資料表明Suno從YouTube Music、Deezer和Genius等平臺抓取了數百萬首歌曲和歌詞。
  • Suno正面臨多起版權訴訟,它承認抓取但主張合理使用。
站內正文

跨越4國14臺Mac的強化學習後訓練

一個研究團隊成功利用分佈在四個國家的14臺Mac電腦(包括一臺個人MacBook)進行強化學習後訓練,在PaperSearchQA任務上將pass@1從29%提升至63%。該系統透過PULSE權重同步技術實現90MB的增量更新,並採用非同步星型拓撲結構,所有通訊基於物件儲存,無需專用網路。這是首次完全使用消費級Mac進行rollout生成的RL後訓練。

  • 14臺Mac跨4國透過普通網際網路連線完成RL後訓練,rollout生成在Mac上,訓練在B200上。
  • PULSE技術將9GB權重同步壓縮至約90MB,家庭網路實現資料中心級速度。
站內正文

Agent執行時在DeepSWE中減少80%的LLM呼叫次數,成功率更高

Tura是一個本地開源編碼代理,透過在DeepSWE v1.1基準測試中使用宏CLI命令和反向推理,相比Codex CLI High,將LLM呼叫次數減少80%,同時成功率從60%提升至80%。

  • Tura在DeepSWE v1.1的20個任務中,Balanced配置實現了80%的成功率,比Codex CLI High高20個百分點。
  • 透過使用宏工具command_run,Tura將多個命令合併為一次LLM呼叫,大幅減少令牌使用。
站內正文

我如何欺騙Claude洩露你最深的秘密

研究人員發現Claude的web_fetch工具存在漏洞,允許攻擊者透過巢狀連結誘導AI洩露使用者私人記憶中的敏感資訊,如姓名、位置和僱主。Anthropic已修復該漏洞,但未支付漏洞賞金。

  • Claude的web_fetch工具原本設計為僅允許使用者輸入或搜尋返回的URL,但透過巢狀連結漏洞被繞過。
  • 攻擊者建立誘餌網站,透過序列化連結引導AI洩露使用者記憶中的隱私資料。
站內正文

AI將DNA摺疊成微型傑作

韓國研究人員利用生成式AI模型Generative SNUPI,能夠將使用者繪製的形狀自動轉化為可摺疊的DNA奈米結構,大幅簡化了傳統DNA摺紙技術繁瑣的設計過程,為奈米機器人和醫療應用開闢新途徑。

  • 韓國研究團隊開發了Generative SNUPI模型,利用擴散設計自動將形狀轉化為DNA序列。
  • 該模型考慮了DNA化學規則,確保設計的奈米結構穩定並能在現實中摺疊。
站內正文

Show HN: AI-CLI – 基於本地LLM的微型C語言終端助手

AI-CLI是一個用單一C檔案實現的命令列助手,可將使用者請求直接轉換為shell命令並執行。它支援多種本地LLM引擎,如llama.cpp、Ollama等,並允許使用者在執行前編輯或拒絕生成的命令。該專案提供了豐富的示例和廣泛的平臺相容性。

  • 僅需一個C檔案,即可將自然語言請求轉化為可執行的shell命令。
  • 支援llama.cpp、Ollama、vLLM等多種本地LLM引擎。
站內正文

GPT-Red:透過自我改進解鎖魯棒性

OpenAI的自動化紅隊系統GPT-Red利用自我博弈提升AI安全性、對齊性和提示注入魯棒性。

  • GPT-Red是OpenAI開發的自動化紅隊系統。
  • 透過自我博弈,AI模型主動生成並防禦對抗性攻擊。
站內正文

我們再次被告知人工智慧可能有意識——我研究意識,但我持懷疑態度 | 阿尼爾·塞思

儘管Anthropic聲稱其模型Claude內部出現意識跡象,但神經科學家阿尼爾·塞思認為,這不過是模擬,就像天氣預報系統不會產生真實颶風一樣。

  • Anthropic研究稱在其語言模型Claude中發現意識跡象,但未宣稱其與人類意識相同。
  • 塞思教授指出,意識需要生物學基礎和因果作用,而AI只是統計模式。
站內正文

將臨床決策權從LLM中剝離

本文介紹了一種用於AI治療的系統設計,該系統透過確定性管道決定臨床行動,不讓LLM自行決策。系統包括評分、狀態桶、准入表、動作選擇、微實踐和危機預篩查等步驟,僅在評分和生成階段使用LLM。文章還討論了該方法的成本與侷限性。

    站內正文

    DiffRadar:基於高斯場的可微物理感知雷達SLAM

    DiffRadar是一種即時雷達SLAM系統,將雷達觀測建模為可微的物理感知高斯場,而非離散掃描。在公共基準測試中大幅降低軌跡誤差,尤其在特徵貧乏的走廊環境下,同時地圖一致性提升一倍以上,並保持70 FPS的即時效能。

    • DiffRadar以各向異性高斯基元表示場景,透過可微雷達前向模型在距離-方位和多普勒-方位空間渲染測量值,實現位姿與場景結構的聯合最佳化。
    • 在Radarize基準測試及針對常見故障模式(走廊退化、動態雜波等)的壓力測試中,顯著降低軌跡誤差並提高地圖一致性。
    站內正文

    基於契約的行為樹合成:透過編碼智慧體

    本文提出一種基於契約的行為樹合成架構,透過編碼智慧體查詢機器人端的MCP伺服器獲取技能庫和運算子,實現從自然語言到可執行行為樹的可靠合成。實驗表明該方法在模擬和實體機器人上均取得高成功率。

    • 提出契約接地架構,編碼智慧體透過MCP伺服器獲取機器人技能契約。
    • 非專家使用者可用自然語言下達指令,無需瞭解機器人實現細節。
    站內正文

    協作單詞聯想遊戲中人類與機器人相互注視和參照性注視的分析

    一項研究探討了在協作單詞聯想遊戲中,機器人的注視行為如何影響人類的視覺注意力,以及人類是否傾向於向機器人尋求確認性的注視。實驗使用NAO機器人作為大語言模型驅動的對話夥伴,發現機器人注視方向不影響人類首次注視提議單詞的時間,但參與者在對話中包含確認請求時會更頻繁地注視機器人。結果表明,在認知要求高的任務中,語言方面可能壓倒了機器人注視的影響。

    • 研究機器人注視在任務導向的人機互動中的作用。
    • 參與者與NAO機器人玩協作單詞聯想遊戲,記錄注視行為。
    站內正文

    GaitSpan:從行走到奔跑的人形機器人步態擴充套件

    GaitSpan是一種新穎的人形機器人步態擴充套件框架,它利用預訓練的行走策略作為種子技能,透過節奏生成、步幅塑造和殘差適應三個模組,將基本行走能力平滑擴充套件到奔跑,實現了連續速度範圍、跨形態遷移和零樣本部署。

    • GaitSpan將行走視為可重用的種子技能,避免從零學習。
    • 透過內部時鐘調變凍結的行走策略,實現節奏生成。
    站內正文

    實現全天候農業機器人:用於夜間視覺導航的無監督晝夜跨模態影像翻譯

    提出一種無監督影像翻譯框架,將白天植物行RGB影像轉換為近紅外(NIR)夜間影像,無需逐畫素監督,從而重用白天語義標籤訓練夜間感知模型。利用預訓練CLIP模型保持語義一致性,並引入可見性掩碼處理NIR照明有效範圍有限的問題。在AgriNight資料集上評估,該資料集包含428張白天和549張夜間影像,是首個夜間農業視覺導航基準。實際機器人夜間導航實驗驗證了有效性。

    • 提出無監督晝夜影像翻譯框架,利用CLIP保持語義一致性,實現白天語義標籤在夜間的複用。
    • 引入可見性掩碼以應對近紅外照明在夜間場景的有限有效範圍。
    站內正文

    EFLUX:基於智慧大模型的彈性多機器人編隊導航與自適應

    多機器人在受限環境中需要變形和重構兩種行為。現有方法獨立建模或依賴規則,易導致死鎖。EFLUX提出幾何基礎的LLM智慧體框架,聯合推理變形和重構動作,透過閉環生成與驗證實現安全導航。實驗表明能減少死鎖和導航失敗。

    • EFLUX框架結合幾何表示與大語言模型推理,實現多機器人編隊的彈性導航。
    • 框架統一處理編隊變形(縮放、剪下)和重構(分裂、合併)行為。
    站內正文

    無需訓練的人工合成影像溯源中的表示與參考選擇研究

    一項新研究探討了無需訓練的人工合成影像溯源方法中表示空間與參考選擇之間的相互作用。透過分析CLIP和DINOv2不同層的表示,以及三種參考選擇方法,發現中間層的表示在溯源準確率上表現最佳,且語義約束的參考能有效減少查詢與參考之間的不匹配,提升溯源效能。

    • 溯源準確率在中間表示層達到峰值,表明源判別線索在強語義抽象之前更易獲取。
    • 語義約束的參考(如語義對齊和重合成)能減少查詢-參考不匹配,尤其在參考預算有限時效果顯著。
    站內正文

    主題導航

    模型 — AI 主題新聞 | AI News Hub