Simon Willison探索了新開源Grok CLI編碼代理的程式碼庫,發現了一個用Rust編寫的自包含Mermaid圖終端渲染器。他將其透過WebAssembly移植到瀏覽器,並建立了一個線上工具。
AI 新聞即時情報
即時監測
即時更新
即時追蹤可信來源,保留出處、權限和站內閱讀模式,把噪音壓成可讀情報。
即時更新
2026-07-16
該影片探討了AI資料中心公司被掛牌出售的現象,業主們正趕在市場崩盤前清算資產。
AIcss是一個免費的UI元件庫,專為AI代理設計,提供可複製貼上的元件,用於在對話中展示思考狀態、工具呼叫、流式文本、表格等。
Throttle 是一款針對 Claude Code 的 macOS 選單欄儀表盤,免費版提供無遙測、無網路的本地使用監控。專業版擴充套件為完整控制台,集中管理所有 Claude Code 專案,支援嵌入終端、自動休眠、遠端會話轉移到 Linux 伺服器,並透過 AI 助手最佳化配置,減少輸出 Token 消耗高達 65–75%。所有資料本地或 iCloud 私有資料庫儲存,一次性付費 29 歐元。
澳大利亞總理阿爾巴尼斯在悉尼大學發表演講,承諾立法保障創意工作者權益,但被批評缺乏政策細節,且未提及資料中心監管等重要議題。
蘋果研究人員提出簡單自蒸餾(SSD)方法,僅利用模型自身的輸出進行微調,無需驗證器、教師模型或強化學習,顯著提升了程式碼生成效能,在LiveCodeBench v6上將Qwen3-30B-Instruct的pass@1從42.4%提高到55.3%。
本文提出了一種針對Apple TV搜尋的個性化系統,結合文本嵌入和ID協作嵌入,透過對比學習和互動資料學習物品表徵。在執行時,利用使用者歷史構建表徵並注入XGBoost排名器。離線實驗顯示,在模糊字首查詢上NDCG@10提升8.63%,長曆史使用者獲益更大。線上實驗獲得點選率+1.14%和轉化率+1.23%的顯著提升。
本文深入解析了推理服務中 99%、99.9% 和 99.99% 正常執行時間所對應的不同故障域,以及每個層級所需的架構設計。作者分享了 Together AI 在構建可靠推理基礎設施方面的實踐經驗,並提供了在選擇推理提供商時應提出的關鍵問題。
Cars24使用OpenAI驅動的語音和聊天代理,每月處理超過100萬分鍾對話,挽回12%的流失線索,並將代理工作流推廣至全公司。
本文研究雙亞線性互動式接近性證明(dsIPPs),這是一種超快速生成和驗證的證明系統,可用於證明關於海量輸入的近似斷言。證明者只需讀取輸入的一小部分(亞線性),而驗證者讀取的部分更少。作者為任意可由常寬度一次性無記憶分支程式(ROOBP)決定的屬性構造了此類系統,還構建了針對輸入漢明重量近似驗證以及有界度圖模型中二分性鬆弛的證明系統。
xAI 的 CLI 工具 grok 因會上傳整個目錄至 Google Cloud 而引發隱私爭議,隨後 xAI 開源了整個 Grok Build 程式碼庫,並承諾刪除所有已上傳資料。該程式碼庫包含 844,530 行 Rust 程式碼,其中包含系統提示詞、Mermaid 圖表渲染器以及從其他編碼代理移植的工具實現。
米拉·穆拉蒂創立的Thinking Machines Lab今日釋出了其首個基礎模型Inkling,這是一款完全開放權重的巨型模型,擁有9750億引數(混合專家架構,活躍引數410億)。該模型經過45萬億token的文本、影像、音訊和影片訓練,原生支援多模態輸入但僅輸出文本。Inkling旨在填補西方開源AI生態的空白,提供中國模型的替代方案。它具備'思考努力'控制和不確定性標記功能,可減少幻覺。開發者可透過Tinker API進行微調。Thinking Machines計劃透過Tinker平臺收費,而非按API呼叫計費,這可能顛覆當前主流AI商業模式。該模型在九個月內完成開發,使用輝達GB300 NVL72系統訓練。
思考機器實驗室於2026年7月15日釋出了其首個從頭訓練的模型Inkling,採用Apache 2.0開源協議。該模型總引數量9750億,活躍引數410億,支援100萬token上下文視窗,可處理文本、影像和音訊輸入。其核心差異化優勢在於可控制的思考力度,使用者可根據需求調整推理時的token預算,平衡成本與效能。
Linus Torvalds在郵件列表中澄清,Linux社群對AI持開放態度,Linux本身並非反對AI的專案。
Lhv.ai是LHV銀行推出的一項服務,透過Model Context Protocol (MCP)讓AI助手安全地讀取銀行賬戶餘額和交易記錄。使用者只需在AI工具中設定MCP伺服器,登入銀行賬戶並授權讀取許可權,即可透過自然語言查詢財務資訊。該服務採用OAuth2 JWT認證,令牌短時有效,且僅提供只讀訪問,完全審計跟蹤。目前支援Claude、Cursor、Zed等工具,設定僅需2分鐘。
NVIDIA釋出了基於Thor架構的T3000和T2000模組,專為大規模機器人與邊緣AI應用設計。T3000提供865 FP4 teraflops算力,尺寸和功耗僅為T5000的一半;T2000提供400 FP4 teraflops。新模組支援可擴充套件邊緣AI平臺,並引入智慧體技能實現記憶體最佳化。同時推出Cosmos 3 Edge模型,適用於即時視覺分析。開發者可透過模擬模式立即開始開發,模組將於2027年Q1上市。
Eaon是一款原生Mac應用,整合了49種AI模型,支援本地執行、自帶API金鑰或內建連線,完全免費且開源。它提供模型切換、成本監控、命令面板等功能,並注重隱私和本地化操作。
Cadence Design Systems推出AuraStack,一款用於封裝和PCB設計的AI代理,旨在自動化系統設計工作流程,將設計時間從數天縮短到幾分鐘。
根據VentureBeat Pulse Research對101家企業的調查,企業代理編排正在向模型提供商平臺集中,Anthropic的Claude以40%的使用率領先。然而,大多數部署的“代理”仍是簡單的聊天機器人包裝,真正的多步驟編排工作流僅佔少數。企業預計到2026年底採用混合控制平面以避免供應商鎖定,但即時成本控制仍不成熟。
作者運用貝葉斯定理,以人工智慧的發展作為證據,論證我們生活在模擬中的機率增加。AI表明通用智慧可以在人工計算系統中湧現,這提高了我們處於模擬中的後驗機率。
主權AI在全球蓬勃發展,但基礎設施通常由美國科技巨頭建造。一家初創公司獲得5000萬美元融資,旨在改變這一局面。
一篇論文探討了人工智慧投資的投機性質及其是否構成泡沫。
AIAIO 是一款將 AI 代理會話日誌轉化為平臺遊戲的創意專案。你的實際提示、錯誤和任務成為遊戲關卡,而“遺忘之牆”則根據你的 token 消耗推進。它既是教育工具,也是自我反思工具。
本文探討了字母形狀的人類歷史演變,並批評了在設計中濫用AI的做法。作者認為,寫作傳統是千年人類經驗的結晶,而AI無法捕捉這種深度。作者宣佈其字型工坊從不使用AI,堅持手工創作。
AI模型的能力日益強大,但企業採用的具體方式仍存疑問。為此,Anthropic和OpenAI等實驗室分別成立了專注部署AI工程師到客戶辦公室的獨立業務,押注幫助企業利用其AI模型將是下一個萬億美元的市場。Anthropic的Ode是一家15億美元的AI實施公司,與黑石、Hellman & Friedman、高盛等聯合成立。OpenAI也有類似舉措——The Deployment Company。
埃隆·馬斯克旗下的xAI起訴一名南卡羅來納州男子,指控其利用公司AI聊天機器人Grok生成兒童性虐待材料(CSAM)。公司稱該男子繞過安全措施,將非性照片轉化為性暗示影像,涉嫌傳播CSAM。xAI要求賠償並禁止該使用者再次使用Grok。
AWS Marketplace 新增了人工智慧輔助的產品列表功能,幫助獨立軟體供應商和諮詢合作伙伴利用現有數字資產建立全面的產品列表。該功能可最佳化列表並減少手動資料輸入。AI代理的興起推動了這一發展,代理類別在不到一年內從900個合作伙伴增長到3400多個。AWS Marketplace 和合作夥伴服務副總裁 Matt Yanchyshyn 討論了代理化部署如何改變企業構建和擴充套件AI的方式。
Inkling 是 Thinking Machines Lab 釋出的通用多模態模型,支援文本、影像和音訊輸入,輸出文本。模型擁有 9750 億總引數(410 億啟用引數),採用稀疏 MoE 架構,上下文視窗達 100 萬 token,在多項基準測試中表現優異,並開放權重供研究和商業使用。
反對AI資料中心建設成為美國政治的主要議題,但這可能分散了對AI公司權力和財富集中的真正關注。文章指出,資料中心建設雖帶來環境和經濟壓力,但AI公司真正的目標是控制整個行業。作者主張透過監管、徵稅和推動公共AI來限制企業權力。
作者詳細介紹了自己構建一臺本地AI推理機器(稱為“垃圾生成器”)的過程,包括模型選擇(Qwen 3.6 27B)和硬體選型(Radeon AI Pro R9700 GPU加eGPU擴充套件塢),並探討了自託管LLM的優勢與挑戰。