新华社:吃瓜 黑料 在线-黑料吃瓜黑料不打烊-AI早报 | 微信低调上线AI助手“元宝”；OpenAI发布新款模型o3和o4-mini|界面新闻 · 科技

OpenAI发布新款模型o3和o4-mini

4月17日，OpenAI发布新款模型o3和o4-mini ，首次能够智能地使用和组合ChatGPT中的所有工具——包括搜索网页、使用Python分析上传的文件和其他数据 、对视觉输入进行深度推理
，甚至生成图像。据介绍，这些模型经过训练 ，能够推理何时以及如何使用工具
，以正确的输出格式生成详细而周到的答案，从而解决更复杂的问题 。

微信低调上线AI助手“元宝”

4月16日 ，微信低调上线了AI助手“元宝 ”
。用户可以将它添加为好友
，即可直接在微信聊天界面与其进行互动。

根据官方介绍，“元宝
”是腾讯元宝APP入驻微信的AI助手 ，搭载混元和DeepSeek双模引擎，并无缝衔接微信生态 。它目前支持的核心功能包括：一键解析公众号文章
、图片和文档（100M以内）
，并支持对解读内容做各种智能互动，同时也支持日常陪伴互动
。“元宝”的初始语气偏向活泼逗趣风格 ，但用户也可以对语气进行调节。

人形机器人半马赛事规则公布：不在补给站换电将面临罚时

4月16日消息
，2025北京亦庄人形机器人半程马拉松举行在即，按照赛事规则 ，如果机器人不在补给站换电
，会面临相应的罚时 。如果比赛当中更换机器人，也会面临罚时
。

竞赛组副组长王国林表示 ，此次比赛采用综合计时的方式计算参赛队伍的最终成绩
，把从起点出发的时间，即到达终点的时间 ，以及可能违规的罚时时间加在一起
，综合的成绩作为最终成绩。这就有可能导致第一个到达终点的机器人，最终成绩未必是第一名 。

MiniMax-01系列模型入驻国家超算互联网

4月16日 ，据国家超算互联网消息，MiniMax-01系列模型入驻国家超算互联网。语言大模型MiniMax-Text-01、视觉多模态大模型MiniMax-VL-01现已入驻超算互联网AI开源社区
。MiniMax相关负责人表示
，未来会继续在超算互联网平台上线更多旗舰模型。

量子位智库：今年3月AI应用产品总新增下载超过1.6亿

量子位智库发布的《2025中国AIGC应用全景图谱报告》显示，2025年3月 ，AI APP产品总新增下载超过1.6亿
，平均每天有约2亿人在使用AI APP，共6款产品当月新增下载超千万 ，6款产品的平均DAU超过千万 。

2025年3月
，Web端AI产品访问总量超过6亿，总月活超过1.2亿 ，共11款产品总访问量超过千万
，20款产品MAU超过百万
。

报告认为，在第一轮洗牌之后 ，正在明确的AIGC应用创新趋势是一站式/全陪伴工具
，并且AI操作系统被视为下一代超级流量入口。

知名开源大模型平台Hugging Face进军机器人领域

当地时间4月15日，全球知名开源大模型平台之一Hugging Face宣布收购Pollen Robotics ，进军实体机器人领域 。此次收购的交易条款并未披露，但Pollen的大约20名员工将加入Hugging Face
。

Hugging Face联合创始人兼首席科学官Thomas Wolf表示
，开源模式是公司AI大模型库的核心，也将成为机器人战略的关键。此次收购让Pollen Robotics约20名员工加入HuggingFace ，成为其目前为止在人员规模上最大的一次收购 。

马斯克旗下xAI宣布上线Grok Studio

4月16日
，马斯克旗下xAI当地时间15日正式发布Grok Studio的首个版本，新增代码执行功能与Google云端硬盘支持
。Grok现已支持生成文档 、代码
、报告及网页游戏。Grok Studio会将用户的内容在独立窗口打开 ，让用户和Grok可以共同协作处理内容 。