格隆汇4月30日｜DeepSeek今日于AI开源社区Hugging Face上发布了一个名为DeepSeek-Prover-V2-671B的新模型。据悉，DeepSeek-Prover-V2-671B 使用了更高效的 safetensors文件格式，并支持多种计算精度，方便模型更快、更省资源地训练和部署，参数达6710亿，或为去年发布的Prover-V1.5数学模型升级版本。在模型架构上，该模型使用了DeepSeek-V3架构，采用MoE（混合专家）模式，具有61层Transformer层，7168维隐藏层。同时支持超长上下文，最大位置嵌入达16.38万，使其能处理复杂的数学证明，并且采用了FP8量化，可通过量化技术减小模型大小，提高推理效率。

格隆汇4月30日｜据“小米大模型”公众号消息，今天，小米开源首个为推理(Reasoning)而生的大模型“Xiaomi MiMo”，联动预训练到后训练，全面提升推理能力。 在数学推理(AIME 24-25)和代码竞赛(LiveCodeBench v5)公开测评集上，MiMo仅用7B的参数规模，超越了OpenAI的闭源推理模型o1-mini和阿里Qwen更大规模的开源推理模型QwQ-32B-Preview。

格隆汇4月29日｜4月29日凌晨，阿里巴巴开源新一代通义千问模型Qwen3(简称千问3)，参数量仅为DeepSeek-R1的1/3，成本大幅下降，性能全面超越R1、OpenAI-o1等领先模型，登顶全球最强开源模型。千问3是国内首个“混合推理模型”，将“快思考”与“慢思考”集成进同一个模型，大大节省算力消耗。 据了解，千问3采用混合专家(MoE)架构，总参数量235B，激活仅需22B。千问3预训练数据量达36T tokens，并在后训练阶段经过多轮强化学习，将非思考模式无缝整合到思考模型中。千问3在推理、指令遵循、工具调用、多语言能力等方面均大幅增强。性能大幅提升的同时，千问3的部署成本还大幅下降，仅需4张H20即可部署千问3满血版，显存占用仅为性能相近模型的三分之一。

格隆汇4月29日｜通义App与通义网页版(tongyi.com)今日全面上线阿里新一代通义千问开源模型Qwen3(简称千问3)。用户可以第一时间在通义App和网页版中的专属智能体“千问大模型”，以及主对话页面，体验到全球最强开源模型的顶级智能能力。 据了解，千问3一经发布便登顶全球最强开源模型。本次发布的千问3开源模型包含8款不同尺寸，均为全新的“混合推理模型”，智能水平大幅提升的同时也更省算力。其中，千问3旗舰模型Qwen3-235B-A22B是一款混合专家(MoE)模型，该模型创下所有国产模型及全球开源模型的性能新高；Qwen3-32B是一款稠密(Dense)模型，部署成本低、稳定高效，是企业部署首选。 目前，上述两款模型均已在通义App和通义网页版中的“千问大模型”智能体上线。同时，在通义App与网页版的主对话页面中，用户可以在逻辑推理、编程、翻译等垂类场景下体验到千问3的顶级智能能力。 近日，通义App完成全新升级，以超级智能体作为交互中枢，在主对话页面实现能问、能聊、理解图片、生成图片、翻译、写作等智能体验。同时，通义App持续迭代专业能力，在代码生成、数学推理、拍照讲题等领域，为用户打造有用、贴心的个人AI助手。据悉，通义网页版全新域名tongyi.com已正式启用。

格隆汇4月29日｜据外媒，OpenAI宣布，用户很快就可以通过ChatGPT购买产品。人工智能搜索查询购物按钮的推出将面向所有人，无论他们是否为登录的用户。据悉，购物者将无法在ChatGPT内部结账，相反，他们会被重定向到商家的网站来完成交易。向潜在购物者展示的产品推荐是基于ChatGPT对用户偏好的记忆，以及从整个网络上提取的产品评论。OpenAI的一位发言人说，公司不会为通过ChatGPT进行的购买行为收取联盟营销收入。

格隆汇4月29日｜阿里巴巴发布Qwen3系列模型，这是Qwen系列大型语言模型的最新成员。旗舰模型Qwen3-235B-A22B在代码、数学、通用能力等基准测试中，与DeepSeek-R1、OpenAI的（o1、o3-mini）、马斯克的Grok-3和谷歌公司Gemini-2.5-Pro等顶级模型相比，表现出极具竞争力的结果。此外，小型MoE模型Qwen3-30B-A3B的激活参数数量是QwQ-32B的10%，表现更胜一筹，甚至像Qwen3-4B这样的小模型也能匹敌Qwen2.5-72B-Instruct的性能。 通义千问开源两个MoE模型的权重：Qwen3-235B-A22B，一个拥有2350多亿总参数和220多亿激活参数的大模型，以及Qwen3-30B-A3B，一个拥有约300亿总参数和30 亿激活参数的小型 MoE 模型。此外，六个Dense模型也已开源，包括Qwen3-32B、Qwen3-14B、Qwen3-8B、Qwen3-4B、Qwen3-1.7B和Qwen3-0.6B，均在Apache 2.0许可下开源。 Qwen3 模型支持两种思考模式：1、思考模式。在这种模式下，模型会逐步推理，经过深思熟虑后给出最终答案。这种方法非常适合需要深入思考的复杂问题。2、非思考模式，在此模式中，模型提供快速、近乎即时的响应，适用于那些对速度要求高于深度的简单问题。

格隆汇4月28日｜据《财经》杂志，今年一季度，腾讯向字节跳动购买了价值约20亿元的GPU（图形处理器）算力资源，这批资源以英伟达H20卡和服务器为主，腾讯元宝目前的更新主要使用来自字节的卡。除了腾讯，一位知情人士称，阿里也在今年一季度DeepSeek爆红之后，向字节跳动下了GPU订单。多位接近字节跳动人士称，字节跳动在去年囤积了大约10万个GPU模组。一位服务器厂商人士称，据其估算，这批GPU资源总价值在1000亿元左右。字节相关负责人回复称，以上为不实信息。据媒体消息，2024年一季度，包括字节跳动、阿里巴巴和腾讯在内的中国企业已下单至少160亿美元的英伟达H20芯片。据公开信息，2024年，微软拥有75万—90万块等效H100，有100万—150万块，有55万—65万块。前述字节人士称，目前字节有约100万张卡，算力资源规模已经跻身世界第一梯队。

格隆汇4月28日｜根据Aitools.xyz的数据，下图展示截至2025年1月最受欢迎的15款AI工具。其中，ChatGPT仍然是使用最为广泛使用的AI工具，月访问量高达47亿次，远远超过所有其他平台。在线设计工具Canva位居第二，该平台利用OpenAI模型集成了AI设计和图像编辑功能，月访问量达8.87亿次。DeepSeek以2.68亿次访问量位居第四，自1月开源其推理模型以来，DeepSeek的网站访问量暴增了2026%。