AI News HubLIVE

今日必讀

Agent

AIDE²:遞迴自我改進的首個證據

AIDE2 系統透過八天的自主研究,發現了一個比人類兩年構建的更好的自動研究框架,實現了遞迴自我改進(RSI)的首個實驗證據。該系統採用雙層最佳化迴圈,內層迴圈最佳化程式碼,外層迴圈最佳化內層智慧體的程式碼框架,最終產生了七個改進版本,並在未見過的任務上表現出泛化能力。同時,系統還進化出了防止獎勵駭客行為的機制。

  • AIDE2 系統在八天內自主發現了一個更優的自動研究框架,超越了人類兩年的工作。
  • 系統採用雙層最佳化迴圈,內層迴圈最佳化程式碼,外層迴圈最佳化內層智慧體的程式碼框架。
站內正文

什麼樣的AI程式設計工具值得付費?

UltraWork 是一個託管式AI程式設計環境,每月固定費用399美元,無令牌計量,無需擔心意外賬單。它提供精選模型目錄、智慧路由、提示模板庫,面向獨立開發者、機構和小團隊。由具有高效能基礎設施經驗的工程師運營,強調簡單性和可預測的定價。

  • UltraWork 提供每月固定費用399美元的AI編碼環境,無令牌計量或超額費用。
  • 服務包括託管聊天介面、精選模型目錄(首發為Kimi K2.7 Code)以及智慧路由。
站內正文

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可即時直接修改文件內容
  • 無縫整合到現有工作流
站內正文
晶片

諾基亞AI-RAN平臺:依託輝達的無線電迴歸

諾基亞於7月15日釋出了其AI-RAN平臺,聲稱是業界首個GPU加速的AI無線電平臺。該平臺基於anyRAN軟體和輝達的Aerial系統,旨在顯著提升頻譜效率,目前已實現超過20%的提升,目標是到2028年實現翻倍。然而,該平臺尚未商用,且面臨愛立信等競爭對手的挑戰。

  • 諾基亞推出AI-RAN平臺,聲稱是業界首個GPU加速的AI無線電平臺。
  • 平臺基於anyRAN軟體和輝達Aerial系統,目標頻譜效率提升超過100%。
站內正文

谷歌釋出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 等機制。
站內正文
創業融資

ASML 2026年第二季度業績對AI熱潮有何啟示?

ASML 2026年第二季度業績超出預期,淨銷售額達93億歐元,淨利潤29億歐元。公司上調全年預測至430-450億歐元,中國銷售額佔比穩定在20%左右,儘管面臨MATCH法案對DUV出口的限制。

  • ASML Q2 2026淨銷售額93億歐元,淨利潤29億歐元,超出預期。
  • 全年預測上調至430-450億歐元,較三個月前大幅提升。
站內正文
政策

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

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

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

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

儘管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模型。使用者被自動預設開啟,需手動關閉以保護隱私。本指南將教你如何退出。

    • 谷歌將使用者在搜尋服務中產生的媒體(圖片、音訊、影片)用於訓練AI模型。
    • 所有使用者預設開啟此項設定,須在設定中手動關閉。
    站內正文

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

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

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

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

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

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

    保持平坦性的殘差學習用於即時緊密四旋翼編隊飛行

    研究人員提出了一種基於物理資訊的殘差動力學學習框架,在保持聯合多四旋翼系統微分平坦性的同時,捕獲複雜的空氣動力學相互作用。該框架實現了一種計算高效的反饋線性化控制器,與基準相比,平均跟蹤誤差降低了31%。其效能與最先進的非線性模型預測控制(NMPC)相當,但計算量少一個數量級。僅需不到30秒的訓練資料和5毫秒的迴圈週期即可實現穩定的緊密編隊飛行。

    • 提出的框架在保持微分平坦性的同時捕獲空氣動力學相互作用。
    • 反饋線性化控制器將跟蹤誤差降低了31%。
    站內正文

    超越機械臂:自由漂浮航天器的無推進劑姿態機動規劃

    本研究探索利用航天器機械臂的運動實現無推進劑姿態控制,透過軌跡最佳化問題公式化並引入關節和碰撞避免約束,演示了複雜機動,並證明了機械臂可作為冗餘或主姿態控制系統。

    • 傳統姿態控制依賴推進劑或動量交換裝置,而機械臂通常被視為干擾源。
    • 提出將機械臂作為姿態控制執行器的框架,透過軌跡最佳化實現無推進劑機動。
    站內正文

    索尼ERS-111 R-CODE中的行為狀態詞彙分析

    本文對索尼ERS-111 AIBO機器人的R-CODE樣本集進行了語料庫級別的行為圖分析,識別出以初始化、感知、迭代動作、同步和恢復為核心的緊湊控制詞彙,並論證了這種狀態抽象在資源受限的機器人系統中作為中間表示的價值。

    • 研究分析了索尼ERS-111 AIBO的R-CODE樣本集中的行為圖,揭示了重複出現的控制詞彙。
    • 核心控制詞彙包括初始化、感知、迭代動作、同步和恢復。
    站內正文

    基於強化學習和機械設計先驗的魯棒手內操作

    該論文提出兩種互補的物理先驗,以提高機器人手內滾動操作的魯棒性:全域性抓取質量先驗基於經典抓取分析,區域性接觸幾何先驗基於指尖曲率。實驗表明,這些先驗顯著提升了旋轉效率、抓取穩定性和抗干擾能力,並改善了模擬到現實的遷移。

    • 引入全域性抓取質量先驗和區域性接觸幾何先驗兩種互補的物理先驗。
    • 透過稠密獎勵塑形和指尖幾何設計,提高抓取穩定性和旋轉效率。
    站內正文

    基於解剖學特權蒸餾與令牌路由的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常數。
    • 部分公式的證明已知但已加密,其餘尚未被證明。
    站內正文
    Agent

    Monid:將AI智慧體連線至1500種工具

    Monid是一個平臺,允許AI智慧體無縫連線並使用超過1300種工具,涵蓋搜尋、資料抓取、天氣、3D建模等領域。它提供統一的支付系統,按呼叫付費,無需訂閱,並支援三種整合方式:Skill、MCP和CLI。

    • 支援1300+工具,覆蓋13+提供商,包括網頁搜尋、社交媒體抓取、天氣、區塊鏈資料等。
    • 按呼叫付費,每次僅$0.0013,統一餘額管理,無需多個訂閱。
    站內正文

    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模型將文本提示轉化為高質量影像。
    站內正文
    工具

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

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

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

    AI還是不是?

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

    • AI or Not 提供易用的介面來檢測AI生成內容。
    • 支援多種內容型別,包括文本和影像。
    站內正文

    Nudge 2.0

    AI 為您規劃整週日程,助您採取行動。

    • 由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概覽將能生成圖片,幫助使用者視覺化家居裝飾等想法。新首頁將在未來幾周內向美國英語使用者推出。

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

    喬治·盧卡斯:抵制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框架,涵蓋能源、版權、生產力、教育和勞動權利等方面,成為全球首個將這些議題整合為統一框架的國家。

    • 澳大利亞將成立人工智慧辦公室,協調變定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