DeepSeek 发布 Prover-V2 模型；小米首个推理大模型开源；饿了么宣布超百亿补贴加入外卖战局
据悉，DeepSeek-Prover-V2-671B 使用了更高效的 safetensors 文件格式，并支持多种计算精度，方便模型更快、更省资源地训练和部署，参数达 6710 亿，或为去年发布的 Prover-V1.5 数学模型升级版本。在模型架构上，该模型使用了 DeepSeek-V3 架构，采用 MoE（混合专家）模式，具有 61 层 Transformer 层，7168 维隐藏层。同时支持超长上下文，最大位置嵌入达 16.38 万，使其能处理复杂的数学证明，并且采用了 FP8 量化，可通过量化技术减小模型大小，提高推理效率。（来源：新浪科技）
4 月 30 日消息，小米大模型团队通过「Xiaomi MiMo」公众号宣布，小米开源首个「为推理而生」的大模型 Xiaomi MiMo，联动预训练到后训练，全面提升推理能力。据介绍，MiMo 是来自全新成立不久的「小米大模型 Core 团队」的初步尝试。
官方表示，MiMo 推理能力的提升，由预训练和后训练阶段中数据和算法等多层面的创新联合驱动，包括：
训练：进行了三阶段训练，逐步提升训练难度，总训练 25T tokens。
可生成 AI 播客：谷歌 NotebookLM 音频概览功能新增 76 种语言支持，包含中文
4 月 30 日消息，谷歌宣布其基于人工智能的笔记和研究助手工具 NotebookLM 的「音频概览（Audio Overviews）」功能新增 76 种语言支持。该功能于去年推出，旨在通过人工智能虚拟主持人根据用户上传到 NotebookLM 的文档（如课程阅读材料或法律摘要）生成播客，帮助用户以另一种方式理解和消化文档中的信息。
谷歌表示，此前「音频概览」功能仅支持用户账户所设置的首选语言。如今，公司新增了「输出语言」选项，用户可以自由选择生成「音频概览」的语言。谷歌强调，用户可以随时更改语言设置，这样就能根据需要轻松创建多语言内容或学习材料。
谷歌在一篇博客文章中举例说明了这一功能的实用性：「例如，一位准备关于亚马逊雨林课程的教师可以与学生共享多种语言的资源，比如葡萄牙语纪录片、西班牙语研究报告和英语学习报告。学生们可以将这些资料上传到 NotebookLM，并在他们偏好的语言中生成关键要点的音频概览。」（来源：IT 之家）
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 亿美元，预估 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 图像。
用户可以使用 Blender 中的 3D 对象（如建筑物、植物、动物和车辆）绘制场景，然后将其用作创建 2D 图像的参考。用户可以手动调整观看位置或某些对象应放置的位置，与仅使用文本描述相比，这种方法在生成 2D 图像时可以提供更多细节控制。
例如，如果你脑海中有一个非常具体的城市图像——建筑物的形状和高度，显示的树木或汽车数量，甚至你观看的角度，此时就可以使用该工具在 Blender 中手动创建一个大概的样子。（来源：IT 之家）
消息称 Meta 第三代雷朋联名智能眼镜将于 10 月发售，配单色显示屏及手环控制器
据彭博社报道，Meta 旗下第三代 Ray-Ban 雷朋联名智能眼镜将于今年 10 月发售，目前 Meta 已安排部分员工在周末加班，加班加点研发这款设备。
该眼镜相比前两代最大的特色就是配备了一块单色（预计为绿色）显示面板，同时带有可以佩戴在手腕上的「手环」风格控制器，定价在 1000 至 1400 美元（IT 之家注：现汇率约合 7274 至 10184 元人民币）之间。
据悉，第三代雷朋联名智能眼镜将内置相机、照片、地图等应用，同时还支持快速查看来自手机应用的通知。该眼镜内置安卓系统，但无法安装第三方 App，同时眼镜的各项功能将「严重依赖手机」。 Meta「内部人士」透露，第三代雷朋联名智能眼镜拍照质量将「媲美 iPhone 13」。（来源：IT 之家）
从预告海报可以看到，荣耀手表全新系列将包含两款产品，一款是硬朗风格，另一款是圆润风格。
外观方面，新品提供棕色和黑色两款配色，手表屏幕覆盖蓝宝石玻璃，表壳则采用钛合金材质，这款新品的续航时间据称可以达到 15 天。
功能上，新品支持自由潜水等 100 多种运动模式，支持快速健康扫描、健康早晨报告以及全天健康追踪等。（来源：IT 之家）
美国纽约大都会运输署（MTA）表示，其正在探索使用人工智能系统对该市地铁站台上的犯罪和危险行为进行「预测性预防」。
MTA 首席安全官迈克尔・肯珀（Michael Kemper）表示，该机构正在「研究并试点使用人工智能等技术，以感知地铁站台上可能出现的麻烦或不当行为」。他在周一的 MTA 安全委员会会议上解释说：「如果有人行为异常、失去理智，这可能会触发警报，从而促使安保人员或警方采取行动。」他强调，警方可能会「在事情发生前」就做出反应。
肯珀补充道：「人工智能是未来。」他提到，MTA 目前正在与科技公司合作，研究「什么样的技术可以在地铁系统中发挥作用」。不过，他并未透露 MTA 正在与哪些公司合作，人工智能将如何实施，以及人工智能摄像头将被期望检测到的具体行为类型。（来源：IT 之家）
04月30日，佛山发出首张双皮奶食品生产许可证，金沙快速注册，永利官网正网，利来国际，金沙国际线日，外媒：以色列袭击黎巴嫩提尔市 致5人死亡10人受伤，08登录官网，皇冠免费试玩，精大细算精版，opebet体育eapp
04月30日，湖南东安机械化播种油菜 让农闲田不再闲，yb官网登录，万博manbetx体育官网，十大网投平台信誉排行榜最新，乐鱼全站官方首页
04月30日大湾区中欧班列开行数连创新高 “班列+”成创新密码万博手机版登录网页澳门永利贵宾下载可以赚钱的小游戏捕鱼雷速体育首页官网
04月30日聚焦APEC中国工商理事会：香港如何“链”通世界？金冠棋牌娱乐官网0292m6米乐官网注册就送168元葡京体育电子网投
04月30日陕西西安：“国宝”大熊猫冒雪“干饭”威廉希尔亚洲凤凰彩票备用网址ag进不去幸运快三官方……
04月30日，中国各地文旅借《黑神话：悟空》热度上演“七十二变”，金沙赌玚官方网址，牛牛赌场网，MG技巧及建议，斗球体育官网版
04月30日，福州：市民“大众茶馆”尽享假日美好时光，体球网新版手机即时比分，白菜网址送彩金大全，最新凯时app下载，天天体育平台官网入口
04月30日湖南凤凰古城迎客流高峰 水上舞蹈演绎《边城》故事ManBetx注册彩金美高梅网站是什么杏彩平台app正规买球app十佳平台
04月30日，2023年青海省PM2.5平均浓度同比下降5%，凤凰彩票娱乐官网，开元体育官网app，欧洲杯体育APP，必威官网登录手机号
04月30日，外国专家在广西迎新春 盼新年“天天向上”，火狐体育APP，捕鱼怎么注册新账号注册，365bet客户端官网下载，奥门皇冠游戏
04月30日，鲍威尔称美联储降息时机已到，压球的app，下载金沙电玩城app，乐博开户网址，欢乐斗牛苹果版
04月30日山西大同：国内外航模高手竞逐蓝天云顶娱乐官方网站登陆贝博手机登录网页hg体育投注真钱金沙下注网址
04月30日迎世界读书日 北京将开展772场阅读活动优德体育网址大全jdb财神捕鱼红包1000倍下载球盟会娱乐官网网址天博综合体育官方app下载旧版本
04月30日水利部针对8省启动干旱防御Ⅳ级应急响应ca88网站必威体育竞技博鱼体育平台网址众博娱乐
穆祉丞个人舞台3D，中国正考虑采取一揽子措施稳定股市看图学习丨彰显新时代中国力量、中国精神、中国形象 为他们点赞永利皇宫安卓下载app网上猜球米乐官方入口博乐体育黑吗
韩国博主在印度搭便车遭绑架，月光花谋杀案江西南昌做优生态旅游 湾里梅岭获评国家级旅游度假区澳门的游戏网站线上真人登录分分彩app下载必赢亚洲网页版下载
韩国特战队翻墙不如李在明，拜登称日本印度排外湖北省人民检察院立案侦查的干永平涉嫌徇私枉法案移送审查起诉开博体育app首页下载博鱼最新版APP开元棋脾788vipMG电子
王楚钦4比2雨果，奔跑吧送全员小卡大会观察：世界传统医药如何深化国际交流合作？789mmm一分快三彩票首页云开体育网页版入口欧洲杯2019赛程直播
森林北报案，逆天奇案2宁夏回族自治区十三届人大二次会议开幕火狐体育最新版ios云顶赌博在线谁有mg赌场的网青鹏棋牌
免费领养猫的真相或是贷款买猫，你结婚时用的什么婚车？“哈尔滨文旅补贴旅游团费政策” 为不实消息12bet手机版千赢网上平台官网下载博远棋牌平台有个买球的app叫伟德
MG线TVB颁奖典礼，李行亮指的是葛夕河南光山：油茶花开 漫山染“雪”天亚娱乐官网首页英皇体育网站是什么米乐m6这个平台靠谱吗哪个平台买球