新聞 RSS 訂閱

騰訊的 AI 助手 “元寶” 近日在用户中引發了一些質疑，許多用户對其身份產生了疑惑，紛紛詢問 “你到底是 AI 還是人”。對此，騰訊方面作出了公開回應，強調 “元寶” 是一個完全由 AI 生成內容的助手，並不存在人工干預。 在騰訊的官方説明中，元寶被描述為一款具有高情商的 AI 助手，能夠快速而準確地回覆用户的問題。然而，由於其回答質量過高，導致部分用户懷疑其真實身份，甚至有用户提出冒犯性問題，

據媒體報道，智譜、MiniMax（稀宇科技）兩家AI大模型獨角獸已經通過了港交所聆訊。截至發稿，智譜迴應“不予置評”，MiniMax方面沒有迴應。 作為業內最受關注的AI初創企業，儘管外界普遍對大模型企業上市有共識，但是智譜和MiniMax衝刺港交所速度還是超過了外界預期。 有消息稱，MiniMax已於本週獲得中國證監會對其境外發行上市的備案，並於12月17日通過港交所聆訊。若進展順利，其有望成為

xAI正式發佈Grok Voice Agent API，面向開發者開放其在Tesla車輛及移動應用中已驗證的語音代理技術。據介紹，該API支持數十種語言，具備實時工具調用與網絡搜索能力，平均首音頻響應時間低於1秒，在Big Bench Audio評測中位列第一。 Grok Voice Agent API在Big Bench Audio音頻推理基準測試中排名第一，平均首音頻響應時間小於1秒，比最接

Apache Maven 3.9.12 現已發佈。Apache Maven 是一個項目管理和構建工具。基於項目對象模型（POM）的概念， Maven 可以從中心位置管理項目的構建、報告和文檔。 此版本更新內容如下： 新功能和改進 [3.9.x] 應用解析器更改和改進（#11536） 更新先決條件/要求錯誤信息的格式，以提高可讀性（#11523） 允許 Maven 插件要求指定 Java 版

俄勒岡州作家伊麗莎白·萊昂（Elizabeth Lyon）對Adobe提起集體訴訟，指控其在訓練名為 SlimLM 的小型語言模型時，使用了包含其盜版作品在內的非法數據集。 SlimLM是Adobe推出的一系列輕量化語言模型，專為移動設備上的文檔輔助任務（如摘要、改寫、問答）優化。Adobe官方稱，該模型基於 SlimPajama-627B 數據集進行預訓練——這是由AI芯片公司Cerebras

編者按： 如何在資源受限的設備上高效部署大語言模型，同時還儘可能保持其性能表現？ 我們今天為大家帶來的這篇文章，作者的核心觀點是：量化技術通過在模型精度與效率之間尋找最優平衡點，使得大語言模型能夠在資源受限的設備上高效部署，而幾乎不降低其"智能水平"。 文章從量化的基本原理出發，深入剖析了訓練後量化（PTQ）與量化感知訓練（QAT）的適用場景，詳細解釋了縮放因子、零點、對稱/非對稱量化等關

JavaMelody 是一個監控系統，目標是在 QA 和生產環境中監控Java 或 Java EE 應用程序。JavaMelody v2.6.0 現已發佈，主要更新內容包括： 為 Spring Boot 4 添加 javamelody-spring-boot4-starter（PR 1279）。對於 Spring Boot 3，建議照常使用 javamelody-spring-boot-sta

字節挑跳動 Seed 團隊正式推出通用 Agent 模型 Seed1.8，它具備強大的多模態能力，支持圖文輸入，能在信息檢索、代碼生成、GUI 交互及複雜工作流等場景中高效精準地完成任務，滿足日益多元的技術需求。 以下是 Seed1.8 的三大核心特點： 通用 Agent 模型：Seed1.8 集搜索、代碼與 GUI Agent 能力於一體，其原生基座視覺能力使它能夠“看見”並直接與界面

TeXstudio 是一款開源跨平台 LaTeX 編輯軟件，界面與 Texmaker 類似。TeXstudio 為用户提供互動式拼寫檢查、代碼摺疊、語法高亮、代碼提示和自動完成等特性，功能豐富，界面美觀，但軟件本身不提供底層功能，需要使用者自行安裝 LaTeX（XeLaTeX）等編譯軟件，例如 MiKTeX 或 TeXLive ，軟件源於 Texmaker，基於 Qt 開發。 TeXstudio

根據 Business Insider 的報道，馬斯克近日在 xAI 舊金山總部舉行的全體員工大會上發表講話，稱只要公司能挺過未來兩到三年，xAI 就將擊敗競爭對手。 報道稱，馬斯克向內部團隊強調，如果 xAI 能夠在接下來的兩到三年內穩住發展，公司有望在激烈的 AI 競爭中脱穎而出，併成為行業領先者。他認為，在追求超級智能（superintelligence，即超越人類智能的系統）的賽道上，算力

微軟正式開源了其最新的圖像到3D 模型生成工具 ——TRELLIS.2。 該工具在生成高質量、帶材質的3D 模型方面表現出色，僅需輸入一張圖片，便可迅速生成可供 Blender、Unity、Unreal 等平台使用的.glb 格式三角形網格文件。 TRELLIS.2使用了一種名為4B 的模型，能夠處理分辨率在512³ 到1536³ 之間的圖像。在 NVIDIA H100顯卡的支持下，生成512³

OpenTofu v1.11.0 現已發佈，一些更新亮點如下： 臨時資源和只寫屬性 臨時值允許 OpenTofu 處理只在單個 OpenTofu 階段內存在於內存中的數據和資源，保證這些值不會被保存在狀態快照或計劃文件中： 使用臨時資源，可以臨時訪問存儲的憑證或網絡隧道，用於 provider 或 provisioner 配置，且這些值不會被保存到 OpenTofu 的計劃文件或狀態快照

教育部近日印發《關於進一步加強中小學日常考試管理的通知》，明確提出將利用尖端技術賦能教育評價。國家將試點探索人工智能在日常考試命題、組卷、閲卷及分析等關鍵環節的深度應用。 根據教育部新聞辦“微言教育”發佈的消息，此次《通知》旨在全方位提升中小學考試管理的專業性與科學性。各地教育行政部門將統籌推進命題審題團隊建設，通過開發命題指導手冊和結構化培訓資源，系統指導教師進行科學命題、精準考試分析及多元評

階躍星辰宣佈其 Step-GUI 雲端模型全面升級並限時開放免費 API，新模型支持超過 200 個任務場景，可在手機、PC 及汽車等多端使用，具備更長的推理步驟和更強的語義理解與泛化能力。當用户指令模糊時，該模型能自主提問以完成任務。 同時，階躍星辰開源了其此前最強的端側 GUI 模型 Step-GUI Edge，並開放了 GUI-MCP 協議，聲稱可將 AI 手機的部署時間縮短至 10 分鐘。

蘋果發佈了名為 SHARP（Sharp Monocular View Synthesis）的研究成果和模型，可以在不到一秒鐘內從一張普通的二維照片生成一個具有逼真效果的三維場景視圖。 據介紹，SHARP 利用先進的 3D 高斯潑濺（3D Gaussian Splatting） 技術，將場景表示為大量帶有顏色和光照信息的 3D 高斯球體。模型通過單次神經網絡前向推理（feedforward），預測出

Ant Design 是阿里巴巴開源的一套企業級 UI 設計語言和 React 組件庫。Ant Design 6.1.1 現已發佈，主要更新內容如下： 修復 DatePicker 不兼容 webpack 4 的問題：Can't resolve '@rc-component/picker/locale/en_US'。#56219 修復 ColorPicker 彈層內輸入框高度不一致問題。#56

"冬序新啓，碩果可期"，2025 年 12 月墨天輪中國數據庫流行度排行榜已出爐，OceanBase 與達夢數據庫憑藉全年穩健表現與技術深耕，繼續穩固第一、二位寶座；阿里雲 PolarDB 則實現排名躍升，成功進軍前三甲榮登探花之位。在全年最後階段，各家廠商紛紛亮出 "動作"------ 新版產品發佈、年度戰略發佈會召開、重量級獎項斬獲等動態密集落地，為行業年度發展畫上濃墨重彩的一筆。接下來就和小

Kubernetes v1.35（Timbernetes）現已發佈，本次發佈包含 60 項改進，其中 17 項為穩定功能，19 項 Beta 功能，22 項 Alpha 功能，也有一些廢棄和移除內容。 發佈主題與 logo 2025 年始於 Octarine（魔法之色，v1.33）的光輝，經歷了風與意志的洗禮（v1.34）。年終之際，我們雙手觸摸着世界樹，靈感源自連接眾多領域的生命之樹 Yg

Helm 4 已於最近發佈，為此，Flant 團隊將其與 werf 中開發的替代方案 Nelm 進行了比較。並介紹了 Nelm 與 Helm 4兩個項目的新功能，詳細説明它們的差異，以及規劃了 Nelm 的未來路線。 Helm 4 給雲原生社區帶來了一系列新功能。最重要的用户層面變化是採用了 Kubernetes 的 Server-Side Apply (SSA)，取代了之前的 3-Way Mer

Visual Studio Code 1.107 現發佈。本次更新改進了side-by-side 會話視圖，新增了agent workflow tutorial，並修復了一些問題。 主要亮點包括： 改進了 Agent Sessions sidebar 的開箱即用體驗。默認的會話視圖方向未設置為sideBySide。 改進 Agent Sessions 中的 Input Needed 請求渲染

谷歌近日宣佈，其“氛圍編程”（vibe-coding）工具 Opal 正式整合進 Gemini 網頁應用，用户今後可以在瀏覽器內直接使用 Opal 構建由人工智能驅動的迷你應用，並將其保存為 Gemini 裏的自定義助手“Gems”。 Gemini 中的 Gems 是谷歌在 2024 年推出的自定義版本 AI 助手，針對特定任務或場景進行預設或個性化配置，例如學習教練、頭腦風暴助手、職業指導、編程

家用機器人領域的早期開拓者、Roomba 吸塵器的製造商iRobot已經正式申請破產保護。在經歷了長達 35 年的發展後，這家公司在 2025 年 12 月宣佈進入破產法第 11 章的保護程序。 根據雙方達成的協議，iRobot將被其總部位於中國的代工製造商Picea Robotics收購。在此之前，iRobot 曾試圖通過亞馬遜的收購來扭轉頹勢，但該交易最終因監管審查而被迫告吹。 儘管面臨易主

作者：靖蘇 讓智能體開發更輕盈，讓雲端運行更安全------AgentRun Sandbox SDK 開源發佈，賦能 Agentic AI 快速落地。 引言：構建面向未來的 Agentic AI 基礎設施 在大模型與智能體（Agent）技術迅猛發展的今天，開發者不僅需要強大的模型能力，更亟需一個安全、彈性、易用且可擴展的運行環境來承載複雜的 Agent 邏輯。為此，我們正式推出 AgentR

谷歌正式推出 Gemini 3 Flash，作為 Gemini 3 系列的最新成員，該模型在保持前沿推理能力的同時，顯著提升速度並降低成本。 Gemini 3 Flash 已在 Gemini 應用、AI Mode 搜索、Vertex AI 及開發者平台 Google Antigravity 等產品中全球上線。該模型在 GPQA Diamond、MMMU Pro 等權威評測中表現優異，推理速度較