微軟CEO薩提亞·納德拉在財報電話會議上確認，公司正在開發一款集聊天、程式設計和自主代理功能於一體的AI“超級應用”，預計今年推出，將覆蓋消費和商業體驗。

Cerebras與AMD宣佈合作，共同打造全球最快的分離式AI推理解決方案。該方案將AMD Helios用於預填充階段，Cerebras晶圓級引擎用於解碼階段，實現每瓦每秒5倍Token吞吐量提升。方案針對智慧編碼、即時語音和多模態生成等對速度要求極高的工作負載，計劃今年晚些時候在Cerebras資料中心部署AMD Helios系統。

知識圖譜架構已從學術概念進入生產基礎設施階段。Thumos Care創始人Shan Rizvi認為，企業若以正確方式構建知識圖譜，將擁有AI創造的智慧。他對比了檢索增強生成與知識圖譜在推理、可追溯性和知識積累方面的差異，並強調圖資料平臺的可擴充套件性和延遲至關重要。

GCC指導委員會今天宣佈接受AI政策工作組的建議，拒絕接受透過AI/LLM生成的“法律上重要”的程式碼貢獻，但測試用例例外。該政策與現有GNU政策一致，並計劃在2027年初重新審視。

Meta執行長馬克·扎克伯格在2026年第二季度財報電話會議上概述了公司對個人AI助手的願景，計劃推出能全天候為使用者服務的智慧體，涵蓋生活、健康、財務等方面。儘管Meta在AI領域落後於其他大實驗室，且面臨信任問題，但扎克伯格認為個人助手將是未來產品和收入增長的基礎。

Gary Marcus 評論稱，儘管 Dario Amodei 在監控和自主武器上態度強硬，但他與 Sam Altman 並無本質區別，均涉及軍事AI、過度承諾和安全承諾的背棄。

Meta釋出第二季度財報後股價下跌11%，儘管營收增長28%至610億美元，但利潤下降14%至60億美元。公司計劃今年支出1300億至1450億美元，主要用於AI專案。執行長馬克·扎克伯格稱AI支出正在加速核心業務，並計劃向其他企業銷售AI技術。首席財務官Susan Li表示，到2028年將看到回報。Meta的自由現金流降至7.84億美元，為至少五年最低。

一個新的AI安全排行榜透過自動化測試評估模型對抗越獄攻擊的魯棒性，發現頂尖模型間存在顯著差距。

Meta執行長馬克·扎克伯格近期積極宣傳人工智慧的積極影響，但未能阻止公司第二季度財報不及預期，導致股價下跌近8%。扎克伯格在《華爾街日報》發表專欄文章，表達了對人人擁有超級智慧機器的樂觀態度。

企業發現，建立在知識圖譜上的可擴充套件智慧層能夠提供機構語境，將通用AI模型轉變為可靠的生產系統。微軟高管Jeevan Pathuri解釋了連線資料如何加速AI代理的開發，並強調了語義層的重要性。

SQLite創始人D. Richard Hipp透過歷史類比指出，就像SQL取代了COBOL程式設計師的工作但並未消除程式設計師一樣，AI也將改變程式設計工作而非取代程式設計師。西蒙·威利森在其部落格中分享了這一觀點。

隨著企業AI的成熟，連線且可信的資料正成為實現業務價值的基石。圖技術幫助組織將碎片化資訊轉化為可操作的智慧。CommonThread AI執行長Tim Gosnell在接受theCUBE採訪時表示，圖資料庫天然適合連線資料和關係，能幫助團隊構建更大的上下文視窗，從而統一分割的市場策略，實現可持續增長。

xAI對明尼蘇達州一項針對“裸化”應用的法律提起訴訟，認為該法違反第一修正案，過於寬泛，迫使公司限制Grok Imagine的影像編輯功能。該法律於5月透過，8月1日生效，xAI在生效前幾日才匆忙起訴。背景是Grok在1月生成了數百萬張深度偽造色情圖片，引發國際關注。

Port22 是一款將 Claude Code、Codex 等 AI 程式設計助手帶到手機上的產品，方便開發者隨時隨地進行編碼相關操作。

NBCUniversal 透過遷移至 Databricks 資料智慧平臺，實現了 30% 的成本降低，並提升了可擴充套件性和分析能力。與 EXL 合作，採用分階段遷移策略，利用自定義加速器實現自動化，並統一了機器學習和分析工作負載。

Fravash 利用裝置中的晶片（如護照或身份證晶片）建立數字身份，可重複證明真實人類的存在，而無需洩露姓名、出生日期等個人資料。它支援年齡驗證、假名身份、代理授權，並保護使用者隱私。

MindFlock 是一個開源桌面應用，允許開發者在隔離的 Git 工作樹和 tmux 會話中並行執行多個 AI 編碼代理，並透過統一的介面進行監督和管理。它支援多種 AI 編碼 CLI（如 Claude Code、Codex 等），提供引導式 Git 工作流（提交、推送、PR、合併），並能自動從問題跟蹤器和 PR 審查中建立工作會話。

AI系統'Theo Conjecture'透過自動發現迴圈，證明了一個關於整數公因子圖的古老猜想，不僅驗證了Paul Erdős和William Staton的漸近界，還發現了一個二階修正項。

XGBoost 3.3.0 版本釋出，新增期望分位數迴歸（expectile regression），預設啟用類別特徵支援，擴充套件了向量葉多輸出樹的SHAP支援，並帶來了CPU、GPU、分散式訓練等多方面的效能與可擴充套件性改進。

Runlayer 於 7 月 28 日起訴人力資源軟體公司 Rippling，指控在一次客戶評估中，Rippling 獲取了 Runlayer 的完整應用程式原始碼及其他機密系統，隨後開發了競爭性的人工智慧代理閘道器。訴狀中包含四項指控，涉及長達近一年的軟體試用期以及 Rippling 對 Runlayer 原始碼、部署架構、安全設計、產品路線圖等資訊的訪問。

隨著AI規模化，人工驗證將成為稀缺且高價值的環節。本文探討了驗證經濟的概念，指出當機器輸出變得廉價時，驗證輸出的能力將成為新的瓶頸。作者分析了兩種可能的經濟形態：空心經濟（驗證能力滯後）和增強經濟（驗證與自動化同步發展），並警告專家經驗的退化可能加劇這一矛盾。

AI員工是一種擁有持久工作空間和工具集、能夠端到端完成分配任務的智慧代理，遠不止於簡單的聊天助手。Construct 作為一款工作作業系統，為AI員工提供檔案、記憶、日程和工作流等支援。

本文介紹了AI工程中的三個層次：提示工程、迴圈工程和圖工程。它們不是競爭技術，而是不同粒度的控制單元。提示工程控制單個模型響應，迴圈工程控制單個智慧體的行為週期，圖工程控制多個智慧體的組織。文章解釋了每個層的設計內容、適用場景以及如何選擇合適的層次。

Perplexity AI釋出了一篇新文章，介紹如何使用名為Numbat的系統來保護其客戶端端點上的代理。Numbat旨在增強AI代理在不同端點上的安全性，確保資料互動的機密性和完整性。

Concord 認知引擎的 PR 修復了裸機部署、連線斷開、LLM 管道穩定性和運維耐久性問題，包括靜態資源持久化、狀態儲存最佳化、安全漏洞修復和 GPU 記憶體管理。

體驗由AI打造的最大開放世界MMO《Biomes Online》，現已在Glitch平臺上線。

醫療財務面臨資料碎片化、決策滯後的挑戰，Databricks Genie作為資料智慧AI助手，透過本體論將資料置於業務上下文中，幫助財務團隊更好地理解成本、收入和現金流，從而保護利潤。

一種針對AI編碼代理的提示約定，使用僅追加的設計日誌和原地編輯的索引，以保持長期專案中的推理和歷史記錄，避免上下文丟失。該方法透過保留錯誤信念、強制列出未完成項和廉價自我糾正來提升代理可靠性。

一名使用者用AI生成的Lean形式化證明聲稱解決了科拉茨猜想，但該證明利用了Lean核心的一個嚴重漏洞，可以證明任何命題。事件引發了對形式化驗證可靠性的廣泛討論。

Engy提供加密證明，確保輸出來自使用者指定的精確開源模型，而非更便宜的替代品。它支援GLM-5.2等前沿模型，按token計費，並透過OpenAI相容API與Claude、Cursor、Codex和Hermes等工具整合。