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開發,聚焦從零到一的產品發現。
甲骨文專注於 Fusion 應用開發者,推出代理 AI 工具
甲骨文繼續構建其代理平台,深化 AI 能力,專注於 Fusion 應用開發者。
- 甲骨文持續擴展代理 AI 平台
- 專注於 Fusion 應用開發者
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模型將文本提示轉化為高質量圖像。