搜索全球AI产品动态

在人工智能领域，最近一项重磅技术发布引发广泛关注 ——DeepSeek-Prover-V2。这一模型不仅在推理性能上取得了显著提升，还被誉为通向人工通用智能（AGI）的关键一步。DeepSeek-Prover-V2在推理能力和训练效率上都进行了革命性的创新，给数学推理研究带来了新的希望。DeepSeek-Prover-V2提供了两种不同规模的模型:671B 和7B 参数。特别是671B 参数的版本，其推理性能在 DeepSeek-V3-Base 的基础上得到了显著增强，适用于更复杂的数学问题。而7B 版本则基于 DeepSeek-Prover-V1.5-Base 构建，支持高达32K 的上下文

中国 AI 初创公司 DeepSeek 再次掀起开源 AI 领域的热潮，正式发布其最新开源模型 DeepSeek-Prover-V2-671B。这一拥有6710亿参数的超大规模语言模型，专为数学推理和问题解决设计，展现了 DeepSeek 在高效 AI 开发上的持续创新能力。根据社交媒体上的最新讨论，这一模型被认为是 DeepSeek 在数学领域的重要里程碑，或将推动全球 AI 研究与应用的进一步发展。模型亮点:专注数学推理，性能卓越DeepSeek-Prover-V2-671B 是 DeepSeek 针对数学问题解决量身打造的最新力作。社交媒体上流传的信息显示，该模型在复

阿里巴巴正式推出新一代通义千问模型 Qwen3（千问3），并宣布其开源。阿里云表示，千问3是国内首个 “混合推理模型”，同时集成了 “快思考” 与 “慢思考” 的能力。相比于 DeepSeek-R1，千问3的参数量仅为其三分之一，而部署成本大幅降低，使用仅需四张 H20显卡即可实现满血版的部署。根据官方技术博客，千问3采用了混合专家（MoE）架构，拥有2350亿个参数，实际激活时仅需220亿参数。这款模型在预训练阶段使用了36TB 的数据，并通过多轮强化学习进行后训练。同时，千问3能够无缝结

DeepSeek R1T Chimera上线OpenRouter平台，融合R1与V3-0324优势引发关注。2025年4月27日，TNG Technology Consulting正式宣布推出这款全新的开源语言模型，为全球开发者提供高效、强大的AI工具。技术突破:智能与效率兼得DeepSeek R1T Chimera是一款基于混合专家（Mixture-of-Experts，MoE）架构的685B参数模型，结合了DeepSeek R1的推理能力与V3-0324的效率优势。其核心技术亮点包括:令牌效率提升（相比DeepSeek R1，Chimera在保持相同智能水平的情况下，输出令牌使用量减少约40%）;推理能力保留(在基准测试中展现出与R1相当的

由TNG Technology Consulting 研发的 DeepSeek R1T Chimera 模型已正式上线 OpenRouter 平台，为全球开发者提供高效、强大的推理能力。这一全新开源模型结合了 DeepSeek R1的卓越推理能力和 V3-0324的高效性能，标志着开源 AI 技术在性能与效率平衡上的又一重大突破。以下为 AIbase 整理的最新资讯，带您深入了解这一激动人心的进展。模型亮点:推理与效率的完美融合DeepSeek R1T Chimera 是一款基于混合专家（MoE）架构的685B 参数开源模型，继承了 DeepSeek R1的强大推理能力，同时融入了 V3-0324模型的高效特性。据官

宝马中国宣布旗下的新车型将在第三季度接入先进的 DeepSeek 技术。这一技术将应用于搭载第九代操作系统的多款新车，标志着宝马在智能车载系统方面迈出了重要一步。根据规划，首批适配车型包括 BMW5系长轴距版、纯电动 i5以及全新 X3长轴距版等，届时，现有车主也将能够体验到这一全新功能。DeepSeek 技术的引入，将极大增强车主与车辆之间的互动体验。用户通过 BMW 智能个人助理，可以使用自然语言进行交流，系统能够理解并响应更为口语化的指令。例如，当用户说 “去静安寺商圈购

今日，百度在武汉举办的Create2025AI开发者大会上，创始人李彦宏以“模型的世界，应用的天下”为主题发表近60分钟演讲，正式发布文心大模型4.5Turbo与X1Turbo版本，并披露DeepSeek模型在百度生态中的落地进展与现存挑战。

在百度 Create 开发者大会上，百度创始人李彦宏重磅发布了全新一代文心大模型 X1Turbo。这款模型在性能大幅提升的同时，价格极具竞争力，每百万 token 的输入价格仅为1元，输出价格为4元，仅相当于竞品 DeepSeek-R1的25%。据介绍，文心大模型 X1Turbo 基于4.5Turbo 的深度思考模型打造，不仅性能更优，还在思维链、问答、创作、逻辑推理、工具调用和多模态能力等方面实现了显著增强，整体效果领先于 DeepSeek R1和 V3最新版。此外，百度还同步推出了文心大模型4.5Turbo，进一步强化了多模态能力。

国家知识产权局局长申长雨在国务院新闻办公室的发布会上透露，中国在人工智能领域正展现出强劲的发展势头。根据世界知识产权组织的报告，中国已成为全球人工智能专利的最大拥有国，专利数量占全球总量的60%。这一成就不仅反映了中国在科技创新方面的突破，也彰显了其在新兴产业中的领导地位。图源备注:图片由AI生成，图片授权服务商Midjourney申长雨强调，人工智能被视为推动新一轮科技革命和产业变革的重要驱动力量。近年来，随着 Deepseek 等国产大模型的崛起，人工智能技术

在近日于上海举行的汽车展上，德国汽车制造商宝马（BMW）宣布，将于今年晚些时候在其新车型中集成中国初创公司 DeepSeek 的人工智能技术。宝马首席执行官奥利弗・齐普塞(Oliver Zipse)在展会上表示，这一举措标志着宝马在中国市场进一步加强与本地科技公司的合作。齐普塞强调，中国在人工智能领域的创新步伐迅速，宝马希望借助这种技术提升其汽车的智能化水平。他表示:“在这里，AI 技术正在飞速发展。我们正在加强与当地公司的合作，以便将这些先进的人工智能技术整合进我们的车

微软在其官网上正式开源了 DeepSeek-R1的魔改版 ——MAI-DS-R1。这一新模型在保留原有推理性能的基础上，进行了显著的增强，尤其在对敏感话题的响应能力上取得了巨大的突破。MAI-DS-R1的响应能力达到了99.3%，是原版 R1的两倍多。这一进步将对政治学、社会问题以及伦理道德的研究提供极大的支持。尽管其响应了更多的敏感话题，但在安全风险方面，MAI-DS-R1的有害内容降低了50%，展现出良好的安全控制能力。因此，渴望体验 “放飞自我” 版的用户可以尝试这一模型，探索新的可能性。在模

​近日，理想汽车正式对外发布消息，旗下智能助手“理想同学”迎来重大升级，其搭载的MindGPT3.0模型已全面上线并面向用户开放。此次升级不仅标志着理想汽车在人工智能领域的又一重要进展，更为广大用户带来了更为智能、高效的使用体验。

在今年的达沃斯世界经济论坛上，众多商界和政界领袖齐聚一堂，普遍认为美国科技巨头在人工智能（AI）领域占据主导地位，而中国乃至整个亚洲似乎都在这一赛道上滞后。然而，在与会者离开后，这种看法开始遭遇挑战。首先，来自中国的一家名不见经传的对冲基金 —— 深度寻求（DeepSeek）在这一时刻引发了全球的注意。该公司的 AI 部门推出了一款名为 R1的大型语言模型，其性能与 OpenAI 最新的模型相媲美。更令人惊讶的是，DeepSeek 声称只花费了600万美元进行训练，这一成本与硅谷公

近日，DeepSeek创始人梁文锋入选《时代》杂志“2025年全球最具影响力100人”榜单，成为全球科技与金融领域的领军人物之一。与此同时，梁文锋还凭借330亿元人民币的财富首次登上了2025年3月27日发布的《胡润全球富豪榜》，进一步巩固了他在全球商业界的影响力。梁文锋的成功之路始于2008年，当时他开始带领团队利用机器学习等前沿技术，探索全自动量化交易。这一战略性的技术创新奠定了他在量化交易行业的领先地位。2015年，梁文锋创办了幻方量化，致力于将人工智能技术与金融交易

微信平台推出了首个 AI 助手 ——“元宝”。用户只需在微信中搜索 “元宝”，添加为好友后，即可轻松与其进行对话。与传统的聊天机器人不同，元宝以好友的身份出现，无需下载其他应用或小程序，聊天时甚至会显示 “对方正在输入...” 的信息，带来更加真实的互动体验。元宝 AI 是腾讯最新开发的 AI 助手，搭载了混元和 DeepSeek 双模引擎，能够无缝接入微信生态。其强大的功能包括快速解析微信公众号文章、图片和文档，并在此基础上提供简短的评论和详尽的解读。用户还可以通过

刚刚，腾讯旗下的 AI 助手「元宝」正式入驻微信。现在，用户能在微信框搜索「元宝」，或直接扫码 ，将其添加到通讯录，即可与之展开对话。据悉，元宝 AI 是腾讯元宝 APP 入驻微信的智能助手，搭载混元和 DeepSeek 双模引擎，与微信生态无缝衔接。据悉元宝依托腾讯混元大模型和 DeepSeek 提供服务，支持聊天、答题。以联系人形式出现在微信通讯录，聊天时会显示 “对方正在输入...” ，还支持置顶，不过不能设为星标朋友或添加到手机桌面。此外，生成部分内容时会提供跳转页面，能跳

最近，DeepSeek 宣布了一项重要决定:将其自研的推理引擎进行开源，但并不会直接向公众开放完整的代码库。相反，他们选择与现有的开源项目 vLLM 合作，致力于分享核心的优化成果。这一举动旨在解决开源社区中普遍存在的代码库分歧、基础设施依赖及维护资源有限等难题。图源备注：图片由AI生成，图片授权服务商MidjourneyDeepSeek 计划提取出可复用的特性，并将这些优化细节贡献给 vLLM，从而推动整个社区项目的性能提升。值得一提的是，早在此前，vLLM 就已经吸收了 DeepSeek 的一些优化，

备受瞩目的国内人工智能企业智谱华章（以下简称“智谱”）近日正式宣布，开源其新一代 GLM 系列大语言模型。此次开源力度空前，不仅包含 32B 和9B 两种参数规模的模型，更涵盖了 基座模型、推理模型以及代表未来探索方向的沉思模型。所有开源模型均遵循 宽松的 MIT 许可协议，为开发者提供了极大的自由度和商业应用的可能性。与此同时，该系列模型已通过智谱全新平台 Z.ai 免费开放体验，并同步上线 智谱 MaaS 平台 （bigmodel.cn）。开源赋能:技术普惠与创新加速本次智谱开源的 GLM 模

在快速发展的语言模型领域，研究人员和组织面临着诸多挑战。这些挑战包括提升推理能力、提供强大的多语言支持以及有效管理复杂的开放任务。尽管较小的模型通常更容易获得且成本较低，但在性能上往往不及更大的模型。因此，开发中型模型以有效平衡计算效率与强大的推理及指令跟随能力，成为了当前的趋势。近日，清华大学发布了 GLM4，特别是其 GLM-Z1-32B-0414变体，有效应对了这些挑战。GLM4在一个包含15万亿个标记的大型数据集上进行训练，旨在提供可靠的多语言能力，并引入了

在人工智能领域，随着 OpenAI 的 o1和 DeepSeek 的 R1模型受到广泛关注，大语言模型（LLM）的推理能力和测试时扩展(TTS)技术引发了众多研究者的兴趣。然而，在处理复杂推理问题时，如何准确评估模型每一步的回答质量，依然是一个亟待解决的难题。为此，清华大学与上海 AI Lab 共同提出了生成式过程奖励模型(GenPRM)，为过程监督推理提供了创新解决方案。传统的过程奖励模型（PRM）虽然能够验证推理步骤的正确性，但由于采用了标量评分机制，难以捕捉深层次的逻辑错误。此外，PRM 的判别式