AI News HubLIVE

研究動態

用AI構建終端ePub閲讀器的一些思考

作者利用AI編碼助手(Codex CLI、Gemini CLI、Claude Code)將Python的epub閲讀器epy移植到Rust,開發了終端閲讀器repy。項目從2025年11月開始,2026年2月發佈,但僅獲得少量關注。文章反思了AI時代軟件過剩的現象,並探討了創作的意義。

  • 作者使用AI編碼工具在數月內將epy移植為Rust項目repy。
  • repy支持多種格式、搜索、註釋、TTS等功能,但代碼完全由AI生成。
站內正文

面向任務特定優化的自動進化提示指南

本文提出AGOPS方法,自動生成任務特定的提示指南,幫助用户編寫更明確的提示,從而大幅提升大語言模型的下游性能。實驗表明,未明確指定的提示可導致性能下降高達95.3%,而現有通用指南難以恢復,但AGOPS指南可使性能提升15.5%至81.7%。

  • 用户提示的模糊性導致大語言模型性能大幅下降(最高95.3%)。
  • 現有提示工程指南多為通用且手工制定,缺乏針對性。
站內正文

UzWordnet與生成式AI:通過遊戲學習烏茲別克語

本文介紹了一種結合UzWordnet和生成式AI的教育系統架構,通過四款遊戲幫助學習者練習烏茲別克語,並利用遊戲數據自動豐富詞彙資源。

  • 整合UzWordnet與生成式AI支持烏茲別克語遊戲化學習
  • 設計了詞彙匹配、句子構建、翻譯挑戰和語法闖關四款遊戲
站內正文

語言模型代理之間的潛在通信:通道、對齊與文本的侷限性

新研究表明,大型語言模型代理在通過文本通信時會丟失信息。使用稀疏自動編碼器特徵分析,研究者發現潛在空間通信雖然在某些壓縮率下保留更多信息,但丟失的特徵主要編碼表面形式而非任務相關語義,從而對潛在通信的優勢提出質疑。

  • 文本通信丟失信息,SAE稀疏通道在28倍壓縮下保持99.4%的探針準確率,而文本通道僅為80.4%。
  • 跨架構潛在空間對齊(Llama和Mistral)達到92%的Top-1檢索率。
站內正文

UniSAGE:利用超結構統一靜態和動態屬性

UniSAGE是一種統一框架,用於建模同時包含靜態和動態屬性的數據。它通過構建全局屬性圖、引入正交參數子空間以及輕量級超結構機制,實現了靜態聚合和動態推理的聯合學習。實驗表明,UniSAGE在多個基準測試上性能提升超過10%。

  • UniSAGE構建全局屬性圖,統一表示層次和時間關係。
  • 通過正交參數子空間實現靜態和動態特徵的共享語義空間。
站內正文

LBA:低查詢預算下的文本硬標籤對抗攻擊

本文提出一種基於採樣的方法LBA,用於在低查詢預算下生成高質量文本對抗樣本。該方法結合先驗和後驗知識構建近似分佈,通過採樣逐步更新分佈,從而高效搜索對抗樣本。實驗表明,LBA在六個語言模型和四個數據集上顯著優於現有基線,且生成的對抗文本語義保持更好、更易理解。

  • 現有硬標籤對抗攻擊依賴貪心算法,查詢成本高且易陷入局部最優。
  • LBA通過採樣方法構建近似分佈,結合先驗和後驗知識指導搜索。
站內正文

阿拉伯語的量子組合自然語言處理:電路拓撲中的語法、形態與詞義

本文首次將基於預羣語法的量子組合自然語言處理應用於阿拉伯語,利用量子電路的拓撲結構模擬語法關係。實驗涵蓋詞序、形態時態和動詞義消歧,量子方法在多項任務上優於傳統基線。

  • 首次將QNLP應用於形態豐富的阿拉伯語。
  • 使用預羣語法將句子映射為量子電路。
站內正文

持續提示:評估視覺語言模型中的重複蘇格拉底式提問

研究提出JKP框架,通過重複挑戰性提問評估視覺語言模型的穩定性。測試GPT-4o、Gemini 2.5 Pro和Qwen3-VL-30B發現,模型在持續追問下表現不穩定,答案頻繁翻轉,且不同模型響應模式各異。

  • JKP框架通過三種策略(對抗性否定、純蘇格拉底式質詢、上下文感知蘇格拉底式總結)對VLM進行最多10輪追問。
  • 在STAR基準測試中,模型總體準確率變化不大,但軌跡分析顯示大量答案翻轉和不穩定。
站內正文

閉環知識動力學:飽和與逃逸的操作框架

該研究分析了閉環知識系統(如大型語言模型、強化學習)為何在重複內部反饋下趨於飽和,並提出了一個三層次操作框架,通過結構干預實現逃逸。使用李雅普諾夫漂移條件刻畫穩定性,並通過干預引起的吸引子位移和KL下界表徵逃逸。案例研究包括LLM代碼修復、稀疏獎勵強化學習和貝葉斯優化。

  • 閉環系統在重複內部反饋下收益遞減,需外部信息突破吸引子。
  • 提出三層次框架:知識狀態通過結構參數θ的轉移核演化,結構干預可檢測。
站內正文

RENEW:利用人類偏好學習世界模型並修復模型利用問題

離線強化學習中世界模型易受模型利用問題影響,現有方法成本高或限制泛化。本文提出RENEW方法,通過人類偏好直接修復模型利用,結合動力學學習與人類反饋,利用認知不確定性提高樣本效率,在多個環境中驗證了有效性。

  • 世界模型在離線強化學習中面臨模型利用問題,傳統解法成本高或限制泛化。
  • 提出動力學學習從人類反饋(DLHF)框架,利用人類偏好修補模型幻覺。
站內正文

基於邊緣特徵圖同構網絡的NR-V2X車聯網低延遲中繼選擇

本文提出了一種結合圖同構網絡與邊緣特徵(GINE)的邊緣感知學習優化框架,用於NR-V2X車聯網中的實時中繼選擇。通過將V2X快照建模為有向圖,並利用離線MILP最優解監督訓練GINE,實現毫秒級推理延遲。實驗表明,GINE在鏈路級別準確率達0.9589,F1分數0.9544,且混合GINE剪枝MILP(GP-MILP)策略在保持最優解的同時將求解器運行時間降至30毫秒以下,滿足NR-V2X嚴格的低延遲要求。

  • 提出邊緣感知學習優化框架,將中繼選擇問題轉化為圖學習任務,利用GINE網絡實現單次前向傳播推理
  • GINE在驗證集上達到0.9589的準確率和0.9544的F1分數,推理延遲嚴格限制在5毫秒內
站內正文

10-K文件的哪部分更重要?全文與風險因素情感分析的聚合依賴價值

該研究擴展了監督式詞典學習方法,應用於10-K文件及其第1A項風險因素部分,針對回報率和波動率標籤在三個聚合層級(行業、投資組合、個體公司)訓練情感分數。基於2006-2023年間94家納斯達克100科技公司的1,383份文件,發現全文本在行業和投資組合層面產生更準確的情感分析,但在個體公司層面,較窄的第1A項表現更好。Loughran-McDonald詞典基線在所有測試層級均與價格呈強烈負相關,凸顯了監督方法在監管披露文本中的價值。

  • 全文本在行業和投資組合層面更準確,第1A項在個體公司層面更優。
  • Loughran-McDonald詞典基線始終與價格強烈負相關。
站內正文

QFireNet:一種用於 Sentinel-2 影像野火分割的量子增強 U-Net

該論文提出 QFireNet,一種結合量子電路和 U-Net 的混合模型,用於從衞星圖像中分割野火。在 Sen2Fire 數據集上,量子增強模型(QB-Net 和 QuFeX)在 F1 分數上優於經典 U-Net 基線,且數據混合技術顯著提升了性能。

  • 將變分量子電路注入 U-Net 瓶頸部分,形成量子混合模型 QFireNet。
  • 量子模型 QB-Net 和 QuFeX 的 F1 分數分別為 31.18 和 30.79,優於經典 U-Net 的 28.71。
站內正文

多域檢索中的認證域一致性:基於共形風險保證的無標籤逐域污染控制

本文提出C3R,一種即插即用的控制層,通過推斷域後驗,無需查詢時標籤,在可行時認證逐域污染預算,否則棄權而非違規。該方法基於風險控制預測集的兩階段方案,保證最困難域污染減少,實驗表明穩定性好,召回率優於傳統方法。

  • C3R是一種無標籤、逐域污染控制層,可保證最困難域的污染減少。
  • 採用兩階段風險控制預測集方案,有限樣本傳輸邊界可估計並支持異構預算。
站內正文

利用LiDAR地形智能的可解釋地理空間AI用於衞星地面站選址

本文提出了一種可解釋的、全球可部署的機器學習框架,用於從開放地理空間數據預測代表雜波高度(RCH)。該模型使用LiDAR衍生的標籤進行訓練,並採用LightGBM迴歸器,平均絕對誤差為1.79米,R²=0.765,相比ITU基線誤差降低超過60%。SHAP分析顯示樹冠覆蓋、土地覆蓋語義和光譜反射率是最重要的預測因子。該工作被IEEE CASE 2026接收。

  • 提出基於開放地理空間數據的機器學習框架,預測代表雜波高度(RCH),優於ITU-R P.452-18的固定雜波高度方法。
  • 使用LiDAR數據訓練LightGBM模型,平均絕對誤差1.79米,R²=0.765,誤差降低60%以上。
站內正文

CARPRT:面向黑盒視覺語言模型的類別感知零樣本提示重加權

預訓練的視覺語言模型(VLM)通過計算圖像與文本描述的相似度實現零樣本圖像分類,但描述模板(prompt)的選擇對結果敏感。現有方法為所有類別使用相同的權重組合多個模板,忽略了模板對特定類別的適用性差異。CARPRT 提出了一種無需訓練的類別感知重加權方案,針對每個類別自適應調整模板權重。在標準基準測試中,CARPRT 優於現有的類別無關方法,證實了建模模板-類別依賴關係對零樣本預測和 VLM 應用的重要性。

  • 現有零樣本分類中,提示模板的權重對所有類別一致,但不同模板對各類別的適用性不同。
  • CARPRT 通過無訓練方式計算每個模板對每個類別的相關性,生成類別特定的權重。
站內正文

立場:可解釋性研究必須優先關注基礎問題而非臨時方法

儘管可解釋人工智能(XAI)技術層出不窮,從特徵歸因到稀疏自編碼器,但解釋很少影響實際工作流程。本文認為,機器學習社區必須從臨時性的XAI方法轉向解決基礎性和結構性的挑戰,包括不明確的問題表述、不充分的評估目標以及缺乏解釋驅動反饋的流程。通過對近期ICML、NeurIPS和ICLR論文的分析及對XAI從業者的調查,作者揭示了限制累積進展的常見問題,並提出了一個實用清單,旨在將XAI轉向更以人為中心、面向行動的模式。

  • XAI技術雖多,但在實際工作流程中很少被有效利用。
  • 需要轉向解決基礎性挑戰:明確問題表述、完善評估目標、構建反饋流程。
站內正文

通過知識圖譜增強小型語言模型的推理能力

最新研究將小型語言模型(SLM)與知識圖譜結合,通過神經符號智能體框架提升其推理能力。在CLUTRR親屬關係基準測試中,使用Gemma 3和Llama 3.2模型的實驗表明,RGCN提供的專家提示可使性能提升1.5-2倍,但存在提取瓶頸和順序推理脆弱性問題。

  • 小型語言模型(SLM)通過知識圖譜接地增強推理能力,成本更低且更環保。
  • 神經符號智能體框架使用extract_facts和get_hint兩種工具調用,結合RGCN專家推理。
站內正文

ToolAnchor: 錨定反事實上下文以提升智能體工具使用能力

本文針對工具增強型大語言模型智能體在擴展工具集時面臨的行為慣性問題,提出通過注入反事實錨定上下文來打破慣性,恢復失敗軌跡。ToolAnchor框架利用教師模型假設反事實上下文,經學生回滾驗證後,通過智能體後訓練內化成功干預,在GAIA、BrowseComp和VDR-Bench等任務中表現優異,為動態工具適應開闢了新路徑。

  • 識別了工具集擴展中的行為慣性障礙,即智能體傾向使用熟悉工具和推理模式。
  • 提出反事實錨定上下文方法,在關鍵決策點注入以打破慣性並恢復失敗軌跡。
站內正文

能力來源於存取結構而非規模:混合序列模型的下界與預註冊測試

該研究提出能力收斂假説(CCH),認為在固定推理預算下,表徵收斂並不必然導致能力收斂;能力收斂依賴於存取結構,即混合架構需同時擁有壓縮態通道和可擴展逐字索引通道。論文通過信息論下界和預註冊實驗驗證了該假説。

  • 提出能力收斂假説(CCH),挑戰“規模帶來能力”的傳統觀點。
  • 識別三種資源壁壘:香農壁壘、視野壁壘和電路壁壘,混合架構需逐一突破。
站內正文

用於運營決策支持的貝葉斯網絡的人機協同構建——一種虛擬調查方法

研究人員提出了一種利用大型語言模型(LLM)構建貝葉斯信念網絡(BBN)的新方法,該方法通過一組AI代理基於特定角色和上下文估計概率,並採用修剪均值規則去除噪聲,從而彌合專家意見與數據驅動學習之間的差距。研究以替代醫療系統中患者就醫意向為案例,發現自我效能的影響實際較小,而主觀規範的影響更強,最有效的策略是同時提升自信和社區規範。

  • 新方法利用大型語言模型和AI代理面板來估計概率,結合修剪均值規則減少噪聲。
  • 開發了一個六步貝葉斯網絡框架,用於建模不確定性下的決策。
站內正文

DialogueVPR:邁向對話式視覺地點識別

受人類交流空間信息的方式啓發,語言引導的地理定位因其直觀和實用價值而備受關注。然而,現有方法多依賴靜態的一次性檢索範式,難以處理真實世界自然語言描述中的歧義和不完整性。本文提出推理檢索的範式轉變,引入對話式地點識別(DlgPR),將定位視為交互式、對話驅動的推理過程。為此,論文構建了首個大規模對話式地點識別基準DlgQuest-Cities,並提出了統一推理框架,結合跨模態多級檢索器與智能提問器DQ-pilot。DQ-pilot通過課程學習訓練:在DQ-cities-20k子集上進行監督微調,再通過GRPO在更難的DQ-cities-10k上進行強化優化。實驗表明,基於推理的方法顯著優於基線。

  • 提出對話式地點識別(DlgPR),將定位轉化為交互式對話推理過程。
  • 構建首個大規模對話式地點識別基準DlgQuest-Cities。
站內正文

RegNetAgents:用於癌症基因組學跨網絡調控驅動因素識別的多智能體框架

RegNetAgents是一個基於AI的多智能體框架,能夠跨異質性基因調控網絡進行結構化的調控候選識別。該框架整合了TCGA和GREmLN項目的大規模網絡,對焦點基因進行雙網絡分類、癌症基因過濾和作用模式分配。在乳腺癌和結直腸癌的測試中,識別出的候選調控因子顯著富集於OncoKB註釋的癌症基因,且在管家基因中無富集,表明其特異性。框架還包含評估致癌潛力、可成藥性等擴展模塊。

  • RegNetAgents結合了來自TCGA(腫瘤批量)和GREmLN(單細胞)的ARACNe基因調控網絡。
  • 通過雙網絡分類、OncoKB過濾和作用模式分配,對焦點基因進行調控候選識別。
站內正文

IMEX:基於交互的模型解釋方法

IMEX(Interaction-Based Model Explanation)是一種新的可解釋預測建模方法,旨在識別對目標預測貢獻最大的變量以及變量間的重要交互。該方法支持高階交互分析,並基於靜態相關功率(PCS)和交互相關功率(PCI)兩個互補指標構建解釋圖。實驗驗證表明,IMEX能在非線性、條件性和多重共線性關係下恢復特徵級結構。

  • IMEX方法可識別重要特徵及其高階交互作用。
  • 框架包含兩個指標:PCS(特徵貢獻)和PCI(非加性交互效應)。
站內正文

HG-RAG:面向結構化知識圖譜的層級引導檢索增強生成

檢索增強生成(RAG)在擴展大語言模型上下文方面表現優異,但傳統RAG在涉及層級或關係推理時效果不佳。本文提出HG-RAG框架,通過在層級知識圖譜上進行圖遍歷,為語言模型提供結構化上下文。實驗表明,HG-RAG在層級、關係和跳推理任務上顯著優於平面檢索基線,同時減少了幻覺並保持了局部連貫性。

  • HG-RAG利用層級知識圖譜進行多方向圖遍歷來檢索上下文。
  • 在18-800節點的三種規模上,對四種查詢類型進行了評估。
站內正文

觀鳥而非打高爾夫:數據中心用水問題的另類解決方案

針對超大規模雲服務商的數據中心用水壓力,本文提出一個幽默建議:收購高爾夫球場,改建為公共公園,並引導原會員轉向觀鳥活動。通過比較谷歌的用水量與高爾夫球場的耗水數據,指出購買40個球場即可抵消谷歌的日均用水量。

  • 谷歌2025年用水量達109億加侖,日均約3000萬加侖。
  • 科切拉河谷120個高爾夫球場每個日均耗水約75萬加侖。
站內正文

AI 全天候構建並運營你的業務

Leapd AI 能夠從零開始創建業務,或通過連接現有網站自動運營,涵蓋市場研究、產品構建、內容營銷和廣告投放。創始人反饋顯示,該工具顯著提升了 LinkedIn 互動、AI 搜索可見性和廣告效果,用户只需檢查結果,無需手動管理。

  • Leapd AI 支持新建業務和現有業務增長,設置只需60秒。
  • 每天自動執行 LinkedIn 發帖、郵件營銷、Meta 廣告等任務。
站內正文

在WebAssembly中運行Firefox:瀏覽器內虛擬化的技術突破

Puter團隊成功將Firefox的Gecko引擎編譯為WebAssembly,實現了在一個瀏覽器中完整運行另一個瀏覽器的壯舉。項目耗費約25,000美元的AI計算資源,通過Wisp協議代理所有網絡流量,並支持端到端加密。該成果已開源,展示了WebAssembly在虛擬化領域的巨大潛力。

  • Puter利用Claude Opus和Fable模型,將Firefox的Gecko引擎編譯為WebAssembly,實現瀏覽器內運行完整瀏覽器。
  • 項目成本約25,000美元,得益於Claude Max訂閲計劃提供的AI令牌。
站內正文

Kimi K3:我們仍能從鵜鶘基準中學到什麼

中國AI實驗室Moonshot AI發佈了Kimi K3模型,擁有2.8萬億參數,自稱首個“開源3T級模型”。該模型在多個基準測試中表現優異,但定價較高。作者通過“鵜鶘騎自行車”測試,展示了模型的推理成本、隱性系統提示和視覺能力,並反思了這一非正式基準的侷限性。

  • Kimi K3擁有2.8萬億參數,是Moonshot AI的最強模型,承諾2026年7月27日開源。
  • 定價為每百萬輸入3美元、每百萬輸出15美元,是目前中國AI實驗室最貴的模型。
站內正文

如何讓我們的LeRobot視頻讀取器速度提升最高15倍

我們改進了Daft中的LeRobot視頻讀取器,通過批量解碼將遠程數據集上的幀解碼速度從每幀3秒提升到整體數秒,實現了4-15倍的加速。

  • 原始逐幀解碼因每次遠程打開文件並讀取索引而緩慢。
  • 新的批量讀取器按分片分組,排序和聚類目標時間戳,每個聚類只尋求一次。
站內正文

Kimi K3 智能、性能與價格分析

Kimi K3 在人工智能分析智能指數中獲得57分,高於平均水平。它提供100萬token的上下文窗口,支持文本和圖像輸入,但價格稍高、速度較慢且冗長。

  • 智能指數57分(高於平均水平)
  • 輸入每百萬token $3,輸出$15,緩存命中$0.30
站內正文

100美元AI音樂視頻:Claude Fable 5 vs GPT-5.6 Sol

本文介紹了一個自主AI音樂視頻生成系統,比較了Claude Fable 5和GPT-5.6 Sol在25美元和100美元預算下的表現。系統讓模型自主研究、生成片段、編輯並組裝完整視頻。結果顯示所有運行均成功生成視頻,但質量一般,存在一致性和節奏匹配等問題。Claude Fable 5成本更高但完成更快,GPT-5.6 Sol在編輯上更具創意。

  • 系統讓AI模型自主生成音樂視頻,預算分別為25美元和100美元。
  • 所有四次運行均生成完整視頻,但質量仍有提升空間。
站內正文

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

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

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

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

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

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

GPT-5.6 Sol 與 Claude Fable 5 對比:基準測試、定價與實操體驗

GPT-5.6 Sol 和 Claude Fable 5 是目前最先進的兩款模型。Fable 5 在通用智能上略佔優勢,而 Sol 在編碼性能、執行速度和定價方面更具競爭力。Sol 的定價更接近 Claude Opus 4.8,遠低於 Fable 5。本文通過基準測試和實操對比,幫助用户選擇最適合的模型。

  • GPT-5.6 Sol 在編碼基準測試中領先,且價格更低。
  • Claude Fable 5 在通用智能和分析質量上略勝一籌。
站內正文

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

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

Mermaid 轉 ASCII 藝術 (mermaid-ascii)

Simon Willison 利用一個更成熟的 Go 庫 AlexanderGrooff/mermaid-ascii,通過 WebAssembly 在瀏覽器中實現 Mermaid 圖表的 ASCII 和 Unicode 方框繪製渲染,並支持顏色、流程圖、序列圖等特性。

  • 使用 Go 庫編譯為 WebAssembly 實現瀏覽器端渲染。
  • 支持流程圖、子圖、序列圖及顏色定義。
站內正文

管理者在公司的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而無法進行對照實驗。
站內正文

主題導航

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