ダウンロード・コラム：電池企業がAIに転向、数学を書き換える

これはMIT Technology Reviewの『ダウンロード』コラムの今日版で、テクノロジー世界の日々の動向をお届けする平日配信のニュースレターです。今回の焦点は、電池企業がなぜAIに転向しているのか、そしてAIがどのように数学を書き換えているのかです。

電池企業がなぜAIに転向しているのか

Qichao Hu氏は電池業界の現状について隠すところがない。「ほぼすべての西側の電池企業は、すでに倒産したか、倒産寸前です。それは少し……」彼の言葉は核心を突いている。リチウム金属電池に特化したスタートアップSion Powerの創業者兼CEOとして、Hu氏は業界の激変を目の当たりにしてきた。

「ほぼすべての西側の電池企業は、すでに倒産したか、倒産寸前です。それは少し……」——Qichao Hu

電池業界は激動期にある。電気自動車（EV）革命は西側企業にとってのチャンスとなるはずだったが、現実は厳しい。CATL（寧徳時代）やBYDなどの中国企業が世界市場を支配し、規模の経済、低コスト、サプライチェーンの優位性により80%以上のシェアを占めている。QuantumScapeやSolid Powerなどの西側企業は巨額の投資を獲得したものの、技術的なボトルネック、生産量の立ち上げ失敗、高い生産コストにより何度も挫折し、多くが倒産または瀕死の状態にある。2025年のデータによると、世界のEV電池生産能力において、中国の占有率は90%を超えている。

Sion Powerは元々、航空やEV用途を狙った高エネルギー密度のリチウム金属電池に特化していた。しかしHu氏は「方向転換」を決断した。同社はAIデータセンター向けに設計された電池システムを開発している。これらの巨大なデータセンターは都市一つ分に相当する電力を消費し、従来の電力網による供給では不十分になっている。GPTモデルなどのAI訓練には膨大な計算能力が必要で、電池による蓄電が鍵となる。Hu氏は、AIの需要が新世代の電池イノベーションを推進すると考えている：高出力密度、急速充放電、長寿命。

編集者注：電池+AIの二重の機会

この方向転換は一時的な策ではなく、大きな流れに沿ったものだ。AI計算能力の爆発的な成長——NVIDIA GPUの出荷量は2025年に500万個を超える——が「データセンター電池」という新しい競争分野を生み出している。テスラのMegapackはすでに蓄電の潜在力を証明しており、Sion Powerのリチウム金属技術はリチウムイオン電池の2倍のエネルギー密度を持ち、AIクラスターに無停電電源を提供できる。リスクは技術の成熟度にある：リチウム金属電池のデンドライト問題はまだ解決が必要だ。しかしHu氏の楽観主義は長年の蓄積に基づいており、SionはNASAと空軍から投資を受け、その潜在力を実証している。

より広い視点から見ると、これはエネルギー転換における「米中電池戦争」を反映している。西側はAIインフラなどのニッチ市場を見つける必要があり、消費者向けEV電池で正面から競争すべきではない。中国が量産を支配し、西側はハイエンド用途でリードできる。投資家はすでに反応している：Sionは最近、AI垂直分野に特化したシリーズCの資金調達を獲得した。

AIが数学を書き換える：証明から発見へ

今回のもう一つのハイライトは、AIが数学を書き換えていることだ。従来の数学は人間の直感と長い証明プロセスに依存していたが、AIが変革を加速している。GoogleのDeepMindのAlphaProofシステムは2024年に国際数学オリンピックの金メダル問題を証明し、画期的な突破となった。これは言語モデルと形式検証ツールLeanを組み合わせ、数千ステップの証明を生成し検証する。

数学の「書き換え」は証明だけでなく、定理の自動発見も含む。MITとPrincetonの研究者はTransformerモデルを使用して数論データから新しい予想を発掘し、リーマン予想の変種などを発見した。Lean 4.0エコシステムは繁栄しており：コミュニティは10万以上の定理を貢献し、AIの支援により証明速度は10倍向上した。

背景知識：形式数学は20世紀の論理危機に由来し、すべての数学をコンピューターが検証可能なコードに変換することを目標としている。四色定理は1976年に初めてコンピューターを使用したが、数か月を要した。現在、FunSearchなどのAIは最適化アルゴリズムを生成し、グラフ理論や組合せ論に応用されている。課題は一般化にある：AIはパターンマッチングに長けているが、抽象的な革新を扱うのは困難だ。

編集者注：AI数学革命の深遠な影響

このトレンドはSTEM教育と研究を再形成する。学生は推測を即座に検証でき、研究者は高次元の問題に集中できる。長期的には、AIは物理学の統一理論を解き明かすかもしれない。しかし倫理的な懸念が浮上している：「AI証明」の著作権は誰が持つのか？AIへの依存は人間の洞察を弱めるのか？楽観主義者は、これは望遠鏡が天文学にとってそうであったように、ツールの進化だと考えている。

2026年を展望すると、電池+AIの融合はエネルギーの構図を再形成し、数学AIは「証明即コード」の時代を開く。テクノロジーの世界は刻一刻と変化している。次回の『ダウンロード』にご期待ください。

本記事はMIT Technology Reviewより編訳、著者Thomas Macaulay、2026-03-26。