AI News HubLIVE

模型動態

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

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

儘管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不同層的表示,以及三種參考選擇方法,發現中間層的表示在溯源準確率上表現最佳,且語義約束的參考能有效減少查詢與參考之間的不匹配,提升溯源性能。

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

    異構醫學視覺問答中持續學習的實證分析

    本文系統評估了持續學習方法在異構醫學視覺問答任務中的表現,涵蓋分類、多標籤分類、檢測、細胞計數和報告生成等多樣化臨牀目標。研究發現現有持續學習方法難以在不同目標與監督格式交織的任務中保持穩定性-可塑性平衡。

    • 首次系統評估持續學習在異構醫學視覺問答中的應用。
    • 探索了任務順序對性能保留和遺忘的影響。
    站內正文

    SymbOmni:通過符號概念學習實現智能全知模型的進化

    SymbOmni是一種新型AI模型,旨在解決當前模型“永恆新手”的問題——即無法積累經驗並自主進化。它通過符號概念學習,利用可優化的記憶模塊將低級操作抽象為可重用的符號工作流指令,並通過歸納-轉導循環實現持續自我改進。實驗表明,SymbOmni在圖像質量和任務成功率上超越現有代理系統及閉源模型,同時減少40%以上的令牌消耗,並在持續學習基準上取得新成果。

    • SymbOmni引入符號概念盒(Symbolic Concept Box)作為可優化記憶模塊,將經驗抽象為可重用的符號工作流指令。
    • 採用歸納-轉導循環:將經驗歸納為符號概念,再自適應組合解決新任務。
    站內正文

    MetaView:具有尺度感知隱式幾何先驗的單目新視角合成

    本文提出MetaView,一種基於擴散模型的單目新視角合成框架,能夠從單張圖像實現大視角變化下的渲染。通過結合隱式幾何建模與度量深度,MetaView在保持幾何一致性的同時提供了精確可控性。實驗表明,在挑戰性大視角變化場景下,MetaView顯著優於現有方法。

    • 結合隱式幾何先驗與度量深度,實現幾何一致性與精確控制
    • 基於擴散模型,支持大視角變化下的單圖新視角合成
    站內正文

    SpikeDS:用於3D MRI中神經侵犯預測的雙稀疏性Spikformer

    SpikeDS是一種新型脈衝神經網絡架構,通過結合激活稀疏性和空間稀疏性,高效地從3D MRI中預測膽管癌的神經侵犯,在139名患者的隊列中實現了0.753的AUC,能耗僅14.4 mJ。

    • 神經侵犯(PNI)是膽管癌預後不良的標誌,但3D MRI檢測存在挑戰。
    • SpikeDS利用脈衝通信的激活稀疏性和窗口剪枝的空間稀疏性。
    站內正文

    結合對比學習的聯合嵌入預測:面向結構MRI的表徵學習新框架

    自監督學習在醫學影像領域潛力巨大,但標註數據稀缺。本文提出COJEPA框架,結合聯合嵌入預測架構和對比損失,在無標註的T1加權腦部MRI上訓練,實現了優異的局部預測性和全局判別性。在零樣本雙胞胎檢索、腦腫瘤分割和年齡迴歸任務中表現突出,尤其在同卵雙胞胎識別和年齡預測誤差方面達到最先進水平。

    • COJEPA將聯合嵌入預測架構(JEPA)與對比損失(CO)相結合,同時提升局部預測性和全局判別性。
    • 該框架在2286例T1加權結構MRI數據上訓練,擴展I-JEPA至3D,採用前景感知塊掩蔽、分層卷積塊嵌入和世界空間正弦位置編碼。
    站內正文

    基於VLM描述比較的異常幀檢測:利用視頻內自相似性提取專家特定動作與情境決策場景

    本文提出一種新方法,通過視覺語言模型(VLM)生成逐幀描述,並比較兩個任務視頻間的幀相似度及段內自相似性,自動檢測異常幀,從而提取包含專家特定動作和情境決策知識的候選場景。在模擬配電板維護實驗(27個任務場景)中,該方法動作候選提取率達65%,決策場景候選提取率達61%,優於傳統方法的59%和33%。

    • 利用VLM生成逐幀視覺描述,通過幀間描述比較提取專家特定動作。
    • 通過視頻內描述的自相似性分析,發現情境決策場景。
    站內正文

    GenDiff:劑量與解剖感知的擴散模型及結構先驗細化用於低劑量CT重建與泛化

    GenDiff是一種新型擴散模型框架,通過聯合建模連續輻射劑量和解剖信息,實現低劑量CT重建。它整合了劑量-解剖編碼器、冷擴散主幹、物理一致性更新和結構先驗細化模塊,在多種臨牀數據集上優於現有方法,展現出強大的魯棒性和泛化能力。

    • GenDiff同時考慮輻射劑量和解剖區域,提升LDCT重建的魯棒性。
    • 框架包含劑量-解剖編碼器、冷擴散、物理一致性更新和結構先驗細化模塊。
    站內正文

    TSCA-Net:面向可解釋多模態行人軌跡預測的時空團注意力網絡

    TSCA-Net通過三個互補模塊(時空團注意力、跨行人團勢、自適應KAN網格細化)顯著提升擁擠環境中的行人軌跡預測精度,在ETH/UCY和SDD基準上達到最先進性能。

    • 提出TSCA模塊,引入可學習時間門控實現歷史觀測與候選目標的時間感知調製
    • CPCP模塊通過動態團勢框架建模非對稱行人交互
    站內正文

    低資源澳大利亞原住民語言識別的混合持續學習方法

    提出兩種混合持續學習方法(RA-EWC和CGKD),用於低資源澳大利亞原住民語言識別,有效緩解災難性遺忘,在Warlpiri、Dalabon和Dharawal三種語言上表現優於現有基線。

    • 提出RA-EWC和CGKD兩種混合持續學習方法
    • 針對低資源原住民語言識別
    站內正文

    信念與現實分離存在於語言模型中對共享值槽的路由中

    該論文揭示了語言模型如何區分角色的信念與現實。研究發現,這種分離基於兩個可分離的機制:一個通用值槽綁定屬性值,一個路由器根據查詢選擇讀取的框架。值槽可以通過兩種方式填充:直接斷言和基於可見性的推導。分離位於獨立的路由子空間中,而不是值槽本身。這些結果在多種架構中得到驗證,且該行為在3B至7B參數規模的模型中出現。

    • 語言模型通過值槽和路由器實現信念與現實分離。
    • 值槽填充有斷言和推導兩種路徑。
    站內正文

    MAGE:理解多組件提示優化中的穩定性-性能權衡

    本文通過MAGE框架研究多組件提示優化中不同組件的相互作用,揭示了提示優化耦合效應(POCE):多個隨機優化信號在閉環反射回路中相互作用,同時提升性能與放大方差。關鍵發現包括:基於失敗反思不可或缺、MAGE在GSM8K-Hard上優於GEPA、增大候選多樣性使POCE信號最明顯、POCE依賴於基礎模型能力空間、低數據場景下固定提示優於優化器。

    • MAGE是一個用於研究提示優化組件交互的分析框架,集成了情景記憶、多目標Pareto選擇和自適應評估。
    • 發現提示優化耦合效應(POCE):隨機信號相互作用提升性能但放大方差,無法通過獨立分析預測。
    站內正文

    通過知識蒸餾將LLM轉化為高效交叉編碼器用於RAG重排序

    本研究通過兩階段流水線(監督微調+4位量化)將LLaMA 3 (8B)微調為高效的替代重排序器,在RAG管道中替代傳統交叉編碼器,在保持高準確率的同時顯著降低推理成本。在領域特定問答基準上,微調模型在答案相關性、上下文精度、答案相似度和答案正確性上分別提升14%、16%、19%和21%。

    • 傳統交叉編碼器在RAG重排序中準確率高但推理成本為二次複雜度,限制實時部署。
    • 提出兩階段方法:使用Unsloth框架和LoRA適配器進行監督微調,然後進行4位量化。
    站內正文

    TAKE:用於文本數據集蒸餾的軌跡感知知識估計

    本文提出了一種基於軌跡感知知識估計(TAKE)的文本數據集蒸餾框架,利用影響函數和訓練軌跡計算每個樣本的知識得分,並通過最優傳輸選擇原型樣本,可將語料庫壓縮至原始大小的0.1%,同時保持下游任務性能。該方法在文本分類和自然語言推理任務上驗證了有效性,為數據高效AI提供了理論支撐。

    • 提出TAKE框架,將語料庫壓縮至0.1%而保持任務保真度。
    • 利用影響函數和訓練軌跡計算每個樣本的知識得分。
    站內正文

    基於圖的俄羅斯與烏克蘭Telegram頻道虛假信息敍事擴散檢測

    本文提出一種基於圖的框架,結合弱監督與傳播圖分析,檢測Telegram生態系統中的虛假信息敍事。該方法將語義相關的聲明聚合為敍事級聚類,並建模其在互連頻道間的擴散,從而發現僅通過帖子級分析難以捕捉的協調放大行為。實驗表明,融合文本信號與網絡結構可提供可擴展的檢測方法,並揭示虛假信息在大型消息環境中的傳播機制。

    • 提出結合弱監督與傳播圖分析的圖框架,用於檢測Telegram中的虛假信息敍事。
    • 將語義相關的聲明聚合成敍事級聚類,建模跨頻道擴散。
    站內正文

    抱歉,我無法幫助盲文:揭示最先進大語言模型在無障礙方面的失敗

    一項新研究評估了最先進的大語言模型在韓語-盲文雙向翻譯上的表現,發現輸出質量差且不穩定,與人類判斷存在顯著分歧。相比之下,對小型T5-small模型進行監督微調後,所有標準指標均大幅提升。研究表明,當前LLM缺乏盲文感知的標記化,且與盲文模式對齊薄弱,揭示了無障礙關鍵模態中的系統性限制。

    • LLM在韓語-盲文翻譯上表現糟糕,輸出不穩定且與人類判斷不一致。
    • 問題根源在於缺少盲文感知的標記化和韓語-盲文模式弱對齊。
    站內正文

    G-SHARE:基於準則的結構化推理框架用於人因事件診斷

    本研究提出G-SHARE框架,將核電站人因事件診斷的CNNP九步準則轉化為多階段診斷流程,包括證據提取、逐步推理和一致性修復。在真實數據集上,G-SHARE顯著優於一次性提示和傳統機器學習方法,表明結構化推理和一致性約束對穩健診斷至關重要。

    • G-SHARE將CNNP九步準則操作化為多階段診斷管線,包含證據提取、逐步推理和事後一致性修復。
    • 在核工業真實數據集上,G-SHARE在準確率和宏F1上全面超越基線模型。
    站內正文

    CANDI:面向專業領域問答的上下文對齊方法

    本文介紹了CANDI-QA數據集,用於評估大型語言模型在醫學診斷和金融諮詢等專業領域的上下文對齊能力。數據集包含信息輔助和應用推理兩類問題。研究評估了十多個模型,並提出了輕量級神經符號框架MTSS-Net作為基線。結果表明,當前LLM在專業領域實現上下文對齊仍面臨重大挑戰。

    • CANDI-QA數據集專門用於評估LLM在專業領域的上下文對齊能力,分為信息輔助和應用推理兩類問題。
    • 研究評估了超過十種語言模型,從緊湊開源模型到尖端專有系統。
    站內正文

    擴展點及時語言模型

    本研究通過擴展規模,大幅縮小了點及時語言模型與不受時間約束模型之間的性能差距。研究者訓練了多達40億參數的解碼器專用Transformer模型,使用FineWeb中1萬億按時間順序篩選的令牌,構建了從2013年到2024年的月度模型檢查點序列。在常識推理和語言理解基準測試中,這些模型接近了同等規模的領先開放權重模型(如Gemma-3-4B和LLaMA-7B)的性能。通過LoRA進行指令微調進一步提升了下游可用性。研究團隊發佈了完整的流水線,以實現可復現的點及時語言建模。

    • 點及時語言模型通過僅訓練每個日曆日期之前的文本來消除未來信息的泄漏,避免前瞻偏差。
    • 訓練了多達40億參數的模型,使用1萬億時間過濾令牌,實現了接近不受時間約束模型的性能。
    站內正文

    BattVAE-GP: 基於不確定量化的長週期電池退化生成模型

    研究人員提出BattVAE-GP框架,結合變分自編碼器和高斯過程,高效模擬鋰離子電池在不同充電速率下的長期退化軌跡,並量化不確定性。該方法降低了計算成本,為電池健康預測提供了高效替代模型。

    • BattVAE-GP使用VAE編碼電池退化數據,將高維特徵映射到二維潛在空間,區分不同充電協議。
    • 稀疏多任務高斯過程在潛在空間中對循環數和C-rate進行插值,提供連續退化動態及不確定性估計。
    站內正文

    CARE-LoRA: 用於內存高效LoRA的壓縮激活重建

    隨着大型預訓練模型規模增長,微調中的內存瓶頸日益突出。LoRA通過低秩適應減少參數,但激活值存儲成為新的瓶頸。CARE-LoRA利用LoRA投影結構,將完整輸入激活替換為低秩壓縮激活,並計算輕量重建矩陣用於反向傳播,大幅降低內存佔用,同時保持或提升性能。

    • CARE-LoRA通過壓縮激活重建解決LoRA微調中的激活內存瓶頸。
    • 利用LoRA分支自然產生的低秩激活替代完整激活,減少存儲。
    站內正文

    數據科學的數學基礎

    本文介紹了由Afonso S. Bandeira、Amit Singer和Thomas Strohmer合著的新書《數據科學的數學基礎》,該書全面涵蓋了高維詛咒與祝福、奇異值分解、線性迴歸、圖論與聚類、非線性降維、隨機投影、優化、分類、深度學習、圖拉普拉斯、集中不等式、壓縮感知等主題,為數據科學提供了堅實的數學基礎。

    • 新書《數據科學的數學基礎》系統介紹了數據科學的數學理論基礎。
    • 內容涵蓋高維數據分析、降維、迴歸、分類、深度學習等16個章節。
    站內正文

    鏡像視界:可行路徑熵作為有界反射的度量

    鏡像理論提出通過可行路徑熵(VPE)度量智能系統在反覆反射下維持連貫延續的能力。實驗表明,增加token預算可擴展驗證可達性,且模型能力並非僅取決於參數數量。

    • 可行路徑熵(VPE)衡量有限預算下的驗證延續能力
    • VPE分解為可達概率和驗證模式多樣性
    站內正文

    半直積傅里葉增量注意力:基於相位控制的增量記憶與構造性塊WY核

    線性注意力模型通過固定大小的循環狀態取代softmax注意力的KV緩存,但限制了精確狀態跟蹤和長上下文記憶。本文提出半直積傅里葉增量注意力(SFDA),一種相位控制的泛化方法,將實對角衰減替換為塊旋轉傅里葉控制。主要貢獻是構造性塊WY分解,實現了精確的仿射塊傳輸、形式化穩定性和複雜度界限,以及相位加低秩記憶的緊湊表徵。實驗表明SFDA能學習循環記憶,而相位禁用的KDA基線接近隨機。

    • SFDA通過相位控制(傅里葉塊旋轉)改進線性注意力,解決狀態跟蹤和長上下文記憶限制。
    • 提出構造性塊WY分解,將秩增長限制在固定塊內,實現高效傳輸和穩定性保證。
    站內正文

    對話代理的多維評估操作化:一種可擴展、可管控的流水線,支持選擇性重新評估和模型基準測試

    本文提出GenAI Evaluation,一種配置驅動的流水線,用於大規模評估零售對話系統。通過規範化、分片、異步執行和模式約束的LLM評分,評估有幫助性、真實性、清晰度、語氣一致性和翻譯維度。選擇性重新評估僅處理無效記錄,支持模式鎖定和版本化配置。每日處理約5萬條記錄,已評估超200萬次交互。在12,980條人工標註記錄上取得宏F1 0.93和翻譯準確率89%。

    • GenAI Evaluation流水線解決LLM-as-a-judge在生產中的治理和可擴展性挑戰。
    • 通過選擇性重新評估僅處理不完整或無效記錄,降低計算成本。
    站內正文

    圖反饋控制開源語言模型羣體中的共識與派系形成

    本研究探討了多智能體語言模型系統中交互圖結構如何影響共識形成。通過命名遊戲協議,研究人員分析了開源語言模型(1.1B-32B參數)羣體中的約定形成過程。研究發現,同質性閾值相似性路由會加劇碎片化,而橋樑尋找路由在有記憶的情況下可修復碎片化。在異質模型羣體中,閾值相似性導致共識失敗,而狀態組件和標籤分歧橋樑可恢復共識。同質模型羣體中,保留歷史通常促進共識,其中Qwen2.5-32B模型在所有保留歷史設置中均達到穩定共識。該研究還驗證了結果對狀態閾值、羣體規模和詞彙表大小的魯棒性,並表明早期窗口圖能量特徵可作為有效的網格內診斷工具。

    • 多智能體語言模型系統的交互圖結構對共識形成有重要影響。
    • 同質性閾值相似性路由加劇碎片化,橋樑尋找路由在有記憶時可修復碎片化。
    站內正文

    為AI網絡代理設計代理就緒網站:面向機器可讀性、可操作性和決策可靠性的框架

    論文提出了一個“代理就緒網站”設計框架,旨在增強電商平台對AI代理的可讀性、可解釋性、可驗證性和可操作性。實驗表明,代理就緒網站將嚴格成功率從49.3%提升至89.3%,部分成功結果從43降至3,平均步驟數從9.31降至6.49。

    • 代理就緒網站框架圍繞三個維度:代理可解釋性、代理可執行性和代理決策可靠性。
    • 實驗使用GPT-4.1、Gemini-2.5 Flash和Grok-4 Fast三種代理模型,在五個任務上進行了300次評估。
    站內正文

    優化並非萬能

    本文批判了人工智能中的優化文化,指出優化過程雖然能衡量文本的不可預測性,但無法區分錯誤與創新。儘管如此,優化已在短短五年內取代了傳統機構,掌握了定義合法語言權威的地位。

    • OpenAI 在 2019 年發佈了 GPT-2 輸出以幫助檢測機器生成文本。
    • 對齊技術的成功被視為工程成就,但作者認為這是優化文化的體現。
    站內正文

    GRID:面向企業SQL生成的語法約束解碼引擎

    GRID是一種基於語法約束的解碼引擎,通過將LALR(1)解析器狀態作為掩碼鍵,確保SQL輸出語法正確且符合角色權限策略,提供可證明的保證、恆定時間成本及完整審計追蹤。在Spider數據集上,0.5B模型執行準確率提升13%,7B模型通過修復達到94.5%可執行率。

    • 利用LALR(1)解析器狀態而非令牌序列生成下一令牌掩碼,保證語法合規性。
    • 角色訪問控制直接編譯進語法,禁止動詞和標識符在掩碼層面不可達。
    站內正文

    本體增強蒸餾與情境審計:面向主權企業語言模型的組合機制驗證與負結果方法研究

    該研究結合了本體增強蒸餾與情境審計兩項方法,針對受數據居留規則約束的金融機構,提出租户自有語言模型的構建與治理方案。蒸餾實驗表明,Qwen3.6-27B學生模型在40項越南語金融任務中達到36項正確,與GPT-5相當,但統計功效不足以證明等價;情境審計試點的結果表明殘存情境性為零,直接影響與構造耦合才是有效信號。研究不支持當前模型的可部署性、安全性或優越性。

    • 通過監督微調與本體對齊的偏好優化,將Qwen3.6-27B蒸餾至Foundation AgenticOS本體,在40項越南語金融任務中達到90%正確率。
    • 與GPT-5基線相比,統計功效不足,無法證明等價或超越。
    站內正文

    非平穩環境下的上下文強化學習綜述

    本文綜述了非平穩環境下的上下文強化學習(ICRL),即預訓練或微調的決策模型如何僅通過交互上下文推斷潛在任務規則並改進未來行為,而無需在測試時更新參數。在變化的環境中,累積的上下文可能變得過時甚至誤導,因此策略必須推斷當前決策規則並識別哪些歷史證據仍然有效。論文圍繞三個核心問題組織文獻:什麼在變化、變化如何展開以及變化對智能體的可觀察程度,並將其與元強化學習、決策序列建模、檢索增強強化學習等方法聯繫起來。

    • ICRL使決策模型能從交互上下文中學習,無需更新參數。
    • 現有綜述主要關注預訓練目標等,對非平穩性關注不足。
    站內正文

    最優自適應做市:永續期貨市場高收益流動性提供的理論框架

    本文提出了一個嚴格的永續期貨市場最優做市理論框架,將做市問題建模為隨機最優控制問題,貢獻包括損益分解定理、HJB方程、高APY區域定理等。數值分析揭示了盈利與非盈利區間的相變。

    • 建立了零做市商費用的永續期貨市場隨機最優控制模型
    • 提出損益分解定理,區分價差收入、逆向選擇損失、庫存持有成本、對沖摩擦和資金費率風險
    站內正文

    GPT-5.6 Sol、Terra、Luna在智能與成本上的對比

    GPT-5.6系列中,Sol和Luna在任何智能水平上的成本效率均優於Terra,尤其是Luna表現出極高的性價比。

    • Sol和Luna在所有智能水平上均領先於Terra
    • Luna是成本效率最高的模型
    站內正文

    PrismML發佈Bonsai 27B:Qwen3.6-27B的1位和三進製版本,可在筆記本電腦和手機上運行

    PrismML發佈了Bonsai 27B,這是Qwen3.6-27B的低位表示,並非全新預訓練模型。提供三進制和二進制兩種變體,採用Apache 2.0許可證。三進製版本每位僅1.71比特,理想大小為5.9GB;二進制版本每位1.125比特,大小為3.9GB。性能方面,三進制保留FP16基線的94.6%,二進制保留89.5%。該模型支持多模態,上下文長度262K令牌。PrismML聲稱二進制版本是首個適合手機的27B級模型。

    • Bonsai 27B是Qwen3.6-27B的低位版本,非全新預訓練模型。
    • 提供三進制(1.71比特/權重)和二進制(1.125比特/權重)兩種變體。
    站內正文

    simonw/pedalican

    Simon Willison 在 Codex Desktop 中意外激活了一個“寵物”功能,並利用 GPT-5.6 Sol 和 gpt-image-2 創建了一個騎自行車的鵜鶘寵物,命名為 Pedalican。他記錄了整個生成過程,包括提示詞和中間步驟,並開源了相關技能。

    • Simon Willison 意外發現了 Codex Desktop 的寵物功能,並創建了自定義寵物 Pedalican。
    • 使用 GPT-5.6 Sol 和 gpt-image-2 生成精靈圖資產,過程完全由 AI 驅動。
    站內正文

    Mistral Vibe for Code vs Claude Code vs Cursor vs Codex:四大AI編程代理在腳手架到PR任務中的對比評分

    本文對比了四種主流的AI編程代理:Mistral Vibe for Code、Claude Code、Cursor和OpenAI Codex,針對從功能腳手架到拉取請求的完整工作流進行評分。Mistral Vibe以22/25的總分領先,憑藉成本、開放性和控制力獲勝;Claude Code和Codex並列21/25;Cursor得16/25。文章詳細分析了每個工具在腳手架、測試循環、PR及異步工作流、覆蓋範圍、成本與開放性五個維度的表現。

    • Mistral Vibe for Code以22/25總分領先,提供低價、開源和自託管選項。
    • Claude Code和OpenAI Codex並列第二(21/25),但前者在原始編碼質量上更強。
    站內正文

    幫助AI模型適應現實世界

    MIT教授Devavrat Shah通過研究和創業,致力於設計能夠利用有限計算資源進行實時決策的AI方法。他共同創立的Ikigai Labs開發了基於表格時間序列數據的基礎模型,被Celonis收購後,有望集成到企業流程管理中,實現大規模預測和優化。

    • Devavrat Shah專注於設計在有限計算資源下進行秒級決策的AI方法。
    • 他共同創立了Ikigai Labs,構建了針對表格時間序列數據的基礎模型。
    站內正文

    引用阿明·羅納赫:軟件項目的共享語言

    阿明·羅納赫在一篇關於AI代理和軟件工程的文章中強調,軟件項目的共享語言並非英語或Python,而是對概念、邊界、不變量、所有權和系統形態的共同理解。他指出,在AI代理出現之前,這種理解通過“摩擦”維持——如閲讀代碼、提問、協調——這種摩擦雖然緩慢且部分浪費,但同步了人們。這篇文章由Simon Willison於2026年7月14日引用。

    • 軟件項目的共享語言是對概念、邊界、不變量等的共同理解,而非編程語言或自然語言。
    • 在AI代理時代之前,這種理解通過開發過程中的摩擦(如代碼審查、討論)來維持。
    站內正文

    主題導航

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