-
DeepSeek 重磅開源DeepSeek-Prover-V2，6710 億參數數學證明模型
2025年 4 月 30 日，人工智能公司 DeepSeek 在 Hugging Face 平臺悄然發布其最新超大規模數學定理證明模型 —— DeepSeek-Prover-V2-671B。該模型參數量高達 6710 億（671B），是前代版本 V1.5 的近百倍，刷新了當前開源數學推理模型的體量上限。 DeepSeek-Prover-V2 專注于形式化數學證明任務，適用于自動定理驗證、邏輯推理訓…... -
豆包圖像生成功能升級，一次可生成20張差異化圖片
近日，豆包電腦版和網頁版“圖像生成”功能推出“超能創意1.0”模式，支持用戶一次性生成高達 20 張風格各異的圖片，顯著提升創意效率。該功能支持輸入自定義提示詞進行批量生成，五一前夕已實測輸出多座中國城市地標的羊毛氈風格圖像，引發用戶熱議。 目前，豆包 App 端也已開啟內測，支持一次生成 10 張圖，預計不久將全面上線。用戶可通過訪問 doubao.com 免費體驗新功能。... -
小米發布首個開源大語言模型 MiMo
2025年4月，小米正式開源旗下首個自研大語言模型系列 —— MiMo（MiMo-7B），在 Hugging Face 平臺同步上線。MiMo 由小米 LLM-Core 團隊訓練，參數規模為 7B，定位于高效中型模型，專為數學推理與代碼生成場景設計。 據官方介紹，MiMo 在 MATH500、AIME、LiveCodeBench 等多個專業評測中表現亮眼，甚至在部分任務中超越了 OpenAI o1…... -
豆包視頻功能全面升級，支持更多風格與細膩動畫體驗
2025年4月29日，豆包官方宣布其視頻生成功能迎來全面升級，帶來在語義理解、影調畫質、風格多樣性和動作連貫性等方面的顯著提升。本次升級由豆包自研的Seedance視頻生成模型提供技術支持。 升級亮點包括： 更精準的語義理解，生成內容更貼合指令意圖 更細膩的影調與畫質表現，畫面觀感大幅提升 更自然的人物動作連貫性，動畫效果更流暢 新增多種風格，如彩鉛、積木、黑白素描、像素、3D動畫等，滿足更多創意…... -
ChatGPT 搜索新增網購功能，對話獲得個性化商品推薦
2025年4月29日，OpenAI宣布對其 ChatGPT Search 進行了重要的功能升級，新增了網購功能，旨在為用戶提供更便捷的購物體驗。用戶可以通過自然對話與 ChatGPT 互動，獲取個性化商品推薦，并實現一站式購物體驗。 此次升級亮點包括： 改進商品搜索結果，提升匹配度與相關性 豐富展示商品圖片、價格和用戶評價 提供直達購買鏈接，實現一站式購物體驗 OpenAI特別強調，推薦商品獨立選…... -
通義靈碼正式集成Qwen3模型，編程智能體即將上線
2025年4月29日，阿里巴巴正式發布并開源了全新一代大模型Qwen3，涵蓋8款混合推理模型，包括旗艦版 Qwen3-235B-A22B 和輕量版 Qwen3-30B-A3B。 Qwen3在代碼生成、數學推理、通用能力等多個領域基準測試中表現出色，與 DeepSeek-R1、Grok-3、Gemini-2.5-Pro 等頂尖模型競爭力十足。 目前，阿里旗下通義靈碼已率先完成對Qwen3的集成，用戶…... -
阿里巴巴發布Qwen3開源大模型，性能全面對標國際頂級模型
2025年4月29日，阿里巴巴正式發布旗下全新一代開源大語言模型 —— Qwen3，標志著其在人工智能基礎模型領域邁出關鍵一步。 Qwen3系列覆蓋從小型到超大規模的多種模型規格，包括旗艦版 Qwen3-235B-A22B 和輕量版 Qwen3-30B-A3B，并全面開源，支持研究與商用開發。 在編碼、數學推理、綜合語言理解等多項國際基準測試中，Qwen3取得了與 DeepSeek-R1、Grok…... -
微軟發布全新Windows桌面 Agent 操作系統 UFO2
近日，微軟正式發布全新桌面智能代理操作系統 UFO2（Desktop AgentOS），作為開源項目AgentUFO的重磅升級版。UFO2深度整合Windows平臺，支持通過自然語言指令自動化管理多應用程序操作，大幅提升任務執行效率與智能化水平。 UFO2引入了多項創新功能，包括深度系統API調用、混合控制執行（GUI操作與API調用自適應）、智能推測執行機制以及知識增強檢索系統。同時，UFO2即…... -
MoonshotAI開源Kimi-Audio，重新定義音頻處理領域
近日，MoonshotAI 開源了其最新音頻基礎模型 Kimi-Audio，這一模型憑借其卓越的性能和創新架構，有望在音頻處理領域掀起一場變革。 架構革新 Kimi-Audio 采用了集成式架構，包含音頻分詞器、音頻大模型和音頻去分詞器三大核心組件。音頻分詞器將輸入音頻轉化為離散語義 token 和連續聲學向量，音頻大模型基于 Transformer 架構處理多模態輸入，而音頻去分詞器則通過流匹配…... -
OpenAI免費開放輕量版Deep Research
2025年4月25日，OpenAI宣布正式向所有用戶免費開放其AI研究代理工具Deep Research的輕量版。這款工具由新發布的o4-mini模型驅動，保留了原版的核心智能和分析能力，現已面向免費用戶逐步開放。 Deep Research工具亮點： ? 自動研究：可自主瀏覽網絡，分析上百個網頁與PDF文檔； ? 快速生成報告：5至30分鐘內生成結構清晰、附帶引用的研究成果； ? 智能引用：報告…... -
Trae 重磅更新，支持 AI 編程 + 智能體 + MCP
近日， 字節跳動旗下 AI 編程工具 Trae 迎來重大更新，正式支持 AI 編程、智能體和 MCP（多智能體協作協議）功能，為開發者帶來前所未有的高效開發體驗。 核心亮點 AI 編程 + MCP 強強聯合：Trae 現已支持通過自然語言描述直接生成代碼和調用工具，實現“言出法隨”的開發模式。開發者無需手動編寫代碼或配置工具，只需輸入需求，Trae 即可自動完成從設計到開發的全流程。 智能體功能升…... -
百度推出心響App，打造手機端超級智能體產品
近日，百度正式上線一款全新 AI 應用——心響 App，定位為「AI 任務完成引擎」，致力于成為用戶的“超級大腦 + 最強輔助”。區別于傳統對話式助手，心響不僅能理解用戶指令，還能智能拆解任務、動態執行操作并交付可視化結果，實現真正意義上的全流程托管式 AI 協作體驗。 心響支持旅游規劃、圖表生成、定時提醒、兒童故事、戀愛對話模擬等多個高頻場景，用戶只需一句話，即可觸發一整套智能工作流。目前 Ap…... -
字節跳動推出扣子空間，多AI智能體平臺
2025年4月19日，字節跳動coze團隊正式推出扣子空間，一個創新的AI協同辦公平臺，旨在讓用戶與AI Agent高效協作，完成各種復雜任務。扣子空間現已開啟內測，為用戶提供從問題解答到任務執行的全方位支持。 核心亮點 任務自動化：扣子空間能夠自動分析用戶需求，將其拆解為多個子任務，并自主調用瀏覽器、代碼編輯器等工具執行任務，最終輸出完整的任務報告，如網頁、PPT、飛書文檔等。 專家Agent生…... -
豆包1.5·深度思考模型發布，開啟AI推理新時代
2025年4月17日，火山引擎在FORCE LINK AI創新巡展·杭州站上，正式發布豆包1.5·深度思考模型，標志著AI技術在推理和多模態交互領域邁入新階段。該模型具備強大的推理能力、低延遲響應和多模態交互功能，能夠處理復雜任務并廣泛應用于多個領域。 核心亮點 強大推理能力：豆包1.5·深度思考模型在數學、代碼、科學等專業領域表現出色，達到或接近全球第一梯隊水平。它還具備優秀的泛化能力，能夠勝任…... -
OpenAI 發布新一代推理模型：o3 和 o4-mini，支持圖像深度思考和自主調用工具
2025 年 4 月 16 日，OpenAI 正式發布了其最新的人工智能推理模型——OpenAI o3和OpenAI o4-mini，標志著其AI推理能力的重大突破。這兩款模型是 OpenAI o 系列的最新成果，代表了該公司在 AI 推理技術上的重大突破。 o3：強大的多模態推理模型 o3 是 OpenAI 目前最強大的推理模型，它在多個領域表現出色，包括數學、編程、科學和視覺感知。該模型能夠獨…...
