AI闯入数学证明现场:“第四次危机”争论什么?
AI已能解奥赛题、批量生成数学手稿,却仍难跨越“人类能否理解”的门槛。数学家集体发声,争论焦点不是机器,而是数学该如何被对待。
评测的公信力困局:从纸尿裤到刹车测试,行业牌坊为何接连塌方
纸尿裤“甲醛超标”与汽车刹车测试两起风波,把评测行业的老问题再次推到台前:方法不公开、利益不切割,结论就难以服众。评测不会消失,但必须重建规则。
暴雪《暗黑破坏神 V》开启首轮动画拍摄,2029 年春季发售窗口未变
导演尼尔·大卫·卡特晒出摄影棚照片并配文“First shoot #Diablo5”,《暗黑破坏神 V》过场动画进入首轮拍摄阶段。官方确认游戏计划 2029 年春季推出,玩法细节仍未公开。
比亚迪第三代唐四驱版申报:双电机215/300kW,四季度上市
工信部第412批公示显示,比亚迪第三代唐EV双电机四驱版完成申报,前电机峰值215kW、后电机峰值300kW,车长5045mm、轴距2950mm,仍计划四季度上市。
任丘锂钠混合储能样本落地:大电芯竞争逻辑为何转向“系统可算性”
河北任丘100MW/400MWh独立储能项目成为全国首批“磷酸铁锂+钠离子”双技术路线试点,磷酸铁锂标段由远景中标并搭载790Ah电芯。在容量电价与涉网考核双重收紧下,大电芯的竞争正从“比容量数字”转向“比系统是否算得过来”。