7dbe
极客早知道 9min read DeepSeek 宣布 Prover-V2 模子;小米首个推理大模子开源;饿了么宣布超百亿津贴加入外卖战局 于程程 2025/05/01 摘要 可天生 AI 播客:谷歌 NotebookLM 音频概览功效新增 76 种语言支持,包括中文;Meta 宣布 2025 财年第 1 财季财报:营收 423.14 美元,同比增添 16% DeepSeek 宣布 Prover-V2 模子,参数目达 6710 亿 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 量化,可通过量化手艺减小模子巨细,提高推理效率。(泉源:新浪科技) 小米开源「Xiaomi MiMo」大模子:为推理而生,以 7B 参数逾越 OpenAI o1-mini 4 月 30 日新闻,小米大模子团队通过「Xiaomi MiMo」公众号宣布,小米开源首个「为推理而生」的大模子 Xiaomi MiMo,联动预训练到后训练,周全提升推理能力。据介绍,MiMo 是来自全新建设不久的「小米大模子 Core 团队」的起源实验。 在数学推理(AIME 24-25)和代码竞赛(LiveCodeBench v5)果真测评集上,MiMo 仅用 7B 的参数规模,逾越了 OpenAI 的闭源推理模子 o1-mini 和阿里 Qwen 更大规模的开源推理模子 QwQ-32B-Preview。 官方体现,MiMo 推理能力的提升,由预训练和后训练阶段中数据和算法等多层面的立异团结驱动,包括: 预训练:焦点是让模子见过更多推理模式 数据:着重挖掘富推理语料,并合成约 200B tokens 推理数据。 训练:举行了三阶段训练,逐步提升训练难度,总训练 25T tokens。 后训练:焦点是高效稳固的强化学习算法和框架 算法:提出 Test Difficulty Driven Reward 来缓解难题算法问题中的奖励希罕问题,并引入 Easy Data Re-Sampling 战略,以稳固 RL 训练。 框架:设计了 Seamless Rollout 系统,使得 RL 训练加速 2.29 倍,验证加速 1.96 倍。(泉源:IT 之家) 可天生 AI 播客:谷歌 NotebookLM 音频概览功效新增 76 种语言支持,包括中文 4 月 30 日新闻,谷歌宣布其基于人工智能的条记和研究助手工具 NotebookLM 的「音频概览(Audio Overviews)」功效新增 76 种语言支持。该功效于去年推出,旨在通过人工智能虚拟主持人凭证用户上传到 NotebookLM 的文档(如课程阅读质料或执法摘要)天生播客,资助用户以另一种方法明确和消化文档中的信息。 谷歌体现,此前「音频概览」功效仅支持用户账户所设置的首选语言。现在,公司新增了「输出语言」选项,用户可以自由选择天生「音频概览」的语言。谷歌强调,用户可以随时更改语言设置,这样就能凭证需要轻松建设多语言内容或学习质料。 谷歌在一篇博客文章中举例说明晰这一功效的适用性:「例如,一位准备关于亚马逊雨林课程的西席可以与学生共享多种语言的资源,好比葡萄牙语纪录片、西班牙语研究报告和英语学习报告。学生们可以将这些资料上传到 NotebookLM,并在他们偏好的语言中天生要害要点的音频概览。」(泉源:IT 之家) Meta 宣布 2025 财年第 1 财季财报:营收 423.14 美元,同比增添 16% 5 月 1 日新闻,Meta 公司4 月 30 日宣布博文,宣布了 2025 财年第 1 财季(阻止 3 月 31 日)的财报业绩,营收抵达 423.14 亿美元,同比增添 16%;净利润 166.44 亿美元,同比增添 35%。 Meta 在 2025 财年第 1 财季交出了一份亮眼的效果单。总营收抵达 423.14 亿美元(IT 之家注:现汇率约合 3078.03 亿元人民币),较去年同期的 364.55 亿美元增添 16%,若按牢靠汇率盘算,增添率更是高达 19%。 净利润从去年的 123.69 亿美元跃升至 166.44 亿美元(现汇率约合 1210.73 亿元人民币),增幅达 35%;每股摊薄收益(EPS)从 4.71 美元提升至 6.43 美元,增添 37%;运营利润为 175.55 亿美元,同比增添 27%,运营利润率从 38% 提升至 41%。 Meta 旗下应用家族(Family of Apps)的日活跃用户(DAP)平均达 34.3 亿,同比增添 6%;广告曝光量(Ad Impressions)同比增添 5%,每条广告平均价钱上涨 10%,推动广告收入抵达 413.92 亿美元,占总营收的绝大部分。 Meta AI 的月活跃用户靠近 10 亿,显示其在人工智能领域的快速结构。别的,公司现金流体现强劲,谋划运动现金流为 240.26 亿美元,自由现金流为 103.34 亿美元,现金及有价证券总额达 702.3 亿美元。(泉源:IT 之家) 微软第三季度营收 700.7 亿美元,高于市场预期 微软第三季度营收 700.7 亿美元,预估 684.8 亿美元;第三季度每股收益 3.46 美元;第三季度智能云营业营收 268 亿美元,预估 259.9 亿美元;第三财季云营收 424 亿美元,剖析师预期 422.2 亿美元;第三财季 Azure 增添对人工智能(AI)营业孝顺 16 个百分点,剖析师预期公司 15.6 个百分点。美股盘后涨超 6%。(泉源:新浪科技) 苹果加速印度结构,塔塔 / 富士康新工厂被曝组装生产 iPhone 16e 等机型 4 月 30 日新闻,路透社 4 月 29 日宣布博文,报道称苹果公司在印度南部的两家新工厂已启动生产。其中一家由塔塔电子(Tata Electronics)运营的工厂已最先生产老款 iPhone,而另一家由富士康(Foxconn)建设的工厂将在 5 月启动发货。 IT 之家援引博文介绍,位于印度南部泰米尔纳德邦霍苏尔(Hosur)的塔塔电子新工厂已于克日投产,首批生产线专注于生产老款 iPhone 型号。 而富士康在卡纳塔克邦班加罗尔投资 26 亿美元建设的新工厂,也将在数日内启动首条生产线。 据悉,该工厂每小时可生产 300 至 500 台 iPhone,首批产品包括 iPhone 16 和 16e 型号。新闻人士透露,该富士康工厂预计在 2027 年 12 月周全建成,届时将创立约 5 万个就业时机。(泉源:IT 之家) 新闻称宁德时代拟下月在港上市,或成四年来最大规模新股刊行 4 月 30 日新闻,据路透社援引两位知情人士新闻称,电池制造巨头宁德时代妄想于下月启动在香港的上市程序,预计将成为该市四年来规模最大的股票刊行。 新闻人士称,此次生意的建簿历程——即约请投资者对股权刊行举行投标的历程,预计将于 5 月 12 日起始的一周最先。此前尚有知情人士透露,此次刊行可能筹集至少 50 亿美元(IT 之家注:现汇率约合 363.71 亿元人民币)。 宁德时代未连忙回应置评请求。 其中一位新闻人士增补说,宁德时代建簿的规模和时间可能会爆发转变。 报道称,宁德时代此次登陆港股将成为近 4 年香港规模最大的一次上市。2021 年,快手通过首次果真募股筹集了 62 亿美元(现汇率约合 451 亿元人民币)。 宁德时代此前在一份羁系文件中体现,筹集的部分资金将用于在匈牙利建设一座价值 73 亿欧元(现汇率约合 604.72 亿元人民币)的电池工厂。(泉源:IT 之家) 饿了么宣布超百亿津贴加入外卖战局 外卖战场的热度再度加码。4 月 30 日,饿了么宣布进一步加大平台津贴力度,克日起开启平台「饿补超百亿」大促。针对津贴,饿了么体现不打竞争口水仗,「只发真福利」。现在,饿了么 App 已上线「超百亿」口令词入口。(泉源:富途牛牛) 英伟达新工具开放使用,可凭证 3D 场景建设 AI 图像,设置要求 RTX 4080 4 月 30 日新闻,英伟达推出了一款新工具,允许开发者首先在 3D 中建设图像,然后天生 AI 图像。 这个工签字为 Nvidia AI Blueprint for 3D-guided generative AI,4 月 30 日起即可下载,适用于配备 RTX 4080 GPU 或更高型号的盘算机,它通过将 Blender 的 3D 建模软件与 Black Forest Lab 的 FLUX.1 图像天生器毗连起来事情。 用户可以使用 Blender 中的 3D 工具(如修建物、植物、动物和车辆)绘制场景,然后将其用作建设 2D 图像的参考。用户可以手动调解寓目位置或某些工具应安排的位置,与仅使用文本形貌相比,这种要领在天生 2D 图像时可以提供更多细节控制。 例如,若是你脑海中有一个很是详细的都会图像——修建物的形状和高度,显示的树木或汽车数目,甚至你寓目的角度,此时就可以使用该工具在 Blender 中手动建设一个或许的样子。(泉源:IT 之家) 新闻称 Meta 第三代雷朋联名智能眼镜将于 10 月发售,配单色显示屏及手环控制器 据彭博社报道,Meta 旗下第三代 Ray-Ban 雷朋联名智能眼镜将于今年 10 月发售,现在 Meta 已安排部分员工在周末加班,加班加点研发这款装备。 该眼镜相比前两代最大的特色就是配备了一块单色(预计为绿色)显示面板,同时带有可以佩带在手腕上的「手环」气概控制器,定价在 1000 至 1400 美元(IT 之家注:现汇率约合 7274 至 10184 元人民币)之间。 据悉,第三代雷朋联名智能眼镜将内置相机、照片、地图等应用,同时还支持快速审查来自手机应用的通知。该眼镜内置安卓系统,但无法装置第三方 App,同时眼镜的各项功效将「严重依赖手机」。 Meta「内部人士」透露,第三代雷朋联名智能眼镜照相质量将「媲美 iPhone 13」。(泉源:IT 之家) 荣耀手表全新系列官宣,两款新品将至 在4 月 30 日下昼的荣耀 MagicBook Pro 16 2025 新品宣布会上,荣耀预告了荣耀手表全新系列。 从预告海报可以看到,荣耀手表全新系列将包括两款产品,一款是硬朗气概,另一款是圆润气概。 外观方面,新品提供棕色和玄色两款配色,手表屏幕笼罩蓝宝石玻璃,表壳则接纳钛合金材质,这款新品的续航时间据称可以抵达 15 天。 功效上,新品支持自由潜水等 100 多种运动模式,支持快速康健扫描、康健早晨报告以及全天康健追踪等。(泉源:IT 之家) 纽约地铁探索引入 AI 手艺:提前预警异常行为,预防犯法爆发 美国纽约大都会运输署(MTA)体现,其正在探索使用人工智能系统对该市地铁站台上的犯法和危险行为举行「展望性预防」。 MTA 首席清静官迈克尔?肯珀(Michael Kemper)体现,该机构正在「研究并试点使用人工智能等手艺,以感知地铁站台上可能泛起的贫困或不当行为」。他在周一的 MTA 清静委员会聚会上诠释说:「若是有人行为异常、失去理智,这可能会触发警报,从而促使安保职员或警方接纳行动。」他强调,警方可能会「在事情爆发前」就做出反应。 肯珀增补道:「人工智能是未来。」他提到,MTA 现在正在与科技公司相助,研究「什么样的手艺可以在地铁系统中施展作用」。不过,他并未透露 MTA 正在与哪些公司相助,人工智能将怎样实验,以及人工智能摄像头将被期望检测到的详细行为类型。(泉源:IT 之家) DeepSeek 小米 苹果