科技早报0501：神舟十九号宇航员出舱，饿了么启动百亿大促

在科技领域的最新动态中，神舟十九号载人飞船的三名航天员蔡旭哲、宋令东、王浩泽圆满完成了长达183天的太空任务后，于今日安全返回地球。他们在轨期间不仅进行了三次出舱活动，还成功安装了空间碎片防护装置，完成了多项舱内外设备的安装、调试与维护工作，为中国空间站的长期稳定运行积累了宝贵经验。尤为在一次出舱活动中，他们创造了航天员单次出舱活动时长的世界纪录。

在智能手机领域，有关苹果iPhone 17系列的最新消息引起了广泛关注。据YouTube频道AppleTrack曝光的机模显示，iPhone 17 Air的厚度将达到创纪录的5.5毫米，尽管在USB-C接口位置和扬声器设计上有所妥协，但其超轻薄的设计仍然令人瞩目。而iPhone 17 Pro系列则以其独特的后置“camera bar”设计成为最大亮点。

小米科技在人工智能领域也取得了显著进展。该公司近日开源了名为“Xiaomi MiMo”的大模型，该模型专为推理而生，仅凭借7B的参数规模，就在数学推理和代码竞赛的公开测评中超越了OpenAI的闭源推理模型o1-mini以及阿里更大规模的开源推理模型QwQ-32B-Preview。

DeepSeek-Prover-V2-671B这一新模型的开源发布也为人工智能领域注入了新的活力。该模型采用了更高效的safetensors文件格式，并支持多种计算精度，使得模型的训练和部署更加快速且节省资源。

在智能手机市场，REDMI红米手机也传来好消息。其最新发布的Turbo 4 Pro手机电池容量高达7550mAh，不仅能够满足用户长时间使用的需求，还能够携带上飞机，为用户出行提供了更多便利。

汽车领域同样不乏亮点。2026款零跑C10正式开启预售，该车搭载了同级唯一的爆胎稳定控制系统，电机峰值功率提升至220kW，零百加速时间仅需5.9秒。纯电车型还基于全域800V高压快充平台打造，续航里程高达605km。

在游戏领域，《黑神话：悟空》也迎来了好消息。此前在TGA 2024上获得的奖杯终于邮寄到了游戏科学手中，并在艺术展上进行了展出，替换掉了原本的纸卡。

在新能源汽车市场，鸿蒙智行旗下的问界新M5 Ultra汽车也备受瞩目。该车大定订单已突破1.5万台，并针对等车超10周的用户推出了关爱计划，超一天补贴200元，至高补贴可达10000元。

在操作系统方面，Android也即将迎来大规模更新。此次更新将对快速设置和其他区域应用背景模糊效果，音量调节滑块将变得更加细腻，状态栏也将采用新的图标和字体，为用户带来更加流畅的使用体验。

在外卖领域，美团和饿了么也展开了激烈的竞争。美团自5月起免除了骑手的外卖柜使用费，为骑手提供了更多便利。而饿了么则启动了“超百亿”大促活动，承诺只发真福利，吸引了大量用户的关注。

最后，在汽车制造领域，东风日产针对其纯电新车N7与某知名车型的关系进行了回应。东风日产表示，N7是其全栈自研天演架构下的首款车型，核心部件设计与该知名车型完全不同，展现了东风日产在新能源汽车领域的自主研发实力。