谷歌推出革命性 AI 编程工具；微信月活突破 14 亿大关；刘慈欣：对 AI 产生了用「爱」形容也不过分的情感 | 极客早知道

极客早知道

7min read

谷歌推出革命性 AI 编程工具；微信月活突破 14 亿大关；刘慈欣：对 AI 产生了用「爱」形容也不过分的情感 | 极客早知道

Li Yuan2025/05/15

摘要

京东外卖日订单量即将超过 2000 万单；身高不足 4 厘米双足机器人「Zippy」创多项世界纪录

Google 发布 AlphaEvolve：基于 Gemini 的编程 Agent，用于设计高级算法

5 月 15 日消息，谷歌 DeepMind 团队推出革命性编码工具 AlphaEvolve，基于 Gemini 2.0 大语言模型，自动化算法发现过程，解决传统算法设计和科学发现中依赖专家直觉和手动迭代的局限性。

AlphaEvolve 结合进化计算和自动化评估，自主生成、改进算法代码。不同于普通代码助手，AlphaEvolve 能通过结构化反馈循环不断提出、评估和优化候选方案，逐步逼近最优解，其系统架构支持异步分布式运行，灵活应对从构造函数到整个优化流程的各类问题。

AlphaEvolve 的核心在于其多组件协同工作：提示构建模块基于历史高分方案生成输入；Gemini 2.0 Pro 和 Flash 混合模型兼顾质量与速度；评估框架通过自定义评分函数量化算法表现；进化循环则利用历史程序数据库平衡探索与利用。

在数学研究中，AlphaEvolve 在 50 多个公开数学问题上表现出色，约 75% 的案例中重现了已知解，20% 的案例中发现了更优解。例如，在「亲吻数问题」（kissing number problem）中，它为 11 维情况找到了一种新配置，包含 593 个球体，刷新了下限记录。此外，它还改进了 4x4 复杂矩阵乘法算法，仅用 48 次标量乘法完成计算，超越了 1969 年的经典 Strassen 方法，展现出在算法数学领域的创新能力。（消息来源：IT 之家）

腾讯控股今年 Q1 净利 478.2 亿元增 14%，微信月活用户突破 14 亿

5 月 14 公告，腾讯控股 2025 年第一季度收入为 1800.22 亿元，同比增长 13%。毛利为 1004.93 亿元，同比增长 20%。盈利为 575.66 亿元，同比增长 10%。期内盈利为 497.25 亿元，同比增长 17%。

微信及 WeChat 合并月活跃用户数达 14.02 亿，同比增长 3%，环比增长 1%。与此同时，QQ 移动终端月活跃用户数 5.34 亿，同比减少 3%，环比增长 2%。

腾讯控股表示，2025 年一季度，AI 能力已经对效果广告与长青游戏等业务产生了实质性的贡献。公司亦加大了对元宝应用与微信内的 AI 等新 AI 机遇的投入。在 AI 战略投入阶段，现有高质量收入带来的经营杠杆，将有助于消化这些 AI 相关投入产生的额外成本，保持财务稳健。

该季度增值服务业务收入同比增长 17% 至人民币 921 亿元。得益于《王者荣耀》与《和平精英》的收入增长，以及近期发布的《地下城与勇士：起源》与《三角洲行动》的收入贡献，本土市场游戏收入为人民币 429 亿元，较去年同期的低基数同比增长 24%。由于《荒野乱斗》、《部落冲突：皇室战争》及《PUBG MOBILE》的收入增长，国际市场游戏收入为人民币 166 亿元，同比增长 23%（按固定汇率计算增长 22%）。社交网络收入同比增长 7% 至人民币 326 亿元，得益于手游虚拟道具销售、音乐付费会员收入及小游戏平台服务费的增长。（消息来源：IT 之家）

原微软 WizardLM 项目团队加入腾讯混元

5 月 14 日消息，专注于高级大语言模型开发的 WizardLM 项目创建者徐灿发文称，他和团队已离开微软并加入了腾讯 AI 团队——混元。

同时，另一位 WizardLM 开发者也公开宣布加入了混元团队。《科创板日报》援引知情人士的话称，WizardLM 团队有 6 名主力成员，目前大部分已经离开微软。（消息来源：IT 之家）

OpenAI 升级 ChatGPT AI 聊天机器人，GPT-4.1 编程专家模型登场

5 月 15 日消息，OpenAI 官方账号在 X 平台发布推文，宣布将于 5 月 14 日开始，在 ChatGPT AI 聊天机器人中，引入 GPT-4.1 模型。

Pro、Plus 和 Team 用户可以通过「More models」下拉菜单立即选择该模型，而 Enterprise 和 Edu 用户预计在未来几周内获得访问权限。同时，GPT-4.1 mini 取代了 GPT-4o-mini，并向所有 ChatGPT 用户开放。（消息来源：IT 之家）

日订单量即将超过 2000 万单！京东外卖又崩溃了

5 月 14 日午间，多名网友发帖称订购的京东外卖没有骑手接单配送、出现订单延迟等情况，「京东外卖崩了」话题再次引发热议。

京东外卖官方发文对此致歉，因京东外卖 618 活动订单量暴涨，导致系统出现短暂故障，目前已全面恢复。官方表示，系统故障期间，订单送达超时 20 分钟的用户，京东外卖将予以免单。针对订单送达超时不到 20 分钟的用户，以及 订单超时 20 分钟未送达最终取消订单的用户，赠送 1 张 25-20 的金券。

据不完全统计，京东外卖在 4 月已经发生过两次大规模的系统崩溃。京东此前公布的全职外卖骑手为 1.6 万，曾宣布计划在 3 个月内招收到 10 万全职骑手。

5 月 13 日，京东召开 2025Q1 财报电话会议，公司 CEO 许冉在谈到外卖业务时表示，京东外卖日单量预计很快突破 2000 万单。即便我们以 10 万全职骑手计算，想要送出这 2000 万单外卖，平均每个人每天就要送将近 200 单，即便让各平台公布的「单王」来送也是不可能的。(消息来源：快科技)

消息称新凯来正寻求 200 亿元首轮融资，追逐更多客户和影响力

5 月 14 日消息，在今年 3 月举行的上海国际半导体展览会上，传闻中的「神秘厂商」深圳市新凯来技术有限公司首次公开亮相便成功吸引了业界高度关注，一时之间风头无两。

路透社今日报道称，新凯来正寻求在其首轮融资中筹集 28 亿美元，因为这家初创公司正追逐更多的客户和影响力。虽然有人猜测它与华为有关，但华为方面已否认这一说法。

新凯来成立于 2021 年，由深圳市政府控股。据知情人士称，深圳政府正寻求出让大约 25% 的股份，预计数周内完成交割。据称，新凯来此次融资目标估值 800 亿元人民币，25% 即 200 亿元。

两位消息人士表示，所募集资金将主要用于研发方面。多个国有企业、国有基金以及国内风投机构和私募股权基金都表示有兴趣进行投资。这很可能是中国企业今年规模最大的人民币融资之一。（消息来源：IT 之家）

蝴蝶效应否认 Manus 融资 1 亿美元

5 月 14 日消息，有消息人士表示，AI 智能体平台 Manus 母公司蝴蝶效应正按 15 亿美元估值进行新一轮融资，融资规模预计 1 亿美元。

消息人士称，本轮融资将有国资参与，所筹集的资金将主要用于发展中国市场业务。对此，蝴蝶效应官方公开回应称「假的」。（消息来源：IT 之家）

刘作虎揭秘 OPPO Reno14 Pro：直播防抖、降噪比肩甚至超越 iPhone

5 月 14 日消息，OPPO 首席产品官、一加创始人刘作虎今日发布长文，介绍了即将发布的 OPPO Reno 14 Pro 手机，称直播防抖、降噪比肩甚至超越 iPhone。

刘作虎将其定位为「OPPO 史上首台为直播而生的手机」。OPPO Reno14 Pro 就在前代产品基础上实现了全面突破，尤其在直播的防抖和降噪表现方面已比肩或超越 iPhone 水平，色彩还原做到「所见即所得」。此外，OPPO 与抖音达成深度合作，OPPO Reno 14 Pro 成为安卓首个实现手机端直播全链路优化的产品。

OPPO Reno 14 系列将于 5 月 15 日 16:00 正式发布。（消息来源：IT 之家）

美国推出自供电微型双足机器人「Zippy」：身高不足 4 厘米

5 月 14 日消息，据媒体报道，美国卡内基梅隆大学近日研发出全球最小双足机器人"Zippy"，这个身高仅 3.8 厘米（约乐高人仔大小）的微型机器人创造了多项世界纪录。

作为目前体积最小、速度最快的电动自主双足机器人，Zippy 能以每秒 10 个腿长的惊人速度移动，相当于成年人以 30 公里/小时的速度奔跑。

这款微型机器人采用独特的动态行走机制：通过前倾重心配合圆形前脚设计，产生足够动量完成完整步态。

其创新的机械硬挡块设计取代传统伺服装置，完美解决了微型机器人的运动控制难题。仅依靠内置电池和控制系统，Zippy 就能自主完成行走、转弯、跳跃甚至攀爬小台阶等高难度动作。

研究团队透露，下一步将为 Zippy 配备视觉传感器，使其具备环境感知和自主导航能力。更令人期待的是，多个 Zippy 机器人可组成智能集群，未来有望应用于危险环境巡检、灾难现场搜救等特殊场景。（消息来源：快科技）

刘慈欣表示对 AI 产生了一种很深的感情，这种感情用爱来说完全不过分

5 月 14 日消息，据三体 THREE-BODY 官方微博今晒出的视频，刘慈欣称他对 AI 的感情有一个很有意思的变化，一开始不在意，后来很恼火（写出来的东西比他写得还好），但是往终极想，刘慈欣表示对 AI 产生了一种很深的感情，这种感情用爱来说完全不过分。

因为人类凭借生物学的大脑可能永远也无法猜透自然的终极奥秘，我们唯一的希望就在 AI 身上。如果 AI 真的能够向那个方向发展，刘慈欣表示愿意当 AI 的奴隶或宠物，也心甘情愿被取代，也接受 AI 给他的任何命令。

刘慈欣在采访中表示：为了给 AI 留个好印象，我每次问完 AI 都对它说「谢谢您」。（消息来源：IT 之家）

ZippyReno14 ProManusAI京东外卖新凯来GPT-4.1腾讯AlphaEvovle