2月初有消息称阿里巴巴拟以100亿美元估值投资DeepSeek，认购10%股权，但随后阿里副总裁颜乔在朋友圈、社交平台及媒体采访中明确表示，相关投资消息为假消息。他称“同为中国杭州企业，我们为DeepSeek鼓掌，但外界流传的阿里投资信息不实”。阿里 ...

形式化数学是指使用严格的数学语言和逻辑系统来描述和推理数学概念、定理和证明的过程。著名数学家陶哲轩就认为，形式化数学和AI的结合将使数学研究更加高效、协作和规模化。他乐观地预测，未来数学家可以在AI的辅助下，一次性证明数百或数千条定理。

值得注意的是，2025年年初“国补”政策扩容至手机品类。在当前国家补贴政策的支持下，3300多元被视为购买手机的黄金价格区间。苹果公司将iPhone ...

作为劳斯莱斯的首款纯电车型，闪灵此前已经成功验证了电机与超豪华之间的兼容性。现如今，新发布的闪灵 Black Badge，则以需求为先的创新思路，进一步改写了传统超豪华汽车的开发逻辑。

据雷峰网近日披露，京东秒送餐饮外卖单量在2024年10月达峰值，日单量突破40万单。不过在2025年1月降低补贴之后，京东餐饮外卖日单量回落到2万单，仅为高峰期的5%。

以去年三季度为例，小米全球出货量达4280万台，能够达到国内1020万台出货量的约四倍。而从华为独立出来的荣耀，同样也在加速海外扩张，曾在2023年将欧洲作为“第二本土市场”进军，而在2024年底基本实现了海外手机销量和国内的持平。

2000年，如今的浙江大学智能系统与控制研究所机器人实验室主任、当时还是浙大工业控制所实验员的熊蓉，就开始带领学生参加国内外机器人比赛，然后扎根机器人领域至今，不但多次赢得机器人世界杯冠军，还创办机器人创业公司迦智科技，推动产学研协同发展。

2025年，阿里电商事业群优先级最高的战略是 “增长”，后续的组织、策略调整都会围绕其展开。而这次增长战略最大的不同是，内部认为阿里应该更开放，具备全域意识，协助品牌尤其是中小品牌商家在全网做大，阿里的收入自然也会提升。

2022年7月以来，在人社部指导下，美团率先启动新就业形态人员职业伤害保障试点，已出资14亿为7个试点省市的全量骑手缴纳职业伤害保费，未来将进一步覆盖所有省市所有骑手。

2018年，东山精密曾公告称，拟与袁永刚或其控制的公司、及其他资金方组成联合收购主体，受让安世半导体第一大投资人合肥广芯所持有的股份。并且，袁永刚很早就在为这场并购做准备。

如果消息属实，iPhone 17 将沿用药丸状凸起，内置两个垂直排列的后置摄像头。这意味着标准版 iPhone 17 在外观上可能是今年发布的新机型中变化最小的。 Notice: The content above (including the ...

越疆机器人（Dobot Robotics）则是全球协作机器人行业的佼佼者，更是AI+协作机器人的先驱。自2015年成立以来，越疆凭借强大的自主研发能力，推出了包括CRA系列、CRS系列、、Nova、MG400、M1 ...