今天的AI新聞涵蓋了多個重要發佈：微軟的MAI-Thinking-1技術報告及其透明度；Gemma 4 12B開源多模態模型；Ideogram 4.0開源權重成為最佳開源圖像模型；文本到語音模型Miso One等。此外，還討論了AI代理框架向執行層的轉變，以及模型路由和成本控制的現實考量。

本文探討模型中立性對AI代理的重要性，並指出各大實驗室正通過工具層鎖定客户，而開源的抽象層解決方案是關鍵。

一項系統綜述將口腔醫療中的大型AI模型分為語言生成、判別視覺基礎和口腔專用基礎三大類，基於97項研究指出它們互補但面臨幻覺、數據稀缺和缺乏標準化評估等挑戰。

據《The Information》報道，Meta正在開發一款AI掛件，並計劃在年底前推出多達四款新的智能眼鏡，以彌補其Reality Labs部門的鉅額虧損。公司還計劃推出面向企業的訂閲服務“Wearables for Work”。

AI Gauge 是一款開源的桌面小工具，可實時監控 Claude、ChatGPT Codex、GitHub Copilot 和 OpenRouter 的使用量、剩餘額度及重置時間，幫助管理多個AI訂閲。支持 Windows、macOS 和 Linux，具有原生界面和多種刷新方式。

Boxes.dev是一款全新的雲端代理開發環境（ADE），為每個Claude Code和Codex代理提供獨立的雲計算機。它支持從桌面、CLI和移動設備連接，讓開發者可以隨時隨地進行編碼。主要特點包括簡易設置、完整功能的客户端、使用現有訂閲、自動化任務以及Slack集成。新用户可獲得10小時的免費體驗。

Piece是一款移動應用，幫助情侶解決日常爭吵。雙方各自陳述，AI公正權衡後指出需道歉的一方。整個過程5-10分鐘，免費且注重隱私。

JackHamr 是一個雲平台，它提供具備個性與自主能力的AI編碼代理、快速部署的開發環境以及完整的流水線編排。開發者可以像與同事協作一樣，通過自然語言或語音與代理交互，實現從規格制定到代碼發佈的全自動化流程。平台支持自定義LLM、技能和編排規則，並提供靈活的資源配置和信用計費。

加州大學伯克利分校2026年春季CS 10和CS 61A課程不及格率異常高，教授歸因於AI使用增加和數學能力下降。學生過度依賴AI且準備不足，教授呼籲恢復標準化考試並調整教學方式。

一項利用人工智能增強生物韌性的行動計劃。

NVIDIA Nemotron 3 Ultra 是一款5500億總參數（550億活躍參數）的開放模型，專為長時間運行的代理驅動工作流設計，支持百萬token上下文，並採用NVFP4優化，在代理任務上具有領先的準確性和成本效益。

Hugging Face 發佈了重新設計的 hf 命令行界面，專為人類用户和 AI 編碼代理優化。通過自動檢測代理環境，CLI 可切換輸出格式，提供下一步提示、非阻塞操作和安全重試功能。基準測試顯示，使用 hf CLI 的代理在複雜任務中相比直接使用 curl 或 Python SDK 可減少高達 6 倍的令牌消耗，同時任務成功率更高。

微軟在Build大會上展示自有AI模型，佛羅里達州起訴OpenAI並追責Sam Altman，企業和Workday的新產品表明無人信任AI代理，Alphabet創紀錄融資850億美元，同期美聯儲將AI列為系統性風險。資金流動快於信任。

Lookspan 是一個本地優先的 AI 代理可觀測性儀表板，支持 MCP、LangGraph、CrewAI 和 OpenTelemetry。所有數據存儲在本地 SQLite 中，無需雲服務。提供實時追蹤、成本跟蹤、警報、回放評估和數據集實驗等功能。通過一行命令即可啓動。

本文探討了如何以負責任的方式使用AI進行寫作，包括讓AI編輯草稿、作為自學工具、生成列表等。同時提醒AI的迎合傾向需要用户主動規避。

這篇由Mert Demirer、Leon Musolff和Liyuan Yang撰寫的NBER工作論文探討了不同代AI編碼工具對生產力的影響，區分了編寫代碼和發佈代碼階段，為AI工具如何影響軟件開發效率提供了見解。

ChatGPT是一款功能強大的AI工具，可用於寫作、研究、圖像生成、文件處理等。本文介紹瞭如何開始使用ChatGPT，包括免費版和付費版的區別，以及網絡搜索、深度研究、文件上傳、應用連接、圖像生成、GPT、項目、語音模式、記憶等核心功能。

DNS-AID利用現有DNS基礎設施實現AI代理的發現、發佈和驗證，無需新網絡層，並通過DNSSEC提供信任保障。該協議支持MCP、A2A和HTTPS，可集成到現有DNS區域中。

谷歌發佈了Gemma 4 12B模型，這是一個120億參數的AI模型，可在配備16GB內存的消費級筆記本上運行，填補了Gemma 4系列中移動端與高性能型號之間的空白。

MIT研究人員利用經典遊戲作為測試平台，發現小型AI模型僅需1%的成本就能超越最大型模型。

麻省理工學院媒體藝術與科學教授託德·馬喬弗榮獲約翰斯·霍普金斯大學皮博迪學院頒發的喬治·皮博迪獎章，這是該學院的最高榮譽。馬喬弗因其在參與式歌劇、人工智能和創意技術方面的開創性工作而受到表彰。

文章內容不可用；僅提供了標題。

研究人員在arXiv預印本中展示了一種新型計算機蠕蟲，它利用人工智能智能體通過被入侵設備上的開源大語言模型進行推理，針對每個目標生成定製攻擊策略。這種蠕蟲能自我維持，在Linux、Windows和物聯網設備間傳播，攻擊者利用被盜計算能力實現零邊際成本，繞過了傳統安全控制。

iocaine 是一種激進的防禦機制，旨在通過向AI爬蟲提供垃圾數據來毒害它們，從而長期阻止它們。它高效輕量，採用MIT許可證開源。

Prodync是一個AI商務可見性平台，幫助Shopify商家優化產品數據，使其更適應AI搜索引擎，從而提升產品曝光率和銷量。

Mnemo 是一個旁路服務，通過提取實體和關係構建知識圖譜，為LLM提供持久記憶。它支持本地或雲端LLM，響應時間低於50毫秒，無需雲依賴。提供Docker、二進制和Python SDK部署方式。

Linux基金會宣佈成立Tokenomics基金會，旨在為AI token消費建立開放標準、基準和最佳實踐。該基金會得到了Google、Microsoft、IBM等多家公司的支持，但OpenAI和Anthropic等前沿模型提供商缺席。隨着token消費的快速增長，企業面臨巨大的成本壓力，該基金會致力於提供成本透明度和標準化。

谷歌DeepMind發佈開源模型Gemma 4 12B，原生處理文本、圖像和音頻，可在僅16GB RAM的筆記本電腦上運行。其性能幾乎與兩倍大小的26B模型相當，並採用Apache 2.0許可證，可用於商業用途。

谷歌首次在Search Console中為網站運營商提供退出AI搜索功能（如AI概覽和AI模式）的開關，這些功能已覆蓋超過35億月活躍用户。新性能報告單獨展示展示次數。此舉是由英國競爭與市場管理局（CMA）推動的，該機構認為網站運營商處於嚴重劣勢。

成立僅七個月的初創公司Axiom在普特南數學競賽中獲得滿分，展示了驗證性AI的力量。CEO卡琳娜·洪解釋瞭如何使用Lean進行形式驗證，以實現智能的擴展和複合，可能克服非正式AI面臨的瓶頸。Axiom在Verina代碼生成基準測試中取得99%的成績，遠高於OpenAI o3的4.9%，其方法可能是實現AGI的關鍵。