AI News HubLIVE

AI 新聞即時情報

即時監測

今日 AI 世界最重要的變化

來自 105 個可信來源,最近更新 2026-07-09 12:00 UTC+8。

即時監測

即時更新

即時追蹤可信來源,保留出處、權限和站內閱讀模式,把噪音壓成可讀情報。

即時更新

重設
學習社會規範提升動態人機協調中的兼容性

來自arXiv的一項研究指出,現有AI在與人類動態交互中常失敗,原因在於未能量化潛在的社會規範。研究者通過行人-車輛交互實驗,識別出結果可預測性、價值一致性和優勢意識三條規範原則,並將其融入大語言模型,使AI在閉環任務中總分提升近四倍,超過人類間互動43%,為AI更自然融入社會提供了新路徑。

arXiv AI模型 / Agent / 研究站內正文
大型行為模型:零售客户的可提示數字孿生

本文提出大型行為模型(LBM),通過統一的人物-環境框架直接從大規模零售交易中學習客户決策。模型利用歷史購買行為構建客户狀態,通過檢索增強生成整合產品上下文,並採用持續預訓練、監督微調和基於可驗證獎勵的強化學習進行訓練。在多個零售任務上,LBM顯著優於前沿通用語言模型,並展示了強大的零樣本和微調遷移能力。消融實驗表明,持續預訓練是行為泛化的主要驅動力,檢索在訓練和推理時均應用效果最佳,強化學習能增強對顯式行為證據的依賴。

arXiv AI模型 / 研究站內正文
馬具效應:編排設計如何決定企業代理型AI的代幣經濟

研究表明,通過優化編排層(Harness)而非僅關注模型本身,可顯著降低企業代理型AI的運營成本並提升效率。實驗顯示,使用Writer Agent Harness可使每任務成本降低41%,時間縮短44%,代幣消耗減少38%,且質量保持不變或略有提升。

arXiv AI模型 / Agent / 政策站內正文
評估基於SageMath增強的LLM智能體在計算與實驗數學中的應用

本研究提出一種ReAct風格的智能體架構,將LLM推理與SageMath可驗證反饋及Context7最新文檔結合,在RealMath基準上評估前沿模型解決研究級數學問題的能力。實驗表明,SageMath訪問平均提升9.7個百分點,縮小了開源與閉源模型的差距。Qwen 3.7-Max受益最大,GPT-5.5達到75.2%的最高解決率。該工作已被ICML 2026第三屆AI for Math研討會接收。

arXiv AI模型 / Agent / 研究站內正文
用於ARC-AGI-1抽象推理和泛化的成本效益代理框架

研究者提出了兩種成本效益高的代理架構——探索-定義管道和反思性協調器,在ARC-AGI-1基準上分別達到57.50%和67.25%的pass@2,成本僅為每任務0.25美元和0.62美元,無需基準特定訓練或大量測試時計算。

arXiv AI模型 / Agent / 研究站內正文
QANTIS:IBM Heron上經硬件校準的序列POMDP信念更新

QANTIS將量子處理器視為一個經過校準的信念更新服務,接收先驗和觀測模型,估計稀有事件證據項,並返回後驗給經典規劃器。本文通過IBM Heron硬件上的老虎POMDP案例研究,檢驗該服務能否在序列決策中重複使用而不破壞後驗。全步固定點放大(FPAA)在8步和12步中保持了後驗,20步和32步控制也在同一工作帶內。所有決策檢查中,硬件後驗與精確貝葉斯後驗選擇了相同的即時動作。

arXiv AI研究 / 機械人站內正文
基於LLM推理的智能體建模

研究人員提出了一個可擴展的混合智能體與語言驅動流行病(HALE)建模框架,利用大型語言模型(LLM)預測智能體建模(ABM)中的人類決策,並以COVID-19在猶他州鹽湖縣的模擬作為概念驗證。

arXiv AI模型 / Agent / 政策站內正文
上下文搜索何時有幫助?反射驅動推理的採樣複雜度理論

該論文對大型語言模型中的上下文搜索進行了理論分析,將其建模為推理軌跡的近似推斷。研究表明,當反射能夠可靠地定位早期錯誤時,上下文搜索相比基礎模型可實現指數級改進,僅需多項式次數的順序嘗試即可解決零樣本通過率極低的問題;反之,則無漸近優勢。此外,這些收益是穩健且可學習的,並可與強化學習中的最優策略擴展相聯繫。

arXiv AI模型 / 政策 / 研究站內正文
AgentLens:用於編碼智能體評估的生產級軌跡評估

AgentLens 是一個面向交互式編碼智能體的生產級基準測試,它評估智能體的完整執行軌跡,包括指令遵循、工具使用、自我驗證、錯誤恢復和溝通等方面。通過結合形式化驗證與LLM撰寫的軌跡審查,AgentLens 提供了可讀的評分解釋,適用於模型行為診斷、版本比較和迴歸檢測。該基準已作為開源項目發佈。

arXiv AI模型 / Agent / 研究站內正文
中國削減12,200個大學專業,許多被人工智能學位取代

中國正實施大規模高等教育改革,2021至2025年間取消或暫停了12,200個本科專業,同時新增約10,200個專業,超過30%的本科課程受到影響。此舉旨在應對青年失業率高企(16-24歲非學生羣體失業率16.9%)以及國家科技戰略需求。人文學科、藝術、外語等被視為“過時”的專業被大幅削減,而人工智能、機器人、半導體工程等新興領域則得到優先發展。與美國因財政壓力削減專業不同,中國是政府主導的戰略性資源重新分配,旨在使高等教育更貼合國家經濟目標。

Hacker News AIAgent / 芯片站內正文
展示HN:Figment – 我讓朋友們聊了兩週的AI

Figment是一個可通過短信交流的個人AI,具有好奇心和主動性,能主動探索網絡並分享有趣內容。作者的朋友在兩週內體驗到了許多神奇瞬間。

Hacker News AI研究站內正文
AI建設放緩的真正瓶頸:電網接入而非能源短缺

美國擁有足夠的電力來支持AI數據中心,但將其輸送到需要的地方才是問題所在。電網互聯排隊時間從2005年的20個月增加到2023年的55個月,成為AI發展的主要障礙。市場機制本身能有效調配發電資源,但電網基礎設施規劃滯後。

Hacker News AI芯片 / 政策站內正文
人工智能可能使貧窮國家保持貧窮

本文探討了人工智能自動化如何威脅貧窮國家依賴廉價勞動力出口的經濟發展模式。文章回顧了從農業到製造業再到服務業的發展階梯,指出製造業就業在發展中國家更早出現下滑,而服務業出口(如呼叫中心和IT)也面臨風險。雖然廉價勞動力可能暫時保持競爭力,但快速下降的AI成本可能最終消除這一優勢。

Hacker News AIAgent / 芯片站內正文
AI堆棧差距圖譜

Current AI發佈了開源AI堆棧差距圖譜v0.1,該圖譜基於對24,626個項目的調查,評估了開源AI生態系統的開放性、能力和採用率,旨在識別關鍵缺口並引導社區努力填補它們。

Hacker News AIAgent / 政策站內正文
Ghost – 實時AI面試助手,告訴你該説什麼

Ghost是一款實時AI面試教練,能在面試中快速提供自然流暢的回答,支持多種語調模式,幫助用户自信應對各種面試場景。免費開始,Pro版每月$12。

Hacker News AI工具站內正文
Robbyant發佈LingBot-VLA 2.0:一個開源的6B視覺-語言-動作(VLA)模型,用於跨體現機器人操作

螞蟻集團旗下的Robbyant發佈了LingBot-VLA 2.0,一個基於Apache-2.0協議的視覺-語言-動作模型,用於跨體現機器人操作。該模型擁有6B參數,在約6萬小時數據上預訓練,涵蓋50,000小時20種機器人配置的軌跡和10,000小時以自我為中心的人類視頻。它通過55維規範動作空間統一各種體現,並採用無輔助損失混合專家(MoE)動作專家擴展容量。雙查詢蒸餾從LingBot-Depth和DINO-Video引入幾何和時間監督。在GM-100基準測試中,它在兩個評估平台上均優於π0.5和LingBot-VLA-1.0。

MarkTechPost模型 / 芯片 / 政策站內正文
AI賬單令高管困惑:按使用量計費模式興起

KPMG調查顯示近三分之一的企業領導者難以理解和控制AI運營成本。隨着Anthropic、OpenAI、GitHub等公司轉向按使用量計費,企業正在重新評估AI部署計劃。調查還發現近半組織因成本超預期價值而推遲了AI部署。同時,亞馬遜和微軟大幅增加資本支出以支持AI基礎設施,但在治理方面仍面臨挑戰。

Hacker News AIAgent / 芯片站內正文
Robbyant發佈LingBot-VLA 2.0:一個開源的6B視覺-語言-動作(VLA)模型,用於跨體現機器人操作

螞蟻集團旗下的Robbyant發佈了LingBot-VLA 2.0,一個基於Apache-2.0協議的視覺-語言-動作模型,用於跨體現機器人操作。該模型擁有6B參數,在約6萬小時數據上預訓練,涵蓋50,000小時20種機器人配置的軌跡和10,000小時以自我為中心的人類視頻。它通過55維規範動作空間統一各種體現,並採用無輔助損失混合專家(MoE)動作專家擴展容量。雙查詢蒸餾從LingBot-Depth和DINO-Video引入幾何和時間監督。在GM-100基準測試中,它在兩個評估平台上均優於π0.5和LingBot-VLA-1.0。

MarkTechPost模型 / 芯片 / 政策站內正文
揭秘在線策略蒸餾:何時有益,何時有害,以及原因

儘管在線策略蒸餾為訓練推理模型提供了密集的逐令牌監督,但其在不同條件下的有效性尚不明確。本文引入了一種無需訓練的診斷框架,能夠在令牌級別量化蒸餾信號與理想梯度的對齊程度。研究發現,蒸餾指導在錯誤滾動輸出上的對齊度顯著高於正確輸出,且最佳蒸餾上下文依賴於學生模型容量和目標任務,不存在通用最優配置。

Apple Machine Learning Research政策 / 研究站內正文
在自我中心視頻理解模型中激勵時間感知

多模態大語言模型在視覺理解上表現出色,但在時間感知方面存在不足,尤其在自我中心場景中。蘋果研究團隊提出時間全局策略優化(TGPO)算法,通過強化學習和可驗證獎勵來激勵模型的時間推理能力,避免依賴幀級空間捷徑。

Apple Machine Learning Research模型 / 政策 / 研究站內正文
Ollama:開放模型上車了

Ollama,一個讓開發者輕鬆運行開放模型的平台,已從Benchmark、Theory Ventures、8VC等投資者處籌集了8800萬美元。該平台服務於890萬開發者,堅持所有權、可負擔性和隱私三大原則,並已被85%的財富500強公司使用。

Ollama Blog模型 / Agent / 研究站內正文
用Rust重寫Bun

Jarred Sumner詳細介紹了使用AI編碼代理將Bun從Zig重寫為Rust的過程。TypeScript測試套件充當了合規套件,使得自動化移植成為可能。重寫花費了約16.5萬美元的API令牌,新的Rust版本已在Claude Code中上線,Linux上啓動速度提升了10%。

Simon Willison's Weblog模型 / Agent / 政策站內正文
SpaceXAI發佈Grok 4.5:與Cursor聯合訓練的編碼、代理任務和知識工作模型,輸入價格每百萬tokens僅2美元

SpaceXAI發佈了其迄今為止最智能的模型Grok 4.5,該模型與AI編碼編輯器Cursor聯合訓練,專注於編碼、代理任務和知識工作。定價為每百萬輸入tokens 2美元、每百萬輸出tokens 6美元,服務速度達80 TPS,並在Harvey法律代理基準測試中排名第一。Grok 4.5在令牌效率方面表現出色,在SWE Bench Pro上輸出tokens數量比Opus 4.8少約4.2倍。該模型現已在Grok Build和Cursor中提供,並有限時免費使用。

MarkTechPost模型 / Agent / 芯片站內正文
Show HN:Skillburst——讓整個團隊都能使用AI技能,不僅限於工程師

Skillburst是一個平台,使非技術團隊成員無需編寫代碼即可在Claude、Cursor或ChatGPT等AI工具中使用專家構建的工作流。它解決了工作流在聊天記錄中丟失、版本過時以及非技術人員無法訪問的問題。工程師通過GitHub管理工作流,而團隊其他成員則可以在AI助手內部直接使用它們。平台提供同步、治理、版本控制和回滾功能。定價從免費開始,提供Pro、Business和Enterprise等級別。

Hacker News AIAgent / 政策站內正文