一項新研究提出了一種人機協同的流程,用於衡量本科計算機科學課程與課程指南的契合度。應用於CS2013和CS2023時,發現覆蓋率基本不變(約50%),但認知深度實現率從95%下降到76%,反映了新版標準要求的提高。同時還發現了並行計算、編程語言基礎和系統基礎等領域的持續差距。
AI 新聞即時情報
即時監測
即時更新
即時追蹤可信來源,保留出處、權限和站內閱讀模式,把噪音壓成可讀情報。
即時更新
一篇新論文提出了AgenticRei,這是一個義務政策框架,用於治理LLM驅動的自主智能體,解決了當前訪問控制引擎無法處理的義務、豁免和策略衝突問題。
Sqim是一款新工具,允許開發者無需VPN或Tailscale,直接從Codex、Claude Code等編碼代理將iOS應用構建安裝到iPhone上。它通過Homebrew安裝CLI工具,並提供一個構建儀表板方便重新訪問之前構建。
作者嘗試使用本地模型構建一個翻譯管道,通過規劃、執行、批評和修復循環來處理大型韓語到英語的翻譯,但最終未能顯著提高質量,並等待更好的模型的到來。
本教程實現了Salesforce CodeGen的端到端工作流程,從Hugging Face加載模型,超越基礎推理,添加函數提取、語法檢查、靜態安全檢查、單元測試驗證、最佳N候選重排、多步驟程序合成、提示風格實驗,最後可視化迷你基準並導出可複用文件。
pumaDB是一個面向AI代理的小型託管內存層,通過MCP或服務器端API提供共享內存,用於保存項目上下文、研究筆記、轉錄文本等,無需管理數據庫或向量存儲。
DeepSWE v1.1 在保持原有長週期工程任務不變的基礎上,改進了智能體的執行與評分方式,採用隔離環境驗證代碼補丁,使結果更易復現、審計和分析。新版引入了 Claude Fable 5 和 Kimi K2.7 Code 模型,整體通過率與模型排名與 v1 接近。
美國司法部介入孟菲斯居民訴xAI違反《清潔空氣法》一案,以國家安全為由支持xAI。居民稱xAI的未許可燃氣輪機導致嚴重空氣污染和噪音,而DOJ聲稱Grok對國防至關重要。
2026年6月12日,美國政府強制下線了Anthropic新發布的Claude Fable 5模型,至今仍未恢復。本文分析了四種可能情景:真誠的誤會、模型能力確實危險、外國訪問擔憂以及政治因素。作者認為政治因素可能性最大,但也給出了其他情景的概率,並預測了每種情景下模型的恢復時間和形式。
在Linux基金會下,LF AI & Data Foundation組建了DocLang工作組,致力於開發一種AI友好的文檔格式,以替代PDF、Markdown等現有格式。該格式由IBM、NVIDIA、Red Hat、ABBYY、HumanSignal和Forgis聯合創立,通過1:1的令牌映射優化大語言模型的提示,降低成本並提高準確性。
Meta 宣佈將其 AI 客服代理(現稱為 Meta Business Agent)全球推廣到 WhatsApp Business,該代理可回答問題、推薦產品、預約等,並已在印度和墨西哥測試近兩年。
文章討論了AI交互中一個隱性問題:為什麼有些交互成功而另一些失敗?這通常由不可見的因素如漂移、語氣不匹配和怪異行為造成。作者提出觀察層是解決這些問題的關鍵,並已為AI運行時構建了該層。
Modal團隊全面推崇投機解碼技術,認為它是當前最關鍵的高交互推理優化手段,能帶來2-3倍甚至更高的加速效果。他們與Z Lab合作訓練了針對Qwen系列模型的最先進DFlash投機解碼器,額外提升5-20%的速度,並強調了投機解碼在長上下文任務中的優勢。本文詳細解釋了投機解碼的原理、與傳統優化的對比,以及通過模擬和數學模型展示的加速效果。
Datasette Apps 是一個新插件,允許用户在 Datasette 實例中通過嚴格沙盒化的 iframe 運行自包含的 HTML+JavaScript 應用程序。這些應用可以執行只讀 SQL 查詢,並可通過存儲查詢支持寫操作。該插件利用 iframe sandbox 屬性和內容安全策略(CSP)確保安全,使用 postMessage 和 MessageChannel 實現鎖定 API,並支持通過可複製提示由 AI 生成應用代碼。文章還討論了安全漏洞修復、日誌記錄以及 Datasette 從數據展示向豐富工具生態系統演進的願景。
AA-Briefcase是Artificial Analysis推出的新基準,用於測試AI模型在複雜多周知識工作項目中的表現。該基準結合了檢查表與成對評分,評估任務正確性、分析質量和展示質量。Claude Fable 5領先,但成本高昂;開源模型GLM-5.2在性價比上表現出色。
Amazon SageMaker AI 現在提供超過 100 種詳細的推理指標,涵蓋 GPU 健康、令牌級延遲、KV 緩存壓力、可用區流量分佈等。這些指標通過內置的 SageMaker Insights 儀表板在 CloudWatch 中展示,支持 PromQL 查詢。本文介紹如何啓用詳細可觀測性、導航儀表板以及將指標連接到外部工具。
提供超過337種MCP工具,涵蓋天氣、加密貨幣、金融、網絡搜索、DNS、顏色、AI聊天、文本分析、計算器等,按使用量付費,每500次調用僅需5美元。
卡內基國際和平基金會的最新報告指出,人工智能基礎設施的選址將決定全球權力平衡。報告通過財務模型發現,“通電時間”是吸引AI數據中心投資的最關鍵因素,而非能源成本或税收優惠。民主國家需要在國內加快審批流程和電網連接,同時建立國際聯盟以確保AI發展反映自由價值觀。
Unsloth 是一個工具,允許用户在本地(Mac 和 Windows)100% 離線運行和訓練 AI 模型。它支持 GGUF 和 Safetensors 模型,提供工具調用、網絡搜索和 OpenAI 兼容 API。用户還可以通過無代碼界面訓練模型、比較模型、導入文檔創建數據集,並導出模型。Unsloth 提供免費開源版本以及 Pro 和 Enterprise 付費版本。
本文探討了AirPods等耳機對社交互動、個人心理和內容消費的影響。研究發現,頻繁使用耳機加劇了孤獨感,減少了自發的社交接觸,並可能改變我們對音頻內容的感知。作者呼籲人們減少耳機使用,留出時間進行自我反思和真實的人際交流。
這篇文章認為,與人工智能寫作相反,它實際上要求學生進行更深入的思考,因為他們必須評估、編輯和整合人工智能生成的內容。
歐洲AI初創公司Legora專注於法律行業,最近完成了5.5億美元的D輪融資,估值達56億美元。公司通過邀請演員裘德·洛拍攝廣告成功提升品牌知名度,目前年經常性收入已突破1億美元,服務全球50個市場的1000家律所。CEO Max Junestrand表示,ChatGPT的發佈是行業的轉折點,而Legora僅實現了其長期目標的1%。
Palmier Pro 是一款將AI生成直接集成到時間線中的視頻編輯器,支持 Kling、Seedance、Veo 和 Grok 等模型。它提供多軌編輯、MCP 代理連接,並支持導出到 Premiere 和 DaVinci。
Sycloop是一個基於AI的市場,用户可交換物品、技能、服務及數字資產,現金可選。AI匹配引擎找到傳統搜索無法發現的交換路徑。可選項包括驗證、置頂、高級匹配等。
亞馬遜Prime Day 2026正在舉行,智能家居產品優惠眾多。ZDNET專家精選了最值得購買的安全攝像頭折扣,幫您省錢省心。
xAI推出Grok for Word,這是一款AI驅動的Microsoft 365插件,可在Word文檔內通過對話側邊欄直接起草、重組和優化文本。它支持將雜亂筆記結構化、內聯編輯、前後對比查看以及一鍵撤銷,有助於提升團隊文檔的一致性和專業性,目前可從Microsoft Marketplace免費獲取。
本文介紹了一種面向對話AI助手的完整記憶架構,包括短期記憶(STM)和長期記憶(LTM),以及內部AEIL語言用於壓縮和安全。核心原則是“鉛與棉”:內部存儲高密度信息,向用户提供流暢體驗。系統包含隱形上下文旁路、每條消息時間戳、重要性層級等機制,旨在提升效率、個性化和安全性。
這份技能文件由直布羅陀律師Philip Vasquez編寫,旨在幫助AI系統導航直布羅陀分散的公共信息格局。它涵蓋了法律框架、官方數據源和研究方法,包括法律層級、法院結構、民事訴訟程序以及關鍵數據源(如判決、立法、議事錄、金融服務委員會監管實體和賭博部門)。文件強調透明度是民主治理和法治的基石,並提供了獲取公共記錄的詳細指導。
Oalabs研究人員發現一名黑客濫用Anthropic的Claude AI模型進行惡意活動,包括開發漏洞利用、竊取加密貨幣和充當訪問掮客。然而,黑客的操作安全失誤導致其提示詞中包含了個人簡歷,從而暴露了身份。
OSymandias 是一個 Python 庫和 CLI 工具,可將你的項目轉變為完整的多人智能體運行時。它內置 PostgreSQL、Redis、RabbitMQ 和 Qdrant,通過 Docker 管理。提供儀表盤、API、工具裝飾器、智能體支持、上下文管理等功能,支持多種 LLM 提供商。