OpenAI放弃营利性转型！奥特曼：非营利组织继续掌控；关税重压下Temu停运中国直邮美国商品；英伟...

正文

请到「今天看啥」查看全文

DOMESTIC NEWS

哪吒汽车APP、官网大面积瘫痪，知情人士：因流量欠费，假期无人看管

5月5日消息，有车主反馈，此前哪吒汽车App及官网出现的App断网、官网无法正常访问等问题已妥善解决，目前均已恢复正常使用。值得注意的是，一位不愿具名的知情人士透露“此次哪吒汽车App出现断网等问题，主要是流量欠费，假期无人看管造成的。”

此前，在五一节日期间，从部分车主发布的哪吒汽车App截图来看，有的车主无法登录App，页面显示“HTTP 502 Bad Gateway”的错误提示；有的车主虽能打开App，但汽车定位无法更新，充电提示和续航里程等信息也无法查看。实际上，早在今年1月和4月就已经出现过类似情况。

作为国内最早一批造车新势力车企，哪吒汽车也曾有过高光时刻。2022年，哪吒汽车以约15.21万辆的年销量登顶造车新势力榜首，力压“蔚小理”，成为国内车市的一匹“黑马”。然而，进入2023年，哪吒汽车销量出现大幅下滑，经营问题也逐渐显现。

2024年10月，哪吒汽车的经营困境进一步暴露，开始被曝出大规模裁员、降薪、拖欠供应商货款、停工停产等负面消息。同年12月，因公司战略调整，张勇不再担任CEO，转任公司顾问，方运舟临危受命，被推至幕前，出任公司CEO。方运舟曾感慨：“哪吒汽车一直在艰难地活着，在悬崖边。创业十年，经历过诸多黎明前的黑暗。”（快科技）

即时零售市场竞争升级，淘宝闪购提前4天上线

最近，淘宝天猫旗下即时零售业务"小时达"正式升级为"淘宝闪购"，并将联合饿了么深化联动协同。5月2日，原计划逐城上线的淘宝闪购，突然宣布在全国范围内提前上线，并在全国范围内发放大额外卖红包。这一决定比原定的5月6日提前了四天。

补贴和一口价商品的优惠力度之大，社交媒体上出现了大量“3块钱吃外卖”“1毛钱喝奶茶”的分享，奈雪的茶在淘宝闪购上线首日，订单增长超过200%。有淘宝相关人士曾在采访中表示：“消费者对淘宝闪购的超预期热情，是推动提前全量上线的关键因素。但同时，全国城市商户报名积极踊跃，也是关键因素之一。”

行业人士观点认为，淘宝闪购走了一条“轻资产重协同”的路径，整合饿了么、盒马及天猫的即时零售资源，打造“电商+本地服务”的融合生态。这使得传统电商的"远场"、社区团购的"中场"、即时零售的"近场"正在阿里生态内实现无缝衔接，无论是消费者的"三天计划性采购"与"30分钟应急需求"都可以被很好地满足。（电商报、中国基金报）

小米、华为、理想、蔚来、小鹏集体改口！多家车企“智驾”改名辅助驾驶

近日，小米官网及App订购页面，统一修改了有关智驾的措辞，将“智驾”更名为“辅助驾驶”。其中，小米SU7标准版搭载的Xiaomi Pilot Pro（不带激光雷达），改名为“小米辅助驾驶Pro”，此前为“小米智驾Pro”。而小米SU7 Pro、小米SU7 Max搭载的Xiaomi HAD（带激光雷达），改名为“小米端到端辅助驾驶，此前为“小米智驾Max”。按照小米官方的说法，端到端辅助驾驶支持车位到车位，上车就能用。

此前4月30日，华为常务董事、终端BG董事长余承东发科普视频，内容为一台智能辅助驾驶的汽车，它没有眼睛，遇到障碍物，它是如何发现并且避开的。在该视频中，余承东并未说“智驾”二字，而是用智能辅助驾驶替代，此前他都是使用“智驾”的说法。

据媒体获悉，2025 年“五一”假期期间走访多家热门新能源品牌门店并发现，“智能驾驶”这一曾经的“宣传C位”主打词，正逐渐淡出车企产品宣传的核心话术，甚至变成“你问我才说”的隐藏词汇。除极少数门店仍以“智能驾驶”为宣传口径外，理想、小米、蔚来、阿维塔、小鹏等多数车企门店在宣传产品时，均发生了较为明显的改变。（快科技、科创板日报）

蔚来人事调整：天津和大连公司总经理离职，蔚来乐道渠道架构加速融合

据媒体报道，蔚来近日宣布人事调整，原蔚来天津区域公司总经理顾月、原蔚来大连区域公司总经理宫得权因个人原因离开蔚来。两人离职之后，任命乐道天津区域公司总经理成龙兼任蔚来天津区域公司总经理，向蔚来联合创始人、总裁秦力洪和乐道汽车总裁沈斐双向汇报；任命乐道大连区域公司总经理李佳兼任蔚来大连区域公司总经理，向蔚来联合创始人、总裁秦力洪和乐道汽车总裁沈斐双向汇报。另外，蔚来还宣布了多个区域公司的人事调整。

整体来看，蔚来此次人事调整的思路是打通蔚来和乐道在渠道上的组织架构，以提升组织效率。自今年4月乐道汽车总裁艾铁成宣布离职，原蔚来能源业务负责人沈斐担任乐道汽车总裁之后，蔚来的人事调整频率明显加快。当时，乐道的研发、供应链、质量部门向蔚来CEO李斌汇报，营销体系向蔚来总裁秦力洪汇报，以灵活调度整合公司整体资源，提高运营效率。（新浪财经）

梁文锋和杨植麟再“撞车”，同时进军另一大模型赛道

继2月论文“撞车”之后，梁文锋和杨植麟又在另一个大模型赛道上相遇了。4月30日，DeepSeek上线新模型DeepSeek-Prover-V2，这是一个数学定理证明专用模型。Prover-V2的参数规模进一步扩展到671B（6710亿规模参数），相较于前一代V1.5版本的7B规模增加了近百倍，这让其在数学测试集上的效率和正确率更高。

巧合的是，4月中旬，月之暗面也曾推出一款用于形式化定理证明的大模型Kimina-Prover，这是Kimi团队和Numina共同研发的大模型，该产品也开源了1.5B和7B参数的模型蒸馏版本。该模型的miniF2F测试通过率为80.7%，PutnamBench测试成绩为10道题。

两者相比较，在miniF2F测试通过率以及普特南测试上，DeepSeek-Prover-V2的表现超过了Kimina-Prover预览版。值得注意的是，两家公司在技术报告中都提到了强化学习。比如DeepSeek的题目为《DeepSeek-Prover-V2：通过子目标分解的强化学习推进形式数学推理》，而月之暗面的题目为《Kimina-Prover Preview：基于强化学习技术的大型形式推理模型》。（凤凰网科技）

请到「今天看啥」查看全文