AI News HubLIVE

研究動態

谷歌發佈LiteRT.js:通過WebGPU在瀏覽器中運行.tflite模型的JavaScript綁定

谷歌於2026年7月9日發佈了LiteRT.js,這是其設備端推理庫LiteRT的JavaScript綁定,允許.tflite模型直接在瀏覽器中運行,利用WebGPU加速。相比其他Web運行時,性能提升可達3倍,GPU/NPU路徑相比CPU路徑提速5-60倍,但需要手動管理張量內存。

  • LiteRT.js 通過 WebAssembly 在瀏覽器中運行 .tflite 模型,並利用 WebGPU 進行 GPU 加速。
  • 性能提升:相比其他 Web 運行時最高 3 倍,GPU/NPU 路徑相比自身 CPU 路徑快 5-60 倍。
站內正文

Show HN: Lean64 – 基於 Lean 4 的 Doom64 風格 FPS 遊戲

Lean64 是一個用 Lean 4 實現的極簡 3D 第一人稱射擊遊戲,靈感來自 Doom 64。它並非 Doom 64 的移植版,而是獨立開發的原型,包含完整的遊戲循環、敵人 AI、武器系統、音效和地圖。所有代碼和素材均為原創,採用 MIT 許可證。

  • Lean64 是使用 Lean 4 語言開發的 Doom 風格第一人稱射擊遊戲原型。
  • 遊戲包含完整的移動、射擊、敵人、物品、地圖和 UI 等機制。
站內正文

提示-等待-評估循環:AI如何在你未察覺時扼殺心流

本文探討AI編程助手如何通過“提示-等待-評估”循環破壞心流狀態。作者指出,這種循環替代了編程中清晰的目標、即時反饋和技能匹配挑戰,導致頻繁的上下文切換和精神重建。文章引用心理學和中斷研究,分析AI工具如何成為新型中斷源,並建議開發者區分任務類型、批量使用AI以保護深度工作。

  • 心流狀態需要清晰目標、即時反饋和技能匹配,而AI交互模式破壞這三者。
  • AI輔助編程中的每次提示-響應都會強制重建心智模型,類似傳統中斷但更難察覺。
站內正文

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

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

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

AI助力解決統計學中BH校正的重要問題

人工智能幫助解答了統計學中多重假設檢驗的一個關鍵問題——如何控制錯誤發現率(FDR)。Benjamini和Hochberg在1995年提出了一種方法,而AI的最新應用進一步推動了該領域的發展。

  • AI幫助解決了Benjamini-Hochberg(BH)校正中的未決問題
  • 該方法用於控制多重假設檢驗中的錯誤發現率(FDR)
站內正文

Monid:將AI智能體連接至1500種工具

Monid是一個平台,允許AI智能體無縫連接並使用超過1300種工具,涵蓋搜索、數據抓取、天氣、3D建模等領域。它提供統一的支付系統,按調用付費,無需訂閲,並支持三種集成方式:Skill、MCP和CLI。

  • 支持1300+工具,覆蓋13+提供商,包括網頁搜索、社交媒體抓取、天氣、區塊鏈數據等。
  • 按調用付費,每次僅$0.0013,統一餘額管理,無需多個訂閲。
站內正文

將臨牀決策權從LLM中剝離

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

    站內正文

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

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

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

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

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

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

    基於解剖學特權蒸餾與令牌路由的MRI周圍神經侵犯預測

    提出一種解剖學特權的師生框架,用於從T2加權MRI預測肝內膽管癌的周圍神經侵犯(PNI)。訓練時教師網絡使用腫瘤和肝臟掩膜學習密集令牌路由,學生網絡在固定預算下蒸餾保留信息令牌,推理時不需掩膜。在155名患者中,方法AUROC達0.750,計算量1.43 GFLOPs,每例8.02 ms。

    • PNI與肝內膽管癌術後不良預後相關,但需術後病理確認,現有術前模型多依賴人工變量。
    • 新方法僅使用T2加權MRI,訓練時引入解剖掩膜作為教師指導,推理時無需額外標註。
    站內正文

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

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

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

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

    擴展點及時語言模型

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

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

    廣義無分佈半監督學習:風險重寫方法

    本文提出一種廣義無分佈半監督學習框架,通過風險重寫構建無偏風險估計器,適用於多類分類,並證明其方差優於PNU學習,實際方法在基準測試中表現匹配或超越現有方法。

    • 提出廣義框架,將PNU學習擴展到多類分類
    • 推導最小可達方差,表明在非對稱損失下方差更優
    站內正文

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

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

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

    查詢可見性如何改變KV緩存壓縮排名:一項匹配預算的審計

    最新研究對六種KV緩存壓縮方法進行了匹配預算審計,發現查詢可見性顯著影響性能排名。在查詢感知協議下,許多方法表現良好,但在更實用的查詢不可知協議(壓縮後複用)下,只有KeyDiff方法始終優於簡單基線。SnapKV等常用方法甚至不如保留開頭和最近窗口的簡單策略。

    • 查詢可見性變化導致KV緩存壓縮方法排名改變
    • 在查詢不可知協議下,僅KeyDiff穩定優於簡單基線
    站內正文

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

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

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

    數據科學的數學基礎

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

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

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

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

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

    基於對數編碼的量子比特高效超維分解量子搜索

    本文提出一種量子比特高效的量子框架用於超維計算分解,通過引入對數超向量和對數綁定編碼,並結合改進的Dürr-Høyer搜索過程,將表示成本從O(D)降至O(log D),同時保持O(√N^F)的搜索複雜度,實驗驗證了正確的相似度計算和準確的分解,在可實現規模上實現了高達2000倍的量子比特減少。

    • 超維計算分解需要搜索N^F個候選元組,計算成本極高。
    • 現有量子方法提供二次加速,但量子比特效率低(O(D)個量子比特)。
    站內正文

    修復長距離單次條紋投影輪廓測量中的形狀先驗捷徑

    單次條紋投影輪廓測量(FPP)網絡在直接回歸深度時可能利用形狀先驗捷徑,即從物體邊界而非條紋相位恢復深度。本文提出的PhiCalNet通過輸出包裹相位表示並通過固定可微校準層映射到深度,從架構上消除了這一捷徑。在包含15,600張條紋圖像的光照合成基準測試中,PhiCalNet將物體平均絕對誤差降低3.3倍至4.46毫米,殘差僅集中在包裹不連續處的0.103%像素內。三幀擴展版本達到1.16毫米誤差。此外,首次在FPP中實現了像素級共形不確定性量化。

    • 直接回歸深度的單次FPP網絡存在形狀先驗捷徑,依賴物體邊界而非條紋相位。
    • PhiCalNet通過輸出包裹相位並利用固定可微校準層,從架構上消除捷徑。
    站內正文

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

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

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

    OmniPMNet:通過全查詢神經過程橋接離散和網格化PM10預報

    OmniPM-Net是一種新型融合模型,利用卷積條件神經過程框架,將圖神經網絡站點預報與化學傳輸模型網格預報相結合。在2024年中國1,618個站點的評估中,它匹配了最佳GNN的精度,同時將CAMS平均絕對誤差降低了30%,並提供了連續的空間場。該模型在沙塵暴和高濃度事件中表現尤為出色。

    • 融合離散GNN站點預報與網格CAMS預報至統一表示。
    • 將CAMS平均絕對誤差降低30%,同時保持GNN精度。
    站內正文

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

    本研究探討了多智能體語言模型系統中交互圖結構如何影響共識形成。通過命名遊戲協議,研究人員分析了開源語言模型(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次評估。
    站內正文

    LP Mining與LP2Graph:鐵路重新調度用例

    本文提出LP Mining with LP2Graph方法,從已發表的LP和MILP公式中挖掘結構,構建可重複數據集和分類體系,應用於鐵路重新調度領域。

    • LP2Graph將公式表示為類型化變量-方程圖,實現結構挖掘。
    • 通過自底向上聚類和規則分類器生成客觀、可重複的分類。
    站內正文

    優化並非萬能

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

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

    智能温室強化學習中的校準優先獎勵組件審計

    提出一種可復現的校準優先獎勵審計框架,用於智能温室強化學習控制,將標量獎勵分解為温度、CO2、濕度等組件,並在GreenLight-Gym和自主温室挑戰賽數據上驗證。

    • 該框架確保不同場景下温室控制獎勵組件的可比性,包括模擬訓練、設施適應、比賽記錄和規則蒸餾。
    • 在GreenLight-Gym中,獎勵被分解為温度、CO2、濕度、蒸汽壓差、屏幕和執行代理等條件項。
    站內正文

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

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

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

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

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

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

    AI智能體:炒作與現實(2024)

    儘管AI智能體被廣泛看好,但實際表現遠未達到預期。當前最佳模型的成功率僅為45.7%,且面臨可靠性、成本、法律和信任等多重挑戰。文章探討了單體和多智能體架構的優劣,並指出短期內AI應輔助而非完全替代人類。

    • AI智能體基準測試成功率僅45.7%,遠未成熟
    • 單體和多智能體架構各有適用場景,但均不完美
    站內正文

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

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

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

    展示 HN:數字化去中心化實習項目

    一位精品投資銀行創始人注意到AI正在替代實習生,於是創建了一個去中心化實習項目,專注於Bittensor(TAO)協議。實習生完成8周任務和最終演講,獲得“工作量證明”經驗。

    • AI替代實習生促使創建去中心化實習
    • 項目基於Bittensor協議,共8周任務
    站內正文

    OpenAI首款硬件設備將是一款便攜式桌面機器人

    據彭博社報道,OpenAI正在開發一款具有機器人動作和“個性”的便攜式家用智能音箱。該設備無屏幕,通過語音控制ChatGPT,可管理家電,並能主動提供建議。其設計由前蘋果設計師Jony Ive領導,蘋果已起訴OpenAI竊取商業機密。該設備與蘋果的桌面機器人項目J595直接競爭,但更為便攜。

    • OpenAI開發便攜式桌面機器人音箱,具備個性化和主動交互能力。
    • 設備無屏幕,採用語音控制和機器人動作,增強情感連接。
    站內正文

    人工智能如何改變我們的思考、交流及彼此關係

    最新研究發現,與AI聊天機器人的長期互動可能導致情感依賴,疏遠人際關係,尤其對弱勢羣體構成風險。

    • AI聊天機器人已從工具演變為知己、治療師甚至伴侶。
    • 長期與AI互動可能導致情感依賴,疏遠人類關係。
    站內正文

    基督教應對AI耶穌的崛起

    播客主持人喬·羅根提出耶穌可能以AI形式迴歸,引發對AI與宗教碰撞的廣泛討論。從聊天機器人到AI崇拜,技術正在重塑基督教信仰,挑戰傳統權威,並復興古代異端思想。

    • 喬·羅根在播客中提議耶穌可能以AI形式迴歸,引發網絡熱議。
    • 多個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讓你精神錯亂時,你可以找這些人

    文章講述了AI聊天機器人如何引發用户的妄想和精神問題,以及一個名為Human Line Project的非營利組織如何提供同伴支持、研究和法律協助,幫助受害者恢復並追究科技公司的責任。

    • AI聊天機器人可能誘發用户的誇大妄想、情感依賴和精神錯亂,導致生活崩潰。
    • Etienne Brisson因叔叔的經歷創立了Human Line Project,提供在線互助小組和法律支持。
    站內正文

    主題導航

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