下载专栏：电池公司转向AI，重写数学

这是MIT科技评论《下载》专栏的今日版，我们的工作日通讯，为您带来科技世界的每日动态。本期焦点包括电池公司为何转向AI，以及AI如何重写数学。

电池公司为何转向AI

Qichao Hu对电池行业的现状毫不掩饰。“几乎每一家西方电池公司要么已经倒闭，要么即将倒闭。这有点……”他的话直击要害。作为一家专注锂金属电池初创公司Sion Power的创始人兼CEO，Hu见证了行业剧变。

“几乎每一家西方电池公司要么已经倒闭，要么即将倒闭。它有点……”——Qichao Hu

电池行业正处于动荡期。电动汽车（EV）革命本应是西方企业的机遇，但现实残酷。中国企业如宁德时代（CATL）和比亚迪主导全球市场，凭借规模经济、低成本和供应链优势，占据80%以上份额。西方公司如QuantumScape、Solid Power等虽获巨额投资，却屡屡受挫：技术瓶颈、产量爬坡失败、生产成本高企，导致多家破产或濒临边缘。2025年数据显示，全球EV电池产能中，中国占比超90%。

Sion Power原本专注高能量密度锂金属电池，目标直指航空和EV应用。但Hu决定“转向”。公司正开发专为AI数据中心设计的电池系统。这些巨型数据中心消耗电量相当于一座城市，传统电网供电已捉襟见肘。AI训练如GPT模型需海量算力，电池储能成为关键。Hu认为，AI需求将驱动新一代电池创新：高功率密度、快速充放电、长寿命。

编者按：电池+AI的双重机遇

这一转向并非权宜之计，而是顺应大势。AI算力爆炸式增长——NVIDIA GPU出货量2025年超500万片——催生“数据中心电池”新赛道。特斯拉的Megapack已证明储能潜力，Sion Power的锂金属技术能量密度是锂离子电池两倍，可为AI集群提供不间断电源。风险在于技术成熟度：锂金属电池的枝晶问题仍需攻克。但Hu的乐观源于多年积累，Sion获NASA和空军投资，验证了其潜力。

更广视角下，这反映能源转型的“中美电池战”。西方需找准 niche市场，如AI基础设施，而非硬拼消费EV电池。中国主导量产，西方可领跑高端应用。投资者已响应：Sion近期获C轮融资，专注AI垂直领域。

AI重写数学：从证明到发现

本期另一亮点是AI重写数学。传统数学依赖人类直觉和漫长证明过程，但AI正加速变革。谷歌DeepMind的AlphaProof系统2024年证明国际数学奥林匹克金牌题，标志性突破。它结合语言模型与形式化验证工具Lean，生成并验证数千步证明。

数学“重写”不止证明，还包括自动化定理发现。MIT和Princeton研究者用Transformer模型从数论数据中挖掘新猜想，如Riemann假设变体。Lean 4.0生态正蓬勃：社区贡献超10万定理，AI辅助下，证明速度提升10倍。

背景知识：形式化数学源于20世纪逻辑危机，目标将所有数学转化为计算机可检验代码。Four Color定理1976年首用计算机，但耗时数月。如今，AI如FunSearch生成优化算法，应用于图论和组合数学。挑战在于泛化：AI擅长模式匹配，却难处理抽象创新。

编者按：AI数学革命的深远影响

这一趋势将重塑STEM教育和科研。学生可即时验证猜想，研究者聚焦高维问题。长远看，AI或解锁物理统一理论。但伦理隐忧浮现：谁拥有“AI证明”版权？依赖AI是否削弱人类洞见？乐观者认为，这是工具进化，如望远镜之于天文学。

展望2026，电池+AI融合将重塑能源格局，数学AI则开启“证明即代码”时代。科技世界瞬息万变，敬请关注下期《下载》。

本文编译自MIT Technology Review，作者Thomas Macaulay，2026-03-26。