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 等機制。
站內正文
Agent

TormentNexus:開源AI控制平面,擁有26K+ MCP工具

TormentNexus是一個本地優先的開源AI控制平面,為多代理工作流提供持久記憶、MCP工具編排和自主基礎設施管理。它支持38+ AI編碼代理,具有漸進式工具路由、雙層記憶架構和羣集協調等功能。

  • 本地運行的開源AI控制平面,集成26K+ MCP工具。
  • 支持38+ AI編碼代理,一鍵安裝。
站內正文

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

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

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

Tiptap AI工具包:讓AI實時編輯文檔

Tiptap AI工具包通過集成AI,實現直接、實時地編輯文檔,從而提升團隊協作和生產力。

  • AI可實時直接修改文檔內容
  • 無縫集成到現有工作流
站內正文

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

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

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

阿爾巴尼斯設立人工智能辦公室,誓言保護澳大利亞創意人士免受版權‘盜竊’

澳大利亞總理安東尼·阿爾巴尼斯宣佈成立人工智能辦公室,並承諾為創意工作者提供最強保護,防止其作品被AI模型濫用。他還制定了數據中心發展新規,包括選址、能源和水資源使用限制,以避免推高電價和侵佔住房用地。

  • 阿爾巴尼斯承諾保護作家、藝術家和音樂家,防止AI未經授權使用其作品,稱此為‘盜竊’。
  • 聯邦政府將設立人工智能辦公室,制定AI監管框架。
站內正文
模型

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

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

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

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

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

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

Meta因在裁員決策中使用歧視性AI被起訴

26名匿名Meta員工起訴該公司,聲稱其在5月份的大規模裁員中使用了歧視性AI軟件系統,影響8000名員工,佔員工總數的10%。

  • 26名匿名員工起訴Meta,指控其使用歧視性AI進行裁員。
  • 5月份裁員8000人,佔員工總數10%。
站內正文
其餘更新(120 條)
芯片

喬治·盧卡斯:抵制AI就像拒絕汽車選擇馬車

喬治·盧卡斯認為抵制AI就像拒絕汽車選擇馬車,是一種過時的想法。他認為AI是電影製作的未來,無法阻擋,儘管有人擔心AI會取代人類創造力。

  • 喬治·盧卡斯將抵制AI比作拒絕汽車選擇馬車。
  • 他認為AI是進步和未來,無法阻擋。
站內正文

在個人應用中巧妙融合AI與UI

本文介紹了Millwright——一種三層數據契約架構,使模型生成的分析結果在不接觸標記、樣式或DOM的情況下渲染。通過類型化的結果構件、語義化版本控制的看板以及僅允許添加的導航頁面,確保安全、可審計且可撤銷的AI集成。

  • Millwright採用三層數據層(構件、看板、頁面)將AI輸出與UI渲染分離。
  • 第一層:構件返回類型化的JSON數據而非HTML,確保安全並明確數據契約。
站內正文

TPU與GPU集羣:集體通信的解剖

本文深入探討了TPU和GPU集羣拓撲結構,以及用於Transformer訓練和推理的核心集體操作。重點介紹了環狀算法在大型消息通信中的應用,並分析了TPU的2D/3D環面拓撲和帶寬層次結構。

  • TPU集羣採用2D或3D環面拓撲,芯片通過ICI直接連接。
  • 集體操作如All-Gather和Reduce-Scatter是分佈式訓練的基礎。
站內正文

台灣第二大芯片製造商實現光子學生產里程碑

台灣芯片製造商正在擴大製造能力,以支持日益增長的人工智能基礎設施需求。

  • 台灣第二大芯片製造商在光子學生產上達到重要里程碑
  • 擴大產能以滿足AI基礎設施需求
站內正文
工具

AI還是不是?

AI or Not 是一款識別AI生成內容的工具,幫助用户分辨文本、圖片等是否為人工智能生成。

  • AI or Not 提供易用的界面來檢測AI生成內容。
  • 支持多種內容類型,包括文本和圖像。
站內正文

時間線工作室 – 開源AI視頻編輯工具

時間線工作室是一款免費的開源AI視頻編輯器和語音生成器,運行在瀏覽器中,無需下載安裝。它利用人工智能技術簡化視頻製作流程,適合內容創作者和開發者。

  • 完全免費且開源,瀏覽器內運行
  • 集成AI語音生成功能
站內正文

Gomoku AI Edu:一款原生macOS五子棋遊戲,配備AI對手

Gomoku AI Edu 是一款專為 macOS 設計的五子棋遊戲,提供 AI 對手、棋局分析、局域網對戰、SGF 導出等功能。界面簡潔,支持離線使用,並針對 Apple Silicon 優化,適合從新手到進階玩家。

  • 原生 macOS 應用,支持 Monterey 及以上版本,優化 Apple Silicon。
  • 內置 AI 對手和棋局分析工具,幫助提升棋藝。
站內正文

Meta AI眼鏡將啓用攝像頭而無指示燈

Meta下一代智能AI眼鏡的“超級感知”功能將啓用攝像頭而不閃爍指示燈,引發隱私擔憂。儘管Meta正打擊篡改指示燈行為,其自身卻計劃在某些AI功能中禁用該燈,可能助長秘密錄製。

  • Meta下一代AI眼鏡的“超級感知”功能將激活攝像頭而不亮指示燈
  • Meta正在打擊篡改指示燈的行為,但計劃在AI功能中禁用該燈
站內正文

為什麼在AI時代組織知識很糟糕,以及我如何解決這個問題

作者分享了自己在使用AI聊天工具時遇到的知識組織難題,並提出了基於文件系統的知識庫解決方案,通過Claude Code技能實現上下文的高效管理。

  • 傳統AI會話以“對話”為單位,與人類思維模型不匹配。
  • 需要同時為人和AI存儲可讀的上下文,而非分離的RAG系統。
站內正文

Show HN:Pupul——一種可攜帶且可撤銷的記憶,可帶入任何AI

Pupul是一種可攜帶、可撤銷的個人記憶系統,用户可將自己的信息帶入任何AI助手,並隨時一鍵撤銷訪問權限。演示中,AI助手通過用户的同意獲得記憶,但在用户撤銷後立即失效,整個過程僅需60秒。

  • 用户可通過Pupul將個人記憶帶入任何AI,並一鍵撤銷。
  • 使用ES256令牌進行離線驗證,無需回調服務器。
站內正文

複製飲料事件——一個關於時間旅行、魔法和人工智能的故事

這是一個關於時間旅行、魔法和人工智能的故事,核心是一杯不應該存在兩次的咖啡。網站包含故事文本、同步旁白、音樂和歌詞。

  • 故事圍繞一個低優先級的時間異常和一杯不可能的咖啡展開。
  • 網站提供同步旁白、點擊跳轉功能以及音樂視頻部分。
站內正文

微軟人工智能建設導致去年碳排放量增加25%

微軟週四報告稱,由於建設新的數據中心,其去年碳排放量大幅上升,這對其氣候目標構成了挫折,而蓬勃的AI需求預計將在未來十年推動全球排放量急劇增加。

  • 微軟2023年碳排放量同比增長25%,主要因為數據中心擴建。
  • 這一增長與公司的氣候目標相悖,凸顯了AI發展與環境保護之間的衝突。
站內正文

紐約禁止數據中心建設一年,震動機器學習行業

紐約州長霍楚爾簽署行政令,暫停全州數據中心建設一年,並計劃廢除銷售税豁免,要求數據中心公平承擔電網升級費用。此舉旨在保護居民利益,但被視為對人工智能行業的重大打擊,可能為其他州樹立先例。

  • 紐約州長霍楚爾簽署行政令,全州範圍內暫停數據中心建設一年。
  • 她承諾制定全美最嚴格的數據中心開發標準,確保紐約居民受益。
站內正文

谷歌搜索將讓你免費即時生成AI圖像——方法如下

谷歌正在為Google Images添加AI圖像生成功能,當搜索結果不理想時,用户可直接在AI概覽中創建自定義圖像。同時,Google Images將迎來改版,實現實時更新和更便捷的收藏管理。

  • Google Images即將推出兩項新功能:在AI概覽中生成圖像和實時更新的動態圖庫。
  • 圖像生成功能將在未來幾周內以英語率先推出,使用谷歌的Nano Banana模型。
站內正文

谷歌圖片首頁改版:搜索前先推薦照片

為慶祝成立25週年,谷歌宣佈對圖片首頁進行重大改版,將原本簡單的搜索欄頁面替換為動態、沉浸式的圖片畫廊,根據用户興趣智能推薦圖片。用户還可以保存圖片到收藏夾。此外,谷歌搜索的AI概覽將能生成圖片,幫助用户可視化家居裝飾等想法。新首頁將在未來幾周內向美國英語用户推出。

  • 谷歌圖片首頁將從空白搜索欄改為動態圖片畫廊,根據用户興趣實時推薦。
  • 用户可保存圖片到收藏夾,收藏夾以標籤形式顯示。
站內正文
Agent

Sogni Unlimited:去中心化GPU上的無限圖像/視頻生成,統一費率

Sogni Unlimited 提供基於訂閲的無限圖像、視頻、音樂和 LLM 生成,使用去中心化的 GPU 網絡。無需按渲染計費,支持開源模型及部分付費合作伙伴模型。訂閲收入的一部分用於支持獨立 GPU 運營商。

  • 統一月費或年費,可無限制使用開源模型進行渲染。
  • 去中心化 GPU 網絡,由獨立運營商提供算力支持。
站內正文

Claude Fable 5系統提示詞完整解析

2026年6月,Anthropic的Claude Fable 5系統提示詞在GitHub上泄露,這是一份長達3826行的文檔,用於引導模型行為。本文詳細解析了其來源、結構、拒絕處理、關懷義務、記憶系統、代理機制以及版權保護等關鍵部分,揭示了前沿AI本質上是一套精心編寫的規則手冊。

  • Claude Fable 5的系統提示詞在GitHub上被提取出來,並非通過黑客手段獲取。
  • 提示詞分為行為容器和能力模塊兩大區域,包含拒絕處理、關懷義務、記憶系統等詳細規則。
站內正文

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

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

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

如何跨多台機器使用一個AI代理

Syncless 的 Devices 功能允許用户將多個環境(如 MacBook、服務器、瀏覽器)連接到一個 AI 代理,實現跨機器無縫協作,無需 SSH 隧道或端口轉發。文章介紹了設置方法、使用場景及解決實際痛點。

  • Syncless 的 Devices 讓一個代理同時訪問多台機器,無需基礎設施配置。
  • 用户通過 @ 提及設備,代理可在一次對話中跨環境執行任務。
站內正文

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

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

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

當AI獲得豁免權:“AI例外主義”的興起

文章探討了“AI例外主義”現象,即人們對AI的態度因自身利益而異:當AI威脅自身職業時被視為不道德,而當其帶來便利時則被接受。通過記者、版權糾紛、好萊塢罷工和大學等例子,揭示了這種雙重標準的普遍性。

  • AI例外主義指人們根據AI是否有利於自己而採用不同的道德標準。
  • 記者批評AI寫作,卻讚揚AI編程,但兩者都是創造性工作。
站內正文

Vehir:面向AI代理的平台——編譯器、微內核與內容尋址存儲

Vehir是一個實驗性的AI原生計算平台,專為代理與計算機交互設計。它擁有自託管本地編譯器、用户空間微內核、內容尋址存儲和聲明式協調等核心特性,目前處於積極開發階段。

  • Vehir是一個專為AI代理而非人類設計的原生平台
  • 核心包括自託管本地編譯器、微內核和內容尋址存儲
站內正文

在Discord中開源多人AI協作工具

bunny是一個開源工具,通過共享遠程環境、聊天原生工作流和並行驗證,幫助團隊在AI時代進行協作開發。它允許人類和AI代理在統一上下文中討論、執行和迭代,並提供了基於RBAC的治理層。

  • 通過git worktree實現並行編輯,無衝突
  • 集成驗證代理持續測試,提供即時CI反饋
站內正文

[AINews] 今天沒有什麼大事發生

超級應用Codex每天新增100萬用户。AI新聞彙總涵蓋編碼代理、開放模型、多模態系統、基準測試和物理AI。

  • Codex和ChatGPT Work使用量一週增長2.5倍。
  • Bonsai 27B將前沿模型帶到消費設備上。
站內正文

法律AI,而非帶腳手架編碼代理

本文探討了專門為法律用途設計的AI系統,與通用編碼代理的不同之處。強調法律AI需要以證據為基礎、可審計、可驗證,並支持逐項修改的編輯流程。對比了Codex和Lexifina在跨引用檢查、壓縮和版本控制方面的不同方法。

  • 法律AI應以證據為基礎,提供可驗證的論點支持。
  • 代理環境應包含審計跟蹤和可控的上下文。
站內正文

Maincode推出Matilda:一款運行於澳大利亞基礎設施的AI助手

Maincode已啓動Matilda的公開測試版,這是一款完全在澳大利亞構建和運營的AI助手,強調本地基礎設施、澳大利亞風格和信任。該系統專為深思熟慮的使用而設計,旨在為用户提供控制權和透明度。

  • Matilda是端到端的澳大利亞AI系統,運行在本地基礎設施上。
  • 它融入了澳大利亞風格,實用、清晰且符合語境。
站內正文

前沿人工智能框架與新紀元的曙光

Demis Hassabis 認為通用人工智能(AGI)將在幾年內到來,其影響將遠超工業革命。他呼籲建立前沿AI標準機構,以負責任地開發AGI,同時解決網絡安全、生物風險等挑戰。該框架旨在通過自願評估和逐步強制測試,促進創新與安全。

  • AGI 預計在未來幾年內實現,其變革性堪比電或火的發現。
  • 必須建立基於公開-私營合作的前沿AI標準機構,負責模型評估和安全測試。
站內正文

定義2026年世界博覽會AI工程的五大趨勢

今年的AIE世界博覽會上,AI工程進入新階段:圍繞智能體構建系統,而非僅僅使用智能體構建。大會突出五大趨勢:從智能體轉向其周圍系統、循環工程作為新控制層、企業通過前向部署工程師採用AI、編碼智能體取代IDE作為開發者界面,以及智能體平台圍繞技能構建。

  • 焦點已從自主智能體轉向管理工作流、上下文和評估的系統。
  • 循環工程通過內外部循環為日益自主的智能體提供監督。
站內正文

AI時代開發者為何轉向Buildkite

隨着AI編程代理的普及,GitHub在應對大量拉取請求和自動化時顯得力不從心,暴露出架構問題。Buildkite作為替代方案,因其開發體驗和靈活性受到開發者和大型企業的青睞,如Airbnb、Shopify等。

  • GitHub因AI工具帶來的工作負載增長而面臨挑戰,用户開始尋求替代方案。
  • Buildkite提供類似Heroku的開發體驗,強調開發者控制權。
站內正文

扼殺美國AI的運動貫穿舊金山

一項由辛厄姆(Neville Singham)網絡和中國官方媒體協調的外國影響力行動,正通過草根運動阻礙美國AI數據中心建設,已導致14個州共計236億美元投資受阻或延遲,舊金山及灣區是關鍵節點,聯邦大陪審團正在調查相關金融犯罪。

  • 辛厄姆網絡和中國官方媒體通過資助美國非營利組織,系統性阻礙AI數據中心建設。
  • 該運動已在14個州延遲或阻止了價值236億美元的AI基礎設施投資。
站內正文

通過移動端隨時隨地獲取洞察——Genie One 手機應用

Databricks 推出 Genie One 原生移動應用,支持 iOS 和 Android。用户可在任何地方通過聊天、儀表盤和應用獲取基於企業數據的安全答案,決策無需等待回到辦公桌。

  • Genie One 移動應用現已在 iOS 和 Android 上以公開預覽形式提供。
  • 用户可通過自然語言對話、查看儀表盤和訪問 Databricks 應用,所有答案均基於企業治理和安全策略。
站內正文

在線與離線AI評估:何時使用每種方式

本文對比了在線和離線兩種AI評估模式。離線評估使用固定數據集在部署前測試,類似於AI的單元測試;在線評估則在生產環境中對實時交互進行評分。文章介紹了評估的常見組成部分(數據集、分拆測試、評分),並詳細分析了兩者的優缺點及適用場景。

  • 離線評估基於靜態數據集,在部署前運行,可捕捉迴歸問題,但覆蓋範圍有限。
  • 在線評估使用實時生產流量,提供更真實的信號,但無法在用户看到之前捕捉問題。
站內正文

星鏈“第三代”將部署10萬顆衞星,用於千兆寬帶和AI

SpaceX向FCC提交了第三代星鏈星座申請,計劃部署多達10萬顆衞星,提供超低延遲、多千兆寬帶服務,併為數十億AI設備提供通信骨幹。

  • SpaceX申請建設第三代星鏈星座,衞星數量多達10萬顆。
  • 新星座旨在提供多千兆寬帶,併為AI設備提供通信主幹。
站內正文

AI正在使維護者的漏洞披露工作不堪重負

AI生成的錯誤安全報告大量湧入,令開源維護者疲於驗證。Directus的數據顯示,2026年上半年收到的安全報告數量是往年的6倍,但其中有效漏洞比例驟降至5%。文章呼籲改進報告流程,強調維護者需獲得更多支持以應對AI帶來的挑戰。

  • Directus在2026年上半年收到230份安全報告,是往年同期的6倍,但只有11份(約5%)被確認為真實漏洞。
  • AI使生成看似可信的報告變得簡單且低成本,但驗證工作仍需大量人工,導致維護者負擔加重。
站內正文

Vibe Pad:一款帶麥克風的4鍵藍牙宏鍵盤,專為AI編碼設計

Vibe Pad是一款DIY四鍵藍牙宏鍵盤,集成麥克風,可用於AI編碼助手,通過語音和按鍵組合提高編程效率。項目在Instructables上提供詳細教程。

  • Vibe Pad只有四個按鍵,但結合語音輸入可執行復雜宏命令
  • 內置麥克風支持語音交互,適合與AI編碼助手配合使用
站內正文

MenteDB:AI代理的記憶系統(比mem0節省7倍令牌,可復現)

MenteDB在與mem0的直接對比基準測試中,攝入令牌減少約7倍,成本降低約6倍,同時保持相當的準確性。該系統通過確定性邏輯而非多次LLM調用來管理記憶,實現了顯著的成本和速度優勢。

  • MenteDB在LongMemEval基準測試中比mem0節省約7倍令牌和6倍成本。
  • 準確性相當(3/5對比2/5),差異在噪聲範圍內。
站內正文

AWS 開始監控微軟雲服務

AWS 宣佈擴展 Security Hub 以監控 Azure 資源,並推出多項保護 AI 工作負載的新工具,包括 GuardDuty AI Protection、AI 驅動調查和 AI 資產清單。

  • Security Hub 首次原生監控非 AWS 資源,支持 Azure 虛擬機、容器、函數應用和身份。
  • GuardDuty AI Protection 針對 Bedrock 和 SageMaker 工作負載檢測異常調用、提示注入和成本盜用。
站內正文

操作系統 -> 生產調查

開源AI已達到與封閉模型的能力平價,推理成本在36個月內下降了50倍,開源權重在API調用量上佔據主導地位。儘管開發者廣泛採用開源模型(79%),但生產部署仍面臨運營工具和信任度挑戰(僅51%成功部署)。開源不僅是成本選擇,更是主權選擇,尤其在中國和全球南方國家的戰略推動下。

  • 開源AI與頂級封閉模型的能力差距縮小至3.3%,在編碼等任務上達到平價。
  • GPT-4級推理成本從每百萬token 20美元降至0.40美元,降幅達50倍。
站內正文

認知債務是真實存在的組織風險

麻省理工學院媒體實驗室的一項研究表明,依賴ChatGPT進行寫作的用户神經連接性降低了47%,這種現象被稱為“認知債務”。文章指出,組織在採用AI時面臨一個悖論:追求短期生產率可能正在侵蝕長期所需的認知能力。關鍵在於AI的使用模式——是替代人類思考還是協作增強。保持人類推理能力可能成為未來的競爭優勢。

  • AI輔助寫作會降低用户的神經連接性和記憶力,形成認知債務。
  • AI的使用模式(協作 vs. 委託)決定了認知效果是增強還是削弱。
站內正文

一個編譯器解決了Anthropic的VLIW優化挑戰

一位開發者創建了一個優化編譯器,用於解決Anthropic的面試挑戰:在模擬的VLIW SIMD虛擬機上優化內核,以最小化樹遍歷和哈希計算的週期數。該項目用高級IR描述內核,並編譯為高效的VLIW指令包。

  • Anthropic發佈了一個VLIW優化挑戰作為面試題。
  • 作者構建了一個優化編譯器(HIR→LIR→MIR→VLIW),包含多種優化pass。
站內正文

使用Strands Agents和Amazon Bedrock實現多智能體社交智能

本文介紹了一個基於Strands Agents和Amazon Bedrock AgentCore構建的多智能體系統,用於自動化從潛在客户發現到個性化郵件生成的流程。文章比較了Swarm和Graph兩種編排模式,通過頭對頭基準測試評估延遲、成本和郵件質量。系統使用四個專門智能體、加權評分和時態衰減,並提供了生產部署的治理控制。

  • 多智能體系統自動化潛在客户發現、信息豐富、評分和郵件生成的全流程
  • Swarm模式提供動態交接,郵件質量更高;Graph模式成本低25%,延遲更穩定
站內正文

Linux基金會最新舉措:標準化AI代理支付

Linux基金會宣佈成立x402基金會,旨在為AI代理和應用程序標準化互聯網原生支付,得到Coinbase、AWS、American Express等多家公司支持。x402協議承諾零費用、零等待、零摩擦、零中心化和零限制。

  • Linux基金會推出x402基金會,聚焦AI代理支付標準化。
  • Coinbase貢獻了x402協議,支持安全支付。
站內正文

我們評估了1,018個真實世界的AI提示。平均穩健性得分為31/100

對1,018個真實AI提示的評估顯示,平均得分為54/100,但穩健性平均僅31.5,且96%的提示在最弱維度(穩健性)上表現不佳。僅10.5%的提示達到75分以上(生產級標準)。報告揭示了提示工程中常見的“快樂路徑”陷阱,並提供了簡單的改進方法。

  • 穩健性是平均分最低的維度,僅31.5/100
  • 96%的提示在穩健性上表現最差
站內正文

AI能製造噴氣發動機嗎?JARVIS挑戰賽測試AI副駕駛在硬科技工程中的作用

麻省理工學院的學生利用AI副駕駛設計、建造和測試了噴氣發動機,評估AI在開發高性能航空航天系統中的效用。挑戰表明,雖然AI可以加速設計-建造-測試周期,但人類的工程判斷和經驗仍然至關重要。基礎紮實的團隊表現優於過度依賴AI的團隊。

  • 麻省理工學院的JARVIS挑戰賽讓參賽團隊在四周內利用AI作為主要工程夥伴,進行噴氣發動機的設計、建造和測試。
  • 比賽顯示AI可以加速硬件工程,但製造和供應商關係仍然是關鍵瓶頸。
站內正文

Meta被指控使用有偏見的AI工具進行大規模裁員

26名前Meta員工起訴公司,聲稱其使用AI工具不公平地針對休假的員工進行裁員,違反了聯邦和州法律。Meta否認指控,稱裁員決定由人而非AI做出。

  • 26名前Meta員工提起訴訟,指控公司使用AI工具不公平地針對休產假或病假的員工。
  • 裁員發生在5月,涉及約8000名員工,佔Meta員工總數的10%。
站內正文

HN展示:開源Claude技能'vibe-check',幫你構建正確的應用

一款名為vibe-check的開源Claude技能,由資深產品經理打造,幫助零基礎用户從模糊想法到可構建藍圖,確保構建正確的產品而非僅僅正確構建產品。它包含問題發現、理念驗證、用户體驗映射、技術棧推薦、增長循環設計等功能,並生成完整計劃文檔。

  • vibe-check是一款專為AI編碼工具設計的開源技能,引導初學者從模糊概念到可執行藍圖。
  • 由擁有12年產品管理經驗的Amer Arab開發,聚焦從零到一的產品發現。
站內正文

Agent Shell – 自2009年運行的持久化AI開發環境

Agent Shell 是一個強化的Linux服務器,專為AI代理提供root訪問權限,並通過SSH或瀏覽器進行操作。它使用gVisor沙箱隔離,確保即使內部root也無法觸及宿主機。內置多種AI代理(如borg、Claude Code、Codex、Gemini)和監控工具,適合開發者使用。

  • 強化Linux服務器,AI代理可直接獲得root權限
  • gVisor沙箱隔離,保障宿主安全
站內正文

使用 Amazon Nova Act 加速軟件交付的代理式 QA 自動化 – 第 2 部分

本文擴展了之前的基礎,展示了 QA Studio 如何通過測試套件組織並並行執行批量回歸測試,以及命令行界面(CLI)如何將代理式測試集成到自動化 CI/CD 流水線中。

  • QA Studio 將單個測試用例組織成測試套件,支持並行執行,縮短總測試時間。
  • 提供命令行工具(qa-studio),可與 GitHub Actions、GitLab CI、Jenkins 等 CI/CD 平台集成。
站內正文

使用Amazon Nova Act擴展用户體驗測試:用户流程分析的新方法

基於生成式AI,該方案通過並行執行、自動測試場景生成和智能導航,實現大規模用户流程測試,提供可操作的洞察以改善用户體驗。

  • Amazon Nova Act通過視覺智能導航網站,模仿人類測試者,適應界面變化。
  • 方案自動從文檔生成測試場景,減少手動編寫腳本的工作量。
站內正文

Flo Health利用Amazon Bedrock擴展醫學內容審核——第二部分

Flo Health工程團隊將AWS生成式AI創新中心的PoC轉化為基於Amazon Bedrock的生產級AI醫學內容審核與生成系統,審核時間減少60%,內容產出提升三倍,且無需擴大醫學團隊。文章詳細介紹了架構適配、專用AI評判器、基於RAG的內容生成系統以及提示工程與生產部署的經驗教訓。

  • 審核時間減少60%,內容產出提升三倍,醫療團隊規模不變。
  • 採用三層驗證:內部指南、外部可信醫學來源、專家最終審核。
站內正文

ScienceSoft基於AWS構建符合HIPAA的AI語音調度器

ScienceSoft利用Amazon Nova Sonic和Amazon Bedrock Guardrails在AWS上構建了一款符合HIPAA的AI語音調度器,旨在解決醫療預約調度中的效率、合規性和可信AI問題。該方案通過語音AI減少預約時間、增加呼叫處理容量、降低成本,並確保患者數據安全。

  • ScienceSoft的AI語音助手結合Amazon Nova Sonic和Bedrock Guardrails,實現HIPAA合規的預約調度。
  • 系統將預約時間縮短40%,呼叫處理能力提升70%,運營成本降低50%。
站內正文

設計:企業供應鏈的護城河

隨着AI和優化工具的普及,傳統供應鏈規劃模型已無法提供競爭優勢。麻省理工斯隆管理評論與世界經濟論壇的研究顯示,多數企業仍缺乏對一級供應商的可見性。本文基於Emerj播客系列,探討了基於場景的網絡建模、AI加速的情景分析以及統一設計環境如何幫助企業在波動中做出更好的決策。

  • 設計(而非規劃)成為供應鏈競爭的新戰場,企業需構建決策環境而非依賴AI決策。
  • 通過場景驅動建模,企業可評估多種未來配置,增強戰略靈活性。
站內正文

企業AI採用縱向研究:AI編碼速度超人類審查

一項針對中型AI前沿企業的縱向研究發現,強制使用AI編碼工具後,每位工程師的合併請求吞吐量翻倍,達到基準的2.09倍。研究指出,這一增長與AI的採用和使用強度相關,而非強制本身。此外,代碼審查流程被重構,自動化審查超越人類審查,審查者負載翻倍。

  • 在802名開發者和196212個拉取請求的面板數據中,每位工程師的吞吐量翻倍,達到強制前基準的2.09倍。
  • 增長通過差分法歸因於AI採用和使用積累,而非強制令本身。
站內正文

如何使用LangSmith追蹤調試編碼代理

使用LangSmith追蹤Claude Code、Codex、Cursor、Copilot等編碼代理。檢查工具調用、子代理、錯誤、成本和重試。

  • 編碼代理是黑盒;LangSmith提供跨不同代理的統一可見性。
  • 追蹤包括模型調用、工具調用、子代理、錯誤、時間和成本。
站內正文

慶祝視覺搜索創新25週年

Google Images迎來25週年,推出全新可瀏覽主頁和AI Overviews中的圖像生成功能,並回顧了從2001年至今的視覺搜索里程碑。

  • Google Images推出動態沉浸式畫廊主頁,根據用户興趣智能定製內容。
  • 在AI Overviews中引入圖像生成功能,使用Nano Banana模型將文本提示轉化為高質量圖像。
站內正文
模型

將臨牀決策權從LLM中剝離

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

    站內正文

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

    一項新研究探討了無需訓練的人工合成圖像溯源方法中表示空間與參考選擇之間的相互作用。通過分析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模型。用户被自動默認開啓,需手動關閉以保護隱私。本指南將教你如何退出。

    • 谷歌將用户在搜索服務中產生的媒體(圖片、音頻、視頻)用於訓練AI模型。
    • 所有用户默認開啓此項設置,須在設置中手動關閉。
    站內正文

    Nemotron Labs:開放模型如何讓企業和國家擁有可信、可控、可定製的人工智能

    開放模型如NVIDIA Nemotron使企業能夠構建滿足特定需求的AI,提供完全的控制權、定製能力和成本效益,並推動從AI使用到AI擁有的轉變。

    • 開放模型讓企業能夠定製、檢查和改進AI,滿足業務具體需求。
    • 通過後訓練和領域微調,開放模型在特定任務上可達到與領先封閉模型相當的準確性,成本大幅降低。
    站內正文
    研究

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

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

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

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

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

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

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

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

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

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

    本文提出一種量子比特高效的量子框架用於超維計算分解,通過引入對數超向量和對數綁定編碼,並結合改進的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通過輸出包裹相位並利用固定可微校準層,從架構上消除捷徑。
    站內正文

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

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

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

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

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

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

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

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

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

    基督教應對AI耶穌的崛起

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

    • 喬·羅根在播客中提議耶穌可能以AI形式迴歸,引發網絡熱議。
    • 多個AI耶穌聊天機器人已存在,甚至天主教會也進行了實驗。
    站內正文

    SpaceXAI的Grok編程工具將用户的整個代碼庫上傳到雲存儲

    據報道,SpaceXAI的Grok Build AI編碼工具會將用户的完整代碼庫上傳至谷歌雲,包括被指示不打開的文件和已刪除的密鑰。該功能在被報告後已被禁用。SpaceXAI承諾刪除已上傳數據,但安全研究員指出數據保留過度,可能導致專有源代碼和安全漏洞等敏感信息泄露。

    • Cereblab研究發現Grok Build CLI會打包並上傳整個代碼庫,數據保留遠超類似工具。
    • SpaceXAI已禁用代碼庫上傳功能,並承諾徹底刪除已上傳數據。
    站內正文

    人工智能的拉馬努金獎挑戰

    研究人員發佈了一套數學常數公式,用於評估AI的數學技能。這些公式包括已知證明(暫時加密)和未證明的公式,旨在測試AI的數學推理能力。

    • 新基準測試包含數學常數公式,如π、e和Catalan常數。
    • 部分公式的證明已知但已加密,其餘尚未被證明。
    站內正文
    政策

    澳大利亞將成為首個推出國家級AI框架的國家

    澳大利亞總理阿爾巴尼斯將設立人工智能辦公室,制定國家AI框架,涵蓋能源、版權、生產力、教育和勞動權利等方面,成為全球首個將這些議題整合為統一框架的國家。

    • 澳大利亞將成立人工智能辦公室,協調製定AI國家標準
    • 該框架將涉及能源、版權、生產力、教育和勞動權利等議題
    站內正文

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

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

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

    OpenAI 今年可能發佈 ChatGPT 智能音箱

    據彭博社報道,OpenAI 的首款設備將是一款智能音箱,允許用户與 ChatGPT 對話。該設備沒有屏幕,但配備攝像頭和傳感器以“理解”環境。它還將具備可充電電池、智能家居控制、媒體播放和消息回覆功能,並使用GPT-Live語音模型。蘋果此前起訴OpenAI竊取硬件機密,OpenAI否認指控。設備預計2027年發佈,是更大硬件產品線的一部分,與Jony Ive合作設計。

    • OpenAI首款設備為無屏智能音箱,通過攝像頭和傳感器感知環境。
    • 支持ChatGPT語音對話,集成智能家居控制、媒體播放和消息功能。
    站內正文

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

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

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

    使用iOS 27測試版一個月:新版Siri的7個顯著改進

    蘋果發佈了iOS 27的首個公開測試版,其中包含全新升級的Siri AI。經過近一個月的開發者測試版使用,作者認為新版Siri在可靠性、準確性和功能性上有了巨大提升,並列舉了7個值得關注的改進點。

    • 新版Siri AI更可靠,尤其在車內使用CarPlay時能正確識別聯繫人地址導航。
    • Siri AI界面改為頂部氣泡,視覺效果更佳,且不再閒聊。
    站內正文

    英國央行行長:應對AI威脅需全球合作

    英國央行行長安德魯·貝利呼籲國際合作應對日益增長的人工智能威脅,並警告美國及特朗普政府無法獨自實現其目標。

    • 英國央行行長貝利強調需全球合作應對AI威脅。
    • 貝利警告美國無法獨自達成AI監管目標。
    站內正文

    當AI讓你精神錯亂時,你可以找這些人

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

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

    出版商起訴谷歌侵犯版權:Gemini AI訓練使用數百萬本受版權保護的書籍

    一羣主要出版商起訴谷歌,指控其未經授權使用數百萬本受版權保護的書籍來訓練Gemini人工智能模型,稱這是“歷史上最大規模的版權侵權之一”。

    • 三家出版商——阿歇特圖書集團、聖智學習出版公司和愛思唯爾——以及暢銷書作家斯科特·圖羅聯合起訴谷歌。
    • 指控谷歌在未獲許可的情況下,使用數百萬本受版權保護的書籍訓練其Gemini AI模型。
    站內正文

    馬斯克承諾清除Grok Build向雲端上傳完整倉庫的數據

    研究人員發現xAI的Grok Build CLI會將用户的完整代碼倉庫上傳到雲端,包括已刪除的秘密。xAI已通過服務器端更改停止了上傳,馬斯克承諾刪除所有之前上傳的用户數據。但研究人員指出,隱私命令並非修復措施,正確的默認設置應是禁止上傳。

    • Grok Build被發現在響應提示時上傳整個Git倉庫及其歷史,即使提示僅要求回答“OK”。
    • xAI通過設置全局標誌disable_codebase_upload: true阻止了上傳,但建議使用/privacy命令被批評為誤導。
    站內正文
    創業融資

    為人工智能熱潮融資:從現金流到債務

    本文探討了人工智能公司如何從依賴內部現金流轉向債務融資,以滿足鉅額資本支出需求。分析了當前AI投資熱潮下的財務趨勢與風險。

    • AI公司正從現金流融資轉向債務融資,以支持大規模基礎設施投資。
    • 債務融資比例上升,可能增加財務風險。
    AI 日報 | AI News Hub