一分钟速览新闻点！
小米王化辟谣 YU7 推迟发布：上市时间依旧是 6-7 月
达闼创始人辟谣传闻：未来聚焦人形机器人、保留核心团队
小红书将取消大小周，五一之后执行
微信加好友能加图片备注了，目前在灰度测试中
台积电宣布下一代 A14 制程技术将于 2028 年投产
华人 CEO 上任第二把火，Intel 将宣布裁员 20%：超 21000 名员工失业
OpenAI 新模型 GPT-4.1 可靠性遭质疑：独立测试显示其对齐性下降
欧盟对苹果、Meta 开出首张 DMA 罚单，共计罚款 7 亿欧元
马斯克麾下 Neuralink 据悉计划以 85 亿美元的估值融资
法庭听证会透露 Google Gemini 每月拥有 3.5 亿用户
消息称 OpenAI 计划今夏初发布开源语言模型，目标：超越同类推理能力
微软修复 Windows Server 2025 蓝屏、开机 / 重启需 3 小时等故障
智元机器人发布并开源仿真评测工具 Genie Sim Benchmark
苹果停止签署 iOS 18.4，已升级 iPhone 用户无法再降级
小米王化辟谣 YU7 推迟发布：上市时间依旧是 6-7 月
达闼创始人辟谣传闻：未来聚焦人形机器人、保留核心团队
展开剩余76%
小红书将取消大小周，五一之后执行
微信加好友能加图片备注了，目前在灰度测试中
台积电宣布下一代 A14 制程技术将于 2028 年投产
华人 CEO 上任第二把火，Intel 将宣布裁员 20%：超 21000 名员工失业
OpenAI 新模型 GPT-4.1 可靠性遭质疑：独立测试显示其对齐性下降
欧盟对苹果、Meta 开出首张 DMA 罚单，共计罚款 7 亿欧元
马斯克麾下 Neuralink 据悉计划以 85 亿美元的估值融资
法庭听证会透露 Google Gemini 每月拥有 3.5 亿用户
消息称 OpenAI 计划今夏初发布开源语言模型，目标：超越同类推理能力
微软修复 Windows Server 2025 蓝屏、开机 / 重启需 3 小时等故障
智元机器人发布并开源仿真评测工具 Genie Sim Benchmark
苹果停止签署 iOS 18.4，已升级 iPhone 用户无法再降级
国内要闻
小米王化辟谣 YU7 推迟发布：上市时间依旧是 6-7 月
近日，关于小米YU7是否会参展的话题引发热议。4月23日，2025上海车展在国家会展中心（上海）举行，小米SU7、SU7 Ultra参展，YU7并未参展。4月23日下午，小米公关部总经理王化发文：“这是小米汽车首次参加上海车展，也是第一次我以参展商的身份来到这个城市。今天早上八点展位就开始排队了看图1 。忙完上午的接待好容易喘口气，这会儿我看了下依然很多人。”
王化还表示：“刚刚还有媒体朋友反馈，外媒报道YU7推迟发布，甚至有说年底才发布的信息，真是哭笑不得。我们的YU7上市发布时间并未改变，依然是之前雷总预告的今年6-7月。”（潇湘晨报）
达闼创始人辟谣传闻：未来聚焦人形机器人、保留核心团队
据报道，曾估值近200亿元的老牌机器人独角兽达闼，深陷负面舆论的泥沼。大规模裁员、欠薪纠纷、司法案件等问题接踵而至，甚至一度传出倒闭的谣言。近日，达闼与香港上市公司国华集团达成合作，成立港仔机器人公司。在国华与达闼战略合作暨港仔机器人公司成立媒体见面会上，达闼机器人创始人、董事长兼CEO黄晓庆表示，公司估值越高，投资人因对行业了解有限，缺乏培养行业冠军的长远眼光，投资意愿便越低。像达闼这样历经长期研发，积累深厚的企业，进一步研发急需资金支持。
针对上海 “人去楼空” 的传言，黄晓庆解释道：“上海项目确实出现了一些波折，但绝非‘人去楼空’。实际上，我们在其他地方迎来了更广阔的发展机遇。基于公司发展战略，我们对人员进行了合理管理，目前仅保留了最核心的业务研发团队，以确保公司核心竞争力不受影响。”（网易科技）
小红书将取消大小周，五一之后执行
据媒体报道称，据知情人士透露，小红书宣布取消大小周，五一假期之后执行。此前，2021年6月24日，快手宣布从7月1日起取消大小周，员工按需加班，公司按照相关规定向员工支付加班工资。7月9日，字节跳动发布全员邮件，宣布将从8月1日起取消大小周，8月开始有需求的团队和个人，可通过系统提交加班申请。（新浪科技）
微信加好友能加图片备注了，目前在灰度测试中
据报道，4月22日上午，微信iOS平台8.0.59正式版更新“突袭”上线。在之前的版本中，申请添加朋友时，只能输入文字描述。但是在iOS 8.0.59正式版中，新增“添加图片”选项，支持添加图片验证。目前这处调整在灰度测试中，仅有少许用户能使用，不知何时会正式上线。
同样是一处灰度测试的新功能，在添加新的好友后，如果对方发来的消息是一张图片，那么这张图片的下方，会出现“将图片添加到备注”的提示。添加至好友的备注中。（财经网科技）
台积电宣布下一代 A14 制程技术将于 2028 年投产
台积电表示，其下一代A14制程旨在通过提供更快的计算和更高的能效来推动人工智能（AI）转型。该公司周三表示，该制程技术计划于2028年开始生产。该新制程技术还有望通过提高智能 手机的板载AI能力来增强智能手机功能，并有助于高性能计算解决方案和新汽车功能的开发。
该公司表示，与将于今年晚些时候量产的N2制程相比，A14将在相同功耗下提升高达15%的速度，或在相同速度下降低达30%的功率，同时逻辑密度提高20%以上。该技术将提升这家芯片制造商的能力，因其目标是保持在行业的最前沿。截至发稿，台积电上涨4.1%，至157.56美元。
国际要闻
华人 CEO 上任第二把火，Intel 将宣布裁员 20%：超 21000 名员工失业
4月23日消息，Intel首位华人CEO陈立武（Lip-Bu Tan）自3月18日上任以来，对公司进行了大刀阔斧的改进。据知情人士透露，Intel公司将于本周宣布一项新的裁员计划，裁减超过20%的员工。
据知情人士透露，埃隆·马斯克麾下脑机接口公司Neuralink计划以85亿美元的估值融资约5亿美元。其中一位知情人士表示，该公司已与潜在投资者就本轮融资展开初步讨论。所有知情人士均要求匿名。
其中一位知情人士还指出，目前所谈判的条款暗示本轮融资后的估值为90亿美元，但交易细节尚未最终敲定，仍可能发生变化。根据PitchBook数据，截至2023年11月，Neuralink的估值为35亿美元。该公司由Jared Birchall担任首席执行官，他还协助管理马斯克的家族办公室，并在其他马斯克关联企业中担任职务。
法庭听证会透露 Google Gemini 每月拥有 3.5 亿用户
根据Google正在进行的反垄断诉讼中披露的内部数据，截至 3 月份，Google的人工智能聊天机器人 Gemini 在全球每月拥有 3.5 亿活跃用户。《The Information》首先报道了这一统计数据。
Google人工智能产品的使用量在去年呈爆炸式增长。根据Google的数据，Gemini 在 2024 年 10 月的日活跃用户仅为 900 万，但上个月，该公司的日活跃用户已达 3500 万。然而，Gemini 仍然落后于业界最受欢迎的人工智能工具。根据Google在法庭上展示的数据，该公司估计 ChatGPT 在 3 月份的月活跃用户约为 6 亿。这使得 ChatGPT 的用户群与 Meta AI 相当。Meta AI 首席执行官马克·扎克伯格在 9 月份表示，其月活跃用户已接近 5 亿。（cnBeta）
消息称 OpenAI 计划今夏初发布开源语言模型，目标：超越同类推理能力
近期，OpenAI 宣布了一项备受瞩目的计划，即在今年夏季初推出自 GPT-2 之后的首个开源语言模型。这一消息引发了业界的广泛关注，关于该模型的细节也逐渐被披露。
据知情人士透露，OpenAI 研究副总裁 Aidan Clark 正亲自挂帅，领导这一开源模型的开发工作。尽管仍处于早期阶段，但公司对该模型寄予厚望，期望其在推理能力上能够超越现有的开源推理模型。值得注意的是，该模型将采用极为宽松的许可协议，几乎不对使用或商业化设置任何限制，这一举措显然是为了避免像 Llama 和谷歌的 Gemma 等开源模型因限制过多而引发的社区争议。（ITBEAR）
程序员专区
微软修复 Windows Server 2025 蓝屏、开机 / 重启需 3 小时等故障
微软于 4 月 22 日更新支持文档，修复 Windows Server 2025 已知问题，可能导致系统蓝屏、卡死或重启极度缓慢。微软支持文章明确指出，在高核心数设备（逻辑处理器超过 256 个）上，Windows Server 2025 可能无法正常运行。
智元机器人发布并开源仿真评测工具 Genie Sim Benchmark
4 月 23 日消息，智元机器人发布并开源基于仿真功能的模型评测和验证工具 Genie Sim Benchmark，专注为具身 AI 模型提供性能测试和优化支持。智元机器人表示，作为 Genie Sim（智元仿真平台）的开源评测版本，Genie Sim Benchmark 是智元继开源百万真机数据集和海量仿真数据集后，又一里程碑式的开源项目。Genie Sim 宣称能够还原机器人的操作环境，为多样化任务提供标准化的自动评测体系，衡量模型在各种场景下的表现，加速算法迭代流程，同时减少模型评测对昂贵物理硬件的依赖，降低测试成本。
苹果停止签署 iOS 18.4，已升级 iPhone 用户无法再降级
发布于：北京市
