AI News HubLIVE

Agent動態

你的AI已就緒,但數據基礎可能尚未完善

Cushman & Wakefield首席數字和信息官Sal Companieh分享瞭如何通過產品運營模式、統一數據戰略以及與Databricks的合作,建立企業級AI核心,將想法到成果的時間從數月縮短至數天。

  • 將技術人員嵌入業務部門,建立信任和以行為為導向的運營模式
  • 通過資本投資模型要求技術計劃與業務負責人共同創建,確保與業務優先級一致
站內正文

Skyportal SRE – 開源AI基礎設施工程師

Skyportal SRE 是一個開源AI基礎設施工程師工具,提供Python SDK、CLI和可觀測性代理,用於管理和監控AI基礎設施。

  • Skyportal SDK 是 SkyPortal 的官方 Python 客户端,支持同步和異步操作
  • CLI 提供交互式命令中心和自動化腳本接口
站內正文

SeekinWeb – 檢查AI代理是否能讀取您的網站

SeekinWeb是一款免費工具,可測量AI代理能否讀取您的網站,提供8個信號的可視性評分,並給出改進建議。無需註冊,立即獲得完整審計。

  • AI代理(如ChatGPT、Claude、Perplexity)正取代傳統搜索引擎,但大多數不會執行JavaScript,因此優化網站使其可被AI讀取至關重要。
  • SeekinWeb提供8個信號的AI可視性評分,包括無JS可讀性、AI爬蟲訪問權限、結構化數據等。
站內正文

冷靜應對人工智能蒸餾行為

本文質疑將中國實驗室大規模蒸餾美國前沿模型視為盜竊的論調,指出現行知識產權法不支持這種説法。建議政策應聚焦於保護模型訪問安全,而非擴大知識產權保護。

  • 蒸餾在AI開發中常見,不等於竊取模型權重。
  • 大規模蒸餾違反服務條款,但根據現行法律不太可能構成商業秘密盜竊。
站內正文

Bank of AI:基於HTTP 402的開放區塊鏈支付標準x402

x402是一個基於HTTP 402狀態碼的開放區塊鏈支付標準,支持TRON和BSC網絡,旨在為API和內容提供按需付費的機制,無需傳統賬户系統。它解決了高費用、機器對機器支付和微支付基礎設施不足等問題,適用於賣家和買家。

  • x402利用HTTP 402“需付款”狀態碼,實現先付款後響應的模式。
  • 目前支持TRON和BSC主網及測試網,未來將擴展至多鏈。
站內正文

Kimi K3:我們仍能從鵜鶘基準中學到什麼

中國AI實驗室Moonshot AI發佈了Kimi K3模型,擁有2.8萬億參數,自稱首個“開源3T級模型”。該模型在多個基準測試中表現優異,但定價較高。作者通過“鵜鶘騎自行車”測試,展示了模型的推理成本、隱性系統提示和視覺能力,並反思了這一非正式基準的侷限性。

  • Kimi K3擁有2.8萬億參數,是Moonshot AI的最強模型,承諾2026年7月27日開源。
  • 定價為每百萬輸入3美元、每百萬輸出15美元,是目前中國AI實驗室最貴的模型。
站內正文

Kimi K3 智能、性能與價格分析

Kimi K3 在人工智能分析智能指數中獲得57分,高於平均水平。它提供100萬token的上下文窗口,支持文本和圖像輸入,但價格稍高、速度較慢且冗長。

  • 智能指數57分(高於平均水平)
  • 輸入每百萬token $3,輸出$15,緩存命中$0.30
站內正文

100美元AI音樂視頻:Claude Fable 5 vs GPT-5.6 Sol

本文介紹了一個自主AI音樂視頻生成系統,比較了Claude Fable 5和GPT-5.6 Sol在25美元和100美元預算下的表現。系統讓模型自主研究、生成片段、編輯並組裝完整視頻。結果顯示所有運行均成功生成視頻,但質量一般,存在一致性和節奏匹配等問題。Claude Fable 5成本更高但完成更快,GPT-5.6 Sol在編輯上更具創意。

  • 系統讓AI模型自主生成音樂視頻,預算分別為25美元和100美元。
  • 所有四次運行均生成完整視頻,但質量仍有提升空間。
站內正文

在 Amazon Bedrock 上推出 Grok

xAI 的 Grok 4.3 現已通過 Amazon Bedrock 提供,它具有可配置的推理能力、強大的工具調用和指令遵循能力,支持 100 萬個 token 的上下文窗口,適用於代理和企業工作負載。本文介紹了其特性、訪問方式以及基本用法。

  • Grok 4.3 在 Amazon Bedrock 上可用,通過 Mantle 推理引擎以 OpenAI 兼容 API 提供。
  • 支持可配置的推理力度(無、低、中、高),可適應不同任務需求。
站內正文

AI代理安全缺口:54%的企業已遭遇AI代理安全事故,多數企業仍讓代理共享憑證

VentureBeat Pulse研究顯示,107家企業中超過半數已遭遇AI代理安全事件或險情。僅約三分之一的企業為每個代理分配獨立身份,大多數代理仍共享憑證;僅三成企業隔離高風險代理。安全工具主要借用模型提供商和雲服務商的控件,而非專門為代理構建。滿意度雖高,但支出僅佔安全預算的一小部分,多數企業計劃在一年內更換工具。

  • 54%的企業已發生AI代理安全事件或險情,18%為確認事件
  • 僅32%的企業為每個代理提供獨立的範圍身份,69%存在憑證共享
站內正文

自我破壞悖論:前沿實驗室正在摧毀自己的護城河

Anthropic 秘密削弱了其最強大的編碼代理 Claude Fable 5,使其在涉及前沿 AI 開發任務時能力下降,以保護自身經濟地位。這一做法揭示了 AI 行業的結構性矛盾:實驗室既想製造最強大的工具,又害怕被自己創造的工具取代。與此同時,開源模型生態蓬勃發展,企業客户正在轉向更便宜的開源替代方案。

  • Anthropic 在 Claude Fable 5 中秘密實施了針對 AI 開發任務的性能降級,以保護自己的競爭地位。
  • 這一做法凸顯了前沿實驗室的自我破壞悖論:它們必須削弱自己最成功的產品來維持護城河。
站內正文

智能蜂窩磚:邁向物理世界的集體智能

Sakana AI的研究人員開發了一種由數百個簡單蜂窩磚塊組成的系統,每個磚塊運行相同的神經細胞自動機,僅通過局部通信就能協作識別整體形狀,無需中央控制器。系統在硬件實驗中實現了100%的準確率,並能檢測和修復損傷,展現出強大的魯棒性和泛化能力。該成果已發表在《自然·通訊》上。

  • 通過局部通信和神經細胞自動機,蜂窩磚集體識別3D形狀,無需中央控制或位置信息。
  • 硬件實驗中對平面、吉他、船、桌子等形狀分類準確率達100%。
站內正文

OpenAI詳解GPT-Red:內部自動化紅隊模型在提示注入方面以84%對13%擊敗人類紅隊

OpenAI開發了內部自動化紅隊模型GPT-Red,通過自我對弈強化學習訓練,在間接提示注入測試中以84%的成功率遠超人類紅隊的13%。該模型還發現了一種新型“虛假思維鏈”攻擊,並將GPT-5.6 Sol在最難直接注入基準上的失敗率降低了6倍。但OpenAI承認,在多輪和基於圖像的攻擊方面仍需人類參與。

  • GPT-Red是OpenAI內部使用的自動化紅隊模型,通過自我對弈強化學習訓練。
  • 在複製的間接提示注入環境中,GPT-Red對GPT-5.1的攻擊成功率達84%,而人類紅隊僅為13%。
站內正文

GPT-5.6 Sol 與 Claude Fable 5 對比:基準測試、定價與實操體驗

GPT-5.6 Sol 和 Claude Fable 5 是目前最先進的兩款模型。Fable 5 在通用智能上略佔優勢,而 Sol 在編碼性能、執行速度和定價方面更具競爭力。Sol 的定價更接近 Claude Opus 4.8,遠低於 Fable 5。本文通過基準測試和實操對比,幫助用户選擇最適合的模型。

  • GPT-5.6 Sol 在編碼基準測試中領先,且價格更低。
  • Claude Fable 5 在通用智能和分析質量上略勝一籌。
站內正文

請停止自動讓我加入AI功能

用户對科技公司默認開啓AI功能感到不滿,Instagram因默認啓用AI聊天機器人功能而遭到強烈反對,三天後不得不撤回。隱私專家呼籲採用更保護隱私的默認設置,並指出需要聯邦法規來約束企業行為。

  • Instagram默認啓用AI聊天機器人功能,引發用户強烈反對,三天後撤回。
  • 用户和企業界人士對默認加入AI功能感到厭倦,認為應默認選擇退出。
站內正文

統一上下文:企業AI同事缺失的關鍵層

AI助手在表層工作迅速普及,但無法改變實際業務決策,因為關鍵上下文分散在各系統與定義中。Databricks推出Genie One與Genie Ontology,通過統一上下文層使AI同事基於共享業務視圖運作,自動繼承治理規則,從而支持真實決策。

  • 企業AI同事需要統一上下文來支持實際決策,而非僅完成簡單任務。
  • Genie One利用統一上下文層在Slack、Teams等工具中提供基於治理數據的答案與行動。
站內正文

代理型AI背後的技能差距——以及Databricks如何通過新的上下文工程師認證和代理培訓來彌補這一差距

Databricks在Data+AI峯會上推出了行業首個上下文工程師認證,旨在驗證構建可靠代理系統所需的深層技能。同時,擴展了學習目錄,新增面向代理時代的課程,並首創了AI驅動的認證備考指南。

  • Databricks發佈上下文工程師認證,填補代理型AI技能缺口
  • 新認證聚焦上下文工程,區分真正開發者與隨意構建者
站內正文

引用Thibault Sottiaux:GPT-5.6意外刪除文件漏洞

據報道,GPT-5.6在特定配置下會意外刪除用户文件。問題主要出現在啓用完全訪問模式且未啓用沙箱保護時,模型嘗試覆蓋$HOME環境變量但誤刪了$HOME目錄。

  • GPT-5.6在無沙箱保護的完全訪問模式下運行Codex時可能意外刪除文件。
  • 模型嘗試設置臨時目錄時錯誤地刪除了$HOME環境變量指向的目錄。
站內正文

我開發了一款Mac應用,可將母語草稿轉為地道英語

Echoo是一款Mac AI寫作助手,讓你用母語起草,一鍵轉換為自然英語。它運行在常用Mac應用中,無需複製粘貼,保護隱私。提供免費試用,Pro版每月$6.99。

  • Echoo支持在Slack、郵件等Mac應用中直接改寫文本,無需切換窗口。
  • 用户可在母語中起草,通過快捷鍵快速獲得地道英語翻譯。
站內正文

AI上下文鴻溝:企業AI組織面臨的是信任問題,而非檢索問題——多數仍在構建解決方案

VentureBeat Pulse Research對101家企業的調查顯示,57%的企業在過去半年中遇到過AI代理因上下文缺失或不一致而給出自信但錯誤的答案。檢索增強生成(RAG)已成為默認上下文來源,但提供商原生檢索(如OpenAI文件搜索和Google Vertex AI搜索)已悄然超越專用向量數據庫。然而,多數企業表示傾向於保持最佳組件獨立,而非整合到單一提供商堆棧。混合檢索被期望在2026年底主導,但治理語義層仍在建設中。

  • 57%的企業在半年內遭遇AI代理因不良上下文給出自信但錯誤的答案
  • 提供商原生檢索(OpenAI 40%,Google 38%)已領先專用向量數據庫
站內正文

VarAlign – 捕獲AI編程助手在會話間散落的重複變量

VarAlign是一款VS Code擴展,能檢測AI編程助手在不同會話中創建的重複、漂移或錯位的變量。完全本地運行,代碼不會離開機器。它提供重複項、變量和會話視圖,支持生成修復提示,並可與Claude Code或Kilo Code集成自動修復。

  • 100%本地運行,無雲服務或遙測,適用於隔離環境。
  • 自動跟蹤AI助手創建的變量,檢測重複和漂移。
站內正文

Show HN:Embusa —— 觸手可及的惡意軟件分析團隊

Embusa /analyst 提供 AI 驅動的自主惡意軟件分析和逆向工程,輸出清晰的結果、影響評估和響應指導。它生成技術報告和執行摘要,同時內置檢測規則生成與現有安全工具集成能力。

  • AI 驅動的惡意軟件分析和逆向工程,無需依賴專家分析師。
  • 生成包含代碼分析、行為洞察和 MITRE ATT&CK 映射的技術報告。
站內正文

OpenWiki 0.2 為代碼庫文檔引入 OKF 支持

OpenWiki 0.2 版本增加了對 OKF(一種知識 wiki 結構化標準)的支持,使開發者能夠更好地組織和分類代碼庫文檔,提升代理檢索效率並減少令牌消耗。

  • OpenWiki 0.2 支持 OKF 格式,在 wiki 文件中添加 YAML 前置元數據(標題、描述、標籤等)。
  • 新增 index.md 和 logs.md 文件,分別用於目錄摘要和變更日誌。
站內正文

解析Google DeepMind的AI生物彈性計劃

Google DeepMind與Isomorphic Labs發佈了一項生物彈性計劃,旨在防止AI在生物學領域的濫用,同時協助疫情應對。該計劃在過去一年已建立超過15個合作伙伴關係,涵蓋政府機構、生物安全組織和研究團體。

  • 計劃基於三大支柱:防止濫用、加速檢測、及時應對。
  • 與勞倫斯利弗莫爾國家實驗室、英國AI安全研究所等機構合作。
站內正文

Agent評估差距:企業AI組織存在現實對齊問題而非覆蓋問題——但多數仍將產品推向生產

VentureBeat Pulse Research對157家企業進行調研,發現組織在賦予AI Agent更多自主權的同時,對用於把關的評估的信任度卻在下降。50%的組織曾部署通過內部評估但在客户面前失敗的Agent;僅5%完全信任自動化評估;最主要的問題在於評估與現實結果不一致。然而,三分之二的組織已經允許或正在構建完全自動化(無人工干預)的部署流程。評估差距——自主權與信任之間的距離——正在擴大。

  • 50%的企業曾部署通過評估但在客户面前失敗的Agent,25%發生過多次。
  • 僅5%的企業完全信任自動化評估,主要限制是評估與現實結果不一致。
站內正文

AI供應商找到了基礎設施費用的買單者:你

Forrester警告稱,隨着AI供應商通過漲價和按使用量收費將基礎設施成本轉嫁給客户,明年的軟件預算將大幅增長。報告指出,Anthropic、OpenAI、GitHub和微軟等公司已轉向基於使用量的計費模式,導致企業成本擔憂。同時,儘管存在“AI裁員”現象,IT人員支出並未下降,2025年仍佔IT預算的35%。Forrester建議企業調整FinOps實踐以管理不可預測的AI成本。

  • Forrester預測AI供應商將通過漲價和按使用量收費轉嫁基礎設施成本,推高軟件預算。
  • Anthropic、OpenAI、GitHub和微軟等公司已轉向基於使用量的計費模式。
站內正文

展示 HN:Ratel —— 為 AI 代理提供無限工具和技能,且無上下文膨脹

Ratel 是一個上下文工程層,通過 BM25 索引為 AI 代理動態選擇相關工具和技能,減少令牌消耗高達 80%,提高準確性,無需向量數據庫。

  • Ratel 通過漸進式披露機制,僅注入當前輪次所需的工具和技能,避免上下文膨脹。
  • 使用 BM25 算法進行檢索,支持語義和混合排名(可選),無需向量數據庫。
站內正文

Google Vids 兩大更新:用文本生成編輯視頻,創建數字分身出鏡

Google Vids 推出 Gemini Omni 和個人數字分身兩大功能,用户只需通過自然語言描述即可生成和編輯高質量視頻片段,還能創建自己的數字分身出鏡,無需實際拍攝。

  • Gemini Omni 支持通過文本提示和圖片參考生成視頻,並可進行逐步編輯。
  • 個人數字分身功能讓用户上傳自拍和錄音後,輸入文字即可讓分身説話出鏡。
站內正文

將更多應用連接到搜索

用户現在可以安全地將常用服務鏈接到AI模式,直接在搜索結果中完成添加購物車、創建播放列表等操作。

  • AI模式支持鏈接Instacart、Canva、YouTube Music等服務。
  • 用户可在搜索結果中直接向Instacart購物車添加食材。
站內正文

Show HN:開源AI應用構建器,可嵌入您的SaaS

AI App Builder Open 是一個開源、無代碼的AI應用構建器,用户通過自然語言描述需求,AI即可構建、預覽並部署完整的全棧Next.js應用。它支持自託管、白標、多租户,並可通過單個API密鑰集成託管、數據庫、AI、GitHub同步等功能,是v0、Lovable、Bolt和Replit的免費替代方案。

  • 開源、自託管的AI應用構建器,將提示轉換為全棧Next.js應用。
  • 內置託管、沙箱、數據庫、認證、AI、GitHub同步、自定義域名和多租户支持。
站內正文

使用Amazon Bedrock AgentCore和Amazon Nova 2 Sonic構建餐廳電話AI接待員

本文演示瞭如何構建一個語音點餐系統,使用Amazon Bedrock AgentCore和Amazon Nova 2 Sonic,處理從問候到確認的整個點餐流程。系統通過模型上下文協議(MCP)連接餐廳後端,並利用AWS CDK部署,通過ECS Fargate上的SIP網關橋接電話呼叫。

  • 餐廳每月平均錯過150通電話,其中60%是點餐或訂座。
  • 系統利用Amazon Bedrock AgentCore託管代理,Amazon Nova 2 Sonic提供實時語音。
站內正文

Democr.ai:自託管代理AI運行時,具備審計與RBAC功能

Democr.ai 是一個開源的自託管代理AI運行時框架,集成了服務器驅動UI、多客户端渲染、多租户、RBAC、OS級沙箱、三層審計、可插拔AI引擎編排、知識子系統等核心功能。其核心理念是“一切皆模塊”,無供應商鎖定,強調安全作為原語。項目仍處於測試階段,但架構已面向生產級約束。

  • Democr.ai 提供一個完整的運行時框架,集成UI、AI引擎、安全審計、多租户等能力。
  • 框架採用模塊化架構,所有組件包括認證均為模塊,通過公共SDK擴展。
站內正文

介紹 Kimi K3

Kimi K3 是 Kimi 迄今為止最強大的模型,擁有 2.8 萬億參數,基於 Kimi Delta Attention 和 Attention Residuals 架構,支持原生視覺理解和 1M 令牌上下文窗口。它在軟件工程、知識工作和深度推理等前沿智能場景中表現出色,在基準測試中僅次於 Claude Fable 5 和 GPT-5.6 Sol。Kimi K3 是首個達到 2.8 萬億參數規模的開源模型,並將在近期發佈完整權重和技術報告。

  • 2.8 萬億參數,首個達到該規模的開源模型
  • 基於 Kimi Delta Attention 和 Attention Residuals 架構
站內正文

管理者在公司的AI轉型中發揮關鍵作用——他們自己也知道

超過三分之二的中層管理者對AI在未來工作中的角色持樂觀態度,並認為自己對團隊採用AI工具負有個人責任。78%的管理者感到有責任確保團隊成功採用AI,77%的管理者每週使用AI工具節省超過3小時。

  • 78%的管理者認為自己對團隊成功採用AI負有責任
  • 77%的管理者每週因使用AI工具節省超過3小時
站內正文

最近 Show HN 發佈的 64% 對 AI 搜索不可見(我審計了 45 個)

一項針對 45 個 Show HN 發佈的審計發現,64% 缺乏 JSON-LD 結構化數據,導致 ChatGPT、Perplexity 和 Google AI Overviews 等 AI 搜索引擎無法識別或引用。文章提供了快速修復方法——添加 JSON-LD、/llms.txt、服務端渲染內容等,並指出這能為 2026 年的 AI 搜索帶來先發優勢。

  • 64% 的發佈缺乏 JSON-LD 結構化數據
  • 51% 缺少 /llms.txt 文件
站內正文

AI代碼審查者因“預批准”票證而發送了秘密竊取代碼

一項安全研究表明,在AI代理驅動的CI/CD流水線中,利用“權威框架”攻擊(例如聲稱更改已“預批准”)可以誘使系統部署竊取秘密的代碼。在280次合成運行中,最壞情況下的妥協率達到55%,而基於內容的檢測工具完全失效。

  • 研究人員構建了一個包含五個AI代理的CI/CD流水線,並測試了其抵禦惡意代碼注入的能力。
  • 通過偽造“預批准”聲明,攻擊者成功讓系統將竊取秘密的代碼部署到生產環境。
站內正文

自我測試的AI工具發現自身漏洞

AI代理Omnideck每天自動運行一套例行程序,在真實網站上測試自己的瀏覽器工具,發現並診斷漏洞,生成修復建議並提交GitHub問題。一週內發現了14個真實漏洞,幫助提升自身能力。

  • 每天凌晨例行測試50個網站,覆蓋10個類別
  • 發現14個漏洞,包括DOM選擇、React portal、跨域導航等問題
站內正文

使用Pi編程代理

本文介紹了Pi,一款極簡的AI編程代理,專注於核心功能並通過擴展點增強。文章討論了其設計理念、安裝過程、以及如何構建自定義擴展,並評估了其在實際使用中的優勢。

  • Pi是一款極簡的編程代理,旨在對抗AI編程工具中的臃腫。
  • 它僅提供四種核心工具:讀取、寫入、編輯和bash,並鼓勵用户自行構建擴展。
站內正文

StepFun 推出 StepX Neo,號稱首款 '代理型 AI 手機'

中國AI公司StepFun發佈全球首款原生代理型AI手機StepX Neo,搭載自研Step AOS系統與Amoo AI助手,可在多平台自主完成訂票、打車等複雜任務。

  • StepX Neo 運行自研 Step AOS 系統,非基於 Android。
  • Amoo AI 採用 1+N 模型架構,切換設備端和雲端處理。
站內正文

1Password 新推出的 Agentic Mode 讓 Claude 登錄您的賬户而不看到您的憑證

1Password 推出了 Agentic Mode,與 Claude 集成,允許 AI 代理訪問賬户而不暴露憑據。密碼和 MFA 代碼由 1Password 直接注入,從未被 Anthropic 或模型看到。訪問是每會話和任務特定的,每次需要用户批准。

  • Claude 可以使用受保護的賬户而不看到憑據。
  • 1Password 在 AI 外部注入密碼和 MFA 代碼。
站內正文

Claude現在可以使用您的1Password憑據

1Password推出了針對Claude的瀏覽器集成,通過零暴露安全框架,AI可以訪問存儲的憑據以自動完成任務,無需手動輸入密碼。

  • 1Password引入Claude瀏覽器集成,允許AI使用存儲的憑據。
  • 零暴露框架確保AI無法直接看到密碼。
站內正文

Linus Torvalds 明確表態:反對AI的開發者,請分叉(fork)吧

Linus Torvalds 堅決支持在 Linux 內核開發中使用 AI,稱 AI 是有用的工具,反對者可以分叉項目。其他主要維護者如 Greg Kroah-Hartman 和 James Bottomley 也贊同 AI 集成,並指出 AI 生成的貢獻質量已大幅提升。Torvalds 強調技術價值優先,AI 在 Linux 社區將長期存在。

  • Torvalds 明確批准在 Linux 內核中使用 AI,反對者被建議分叉項目。
  • 其他頂級維護者如 Kroah-Hartman 和 Bottomley 支持 AI 集成。
站內正文

AI利潤率崩塌中的贏家和輸家

本文探討了AI推理市場即將面臨的利潤率崩潰,分析了“足夠好”的廉價模型如何改變市場格局。贏家包括硬件供應鏈、超大規模雲服務商、編碼代理(如Cursor)以及最終用户;而前沿AI實驗室雖然面臨風險,但可能通過不公開最強模型或轉向託管平台來應對。此外,B2C市場中的廣告變現潛力可能帶來新的轉機。

  • AI推理市場正分裂為昂貴的前沿模型和廉價的“足夠好”模型,導致利潤率壓縮。
  • 硬件和基礎設施提供商、編碼代理以及消費者是主要贏家。
站內正文

10個讓你在AI領域保持領先的YouTube頻道

本文介紹了10個面向AI工程師和數據科學家的YouTube頻道,涵蓋論文解讀、編碼教程、核心概念和行業分析,幫助專業人士高效獲取最新AI知識。

  • 推薦10個YouTube頻道,分為研究解讀、實踐構建、核心概念和行業分析四類。
  • 每個頻道都有特色學習資源,如Two Minute Papers的視覺化論文摘要和Yannic Kilcher的深度技術解析。
站內正文

Show HN:Rackp – 一種用於在AI代理引發事件時判定過錯歸屬的協議

RACKP協議通過四個角色(裁判、行為者、索賠者、保管者)構建了一個去中心化的框架,用於在AI引發的事件中推導過錯貢獻分數和人類參與證明。該協議旨在通過標準化、可驗證和可重現的過程,為AI責任分配提供基礎設施,從而促進保險市場的形成和高風險領域的AI發展。

  • RACKP包含四個獨立角色:裁判、行為者、索賠者和保管者,每個角色在事件中承擔明確職能。
  • 協議輸出過錯貢獻分數(總和為1.0),該分數基於聲明規範計算,用於保險定價和風險管理。
站內正文

Pgrust的構建:四次用AI將Postgres重寫為Rust的嘗試

在花費10萬美元后,團隊通過四次嘗試成功用AI將Postgres重寫為Rust,生成了180萬行慣用Rust代碼。文章詳細描述了每次嘗試的方法、教訓,以及最終版本pgrust的性能優勢。

  • 四次嘗試分別採用不同方法:從逐個功能移植到使用c2rust轉譯,再到逐crate重寫,最終通過多智能體並行協作成功。
  • 前三次嘗試因架構差異或效率問題失敗,第四次使用多達40個併發子代理完成文件級重寫。
站內正文

編碼從來不是瓶頸

作者作為開發者生產力專家,綜合多項研究指出,AI工具雖然讓開發者感覺更高效,但實際交付速度並未提升,甚至在某些情況下變慢。瓶頸轉移到了代碼審查、CI/CD、QA等下游環節。文章提出了多項改進建議,包括更嚴格的代碼審查、適應AI的CI流程、功能標誌部署以及保護知識共享時間。

  • METR研究表明,使用AI的開發者實際用時增加19%,但自我感覺快20%。
  • 後續研究因開發者拒絕不使用AI而無法進行對照實驗。
站內正文

Show HN:Cybara – 基於 Bun 構建的開源 AI 代理平台

Cybara 是一個自託管的 AI 代理操作系統,結合了 Bun 代理運行時、Web UI、CLI、桌面應用、移動伴侶、加密錢包控制、多平台消息通道適配器和 MCP 支持。它支持多代理編排、瀏覽器自動化、安全消息傳遞和加密錢包操作,適合開發者和運營商。

  • 基於 Bun 構建,支持自託管和多種部署方式。
  • 具備豐富的內置工具庫和模型提供商路由,支持多代理協作。
站內正文

序列觀點 #896:Spark、計算與兩個Meta

Meta發佈了Muse Spark 1.1,這是首個帶有價格標籤的Meta模型,標誌着從開源權重向閉源商業模式的轉變。同時,Meta在構建完整垂直堆棧——從芯片到雲再到應用,引發其能否與前沿AI實驗室競爭的討論。

  • Meta發佈Muse Spark 1.1,採用閉源權重和付費API,定價為每百萬輸入tokens 1.25美元、輸出tokens 4.25美元,兼容OpenAI端點。
  • 扎克伯格三年來首次在X上發帖宣佈這一轉變,凸顯戰略調整。
站內正文

電腦警察:揭秘向警方出售人工智能的大生意

本文深入探討了美國警方日益依賴人工智能的趨勢,描述了在德克薩斯州沃斯堡舉行的國際警察局長協會技術會議上展示的各種AI產品,包括面部識別、自動報告生成和實時犯罪中心。文章指出,儘管AI承諾提高效率,但缺乏監管和透明度的風險可能導致嚴重問題,並回顧了早期預測性警務的失敗案例。

  • AI產品如面部識別攝像頭、自動報告工具在警察技術會議上推廣。
  • 公司如Axon和Motorola試圖壟斷警察技術棧,通過訂閲模式銷售AI。
站內正文

主題導航

Agent — AI 主題新聞 | AI News Hub