海外 下载专栏：电池公司转向AI，重写数学 MIT科技评论《下载》专栏今日版聚焦两大热点：电池行业面临西方公司集体凋零，一家电池企业果断转向AI算力领域；同时，AI正重塑数学证明方式，推动从形式化验证到自动化定理发现。本期探讨电池巨头Qichao Hu的直言不讳，以及AI如何颠覆传统 人工智能 电池技术 数学证明 数据中心 2026年3月27日 198
海外 下载：美国失火星生命领先，中国电池野心 本期《下载》聚焦两大科技热点：美国曾领跑火星生命搜寻，却被中国后来居上。2024年7月，NASA“毅力号”探测器在火星发现奇异岩石斑点，疑似微生物迹象，但中国“天问一号”与后续任务迅速跟进，抢占先机。同时，电池领域传来激进声明，宣称实现超长 火星生命 中国航天 电池技术 美中科技竞赛 2026年2月27日 254
