AIの電力ボトルネックが工場に移る中、SpaceXがタービンブレードの鋳造に参入

SpaceXは、Elon Muskによればガス発電設備の導入遅延を最大18カ月短縮できるタービンブレード事業を構築している。この動きは、AIインフラ競争における明確な逆転を示している。チップは依然として不足し高価だが、それらのチップをいつ稼働させられるかは、ますます電力設備によって決まるようになっている。

報じられたテキサス州バストロップの工場では、大型産業用ガスタービン向けのブレードとベーンを鋳造する見通しだ。こうした精密部品はエンジン内部で最も高温になる領域に配置される。最初の鋳造計画によると、Muskは2026年8月30日の報道後、この取り組みを認めた。

重要な比較対象は、もはやAI研究所同士ではない。業界が約束するコンピューティングの成長と、それを稼働させるために必要な物理的な製造システムとの比較である。Nvidiaがより高速なアクセラレーターを出荷しても、タービン、変圧器、パイプライン、あるいは許認可が遅れれば、そのハードウェアは稼働しないままとなり得る。

SpaceXによるタービンブレード製造は、異例の垂直統合でもある。外部サプライヤーの納期がMuskのAI向けスケジュールに合わなくなったため、打ち上げ企業が制約のある電力機器サプライチェーンに参入している。この選択は、SpaceXについて語るのと同じくらい、インフラ市場についても多くを物語る。

SpaceXがテキサスで実際に構築しているもの

SpaceXは単に発電機を購入しているのではない。その中でも特に製造が難しい部品の一つを自ら作ろうとしている。

報じられた事業の中心は、タービンブレードと固定ベーンだ。高温ガスがタービンを通過する際にブレードは回転し、ベーンは必要な角度へと流れを導く。その形状、冷却流路、コーティング、材料構造が、継続運転に耐えられるかどうかを決める。

SpaceXは、オースティン近郊の新しい産業用ガスタービンのブレード・ベーン生産ラインに関連する求人を掲載している。報じられた職種には、工場運営、材料工学、自動化、治具、高温超合金鋳造品の機械加工が含まれる。

こうした求人は、小規模な研究プロジェクトではなく産業プログラムを示唆する。鋳造事業の立ち上げには、鋳型、炉、冷却システム、検査、機械加工、コーティング、品質保証にまたがる工程管理が必要となる。使用可能な部品にするには、正しい形状で成形されるだけでは不十分で、複数の工程を満たさなければならない。

Muskは、これらの部品を内製化すれば、天然ガスタービンを最大18カ月早く稼働させられると述べている。この数値は依然として企業側の主張だ。SpaceXは、生産スケジュール、認定済みの生産目標、顧客リスト、あるいは予想される短縮効果に関する第三者検証を公表していない。

それでも時期は明確だ。元となる報道は2026年8月30日に出され、その後Muskが製造計画を公に認めた。これは、過去のSpaceXの材料研究プログラムが再発見されたものではない。現在の電力制約への直接的な対応として提示された。

Muskはこのプロジェクトを、より広範なエネルギー戦略にも結び付けた。SpaceXとTeslaはそれぞれ、年間100ギガワットの太陽光発電製造能力を目指していると述べた。太陽光発電を補完し再起動するため、今後数年間は天然ガスも必要になるとの見方を示した。

この位置付けは重要である。ガスを唯一の最終目的地ではなく、橋渡しと需給調整のための資源として捉えているためだ。太陽光発電は日照によって変動する一方、ガスタービンは需要が高まったときに運転できる、給電可能な電力を供給できる。

ただし、太陽光発電の製造能力は、実際に導入された発電容量と同じではない。工場、パネル、用地、送電、蓄電、系統連系設備、運転許認可などが、生産目標と利用可能な電力の間に存在する。

同じ区別は鋳造にも当てはまる。ブレードを製造しても、それだけで稼働する発電所が生まれるわけではない。ブレードはタービン設計に適合し、組み立て済みの機械に組み込まれ、準備された現地に到着し、試運転を通過しなければならない。

SpaceXには、要求の厳しい金属部品に関する経験がある。ロケットエンジンもまた、合金、コーティング、ターボ機械、製造システムを極限環境にさらす。この経験は信頼できる技術的基盤となるが、産業用電力機器に求められる認定の負担をなくすものではない。

ロケットエンジンは、長期間にわたって発電することを想定したガスタービンとは異なる運転サイクルと認証要件に従う。両分野で知見を移転することは十分にあり得る。しかし、実証済みの信頼性を移転するには、試験、データ、時間が必要だ。

したがって、この工場は物語の性質を変える。SpaceXはボトルネックを特定し、それに産業資源を投入した。同社が主張する速度でそのボトルネックを解消できるかどうかは、依然として中心的な未解決の問いである。

SpaceXのガスタービンは、すでに年単位で測られるサプライチェーンを狙う

タービン市場がAI投資のペースで拡大できないのは、重要部品が標準化されたコモディティでも、短期間で複製できる製品でもないためだ。

オークリッジ国立研究所は、タービンの納入期間がケースによっては5〜7年に及ぶと説明した。同研究所の2026年のサプライチェーン・ワークショップでは、そのバックログをデータセンター、産業成長、民間航空からの需要と結び付けている。

同研究所は、サプライヤー能力の不足、鋳造・鍛造の遅さ、材料への依存、熟練労働者の不足、製造インフラの制約を指摘した。そのサプライチェーンに関する調査結果は、資金を増やすだけでは直ちに機械を増やせない理由を示している。

現代のタービン部品は、ニッケル基超合金と厳密に制御された結晶構造に依存している。また、内部冷却流路と熱遮蔽コーティングも用いられる。これらの特徴により、部品は合金の通常の融点を超える高温のガス流内で動作できる。

最も高温になるブレードは、華氏3,000〜3,600度の温度にさらされると報じられている。内部冷却とコーティングが基材を保護し、鋳造工程が構造上の弱点を抑える。小さな欠陥でも、持続的な高熱と回転応力の下では深刻な信頼性問題になり得る。

この製造上の難しさにより、AI企業が通常エレクトロニクス分野で直面するよりも供給者基盤は狭くなる。チップ購入者は、既知の生産ラインにまたがる先端製造能力を巡って競争できる。タービン顧客は、大型機械、専門的な設計、長期の試験、そして長年の不安定な需要を経て慎重に拡張してきたサプライヤーに向き合うことになる。

国際エネルギー機関は、この慎重姿勢を電力市場の近年の歴史にさかのぼって説明した。世界のガス火力発電所の新設容量は2002年に約1億1,000万キロワットでピークに達した後、年間平均は約6,000万キロワットとなった。2020年以降、その平均は約4,000万キロワットまで低下している。

そのためメーカーは、提案されているすべてのデータセンター向け電力プロジェクトに対応できる規模の工場を持たないまま、AIブームを迎えた。IEAのエネルギー分析によれば、GE Vernova、Siemens Energy、Mitsubishi Powerは、世界で建設中のガス火力発電所向けタービンのおよそ3分の2を供給している。

これらの企業は拡張を進めているが、大規模な産業能力は瞬時には現れない。サプライヤーには炉、加工設備、材料、訓練された労働者、承認済みの工程、信頼できる下流ベンダーが必要となる。各拡張判断には、投機的なデータセンター需要が消えるかもしれないというリスクも伴う。

ここにSpaceXのガスタービン事業の機会がある。既存業界がMuskのスケジュールに間に合わない場合、内製化はクリティカルパスに対するより大きな統制を提供する。クリティカルパスとは、プロジェクトを最も早く完了できる日程を決定する一連の作業を指す。

ブレード鋳造が重要なのは、部品が一つ欠けるだけでタービン全体を遅らせ得るからだ。ただし、それは経路の一部にすぎない。圧縮機、燃焼器、シャフト、発電機、制御システム、排熱回収設備、電気接続も到着する必要がある。

IEAは、既存タービンの保守が工場能力を新規生産と奪い合うと警告した。新規機械を優先すると改修対応の余力が減り、現在の電力設備群にとって別の圧力点が生じる可能性がある。

この力学は、不足が一時的なものだという見方を複雑にする。老朽化した設備が依然として部品と保守を必要とする中で、新たな需要が到来している。同じ熟練労働者と産業用設備が、しばしば両方の需要を支えている。

SpaceXは、利用できないサプライヤーを回避する形で事業を構築することに慣れた企業のように対応している。同社は、難度の高いロケット、エンジン、電子機器、製造業務を繰り返し内製化してきた。しかし発電分野では、数十年をかけて形成された安全性と信頼性の期待を持つ成熟産業と、成果物を統合しなければならない。

同社の強みは、緊急性と資本の集中にある。弱みは、経営陣の注目が集まっても冶金技術が単純に加速するわけではない点だ。工程の安定性は、繰り返される生産で実証されなければならない。

AIの新たな制約要因は電力供給

AI競争はアクセラレーターの確保を超えた。開発者は今、自らのコンピューティング投資に見合う日程で、信頼できるメガワットを確保しなければならない。

データセンター開発事業者はかつて、電力を系統連系契約を通じて取得する公益サービスとして扱っていた。個々のキャンパスが工業地域に匹敵する電力を求めるようになると、このモデルは機能しにくくなる。電力会社は、異例に大きな負荷を前提に、発電、送電、変電所、予備容量を計画しなければならない。

PJM Interconnection地域は、この不一致を示している。PJMの大規模負荷予測に取り組むコンサルタントは、最近のガスタービン案件では発注から運転開始まで約36カ月を要すると判断した。

このコンサルタントはまた、利用可能な容量が2027年または2028年ごろから計画要件を下回り始めると予測した。最も深刻な不足は2030年代初頭に見込まれるという。PJMの評価による。

重要なのは、この分析が単なる価格問題ではなく、物理的制約だと位置付けている点である。開発者は既存の生産枠に対して積極的に入札できる。しかし、合金供給、鋳造能力、熟練労働力、送電設備を即座に拡大することはできない。

この違いはAI市場のあらゆる参加者に圧力をかける。モデル開発者は、より多くの学習・推論能力を求める。クラウド事業者は、顧客が別の場所へワークロードを移す前にキャンパスを整備したい。チップ企業には、出荷済みアクセラレーターが収益を生むために、通電済みの施設が必要となる。

電力会社が直面する圧力は異なる。既存顧客への信頼性を維持しつつ、確実なプロジェクトと投機的な申請を見分けなければならない。中止される施設に備えて過剰建設すればコストが上がり、建設不足なら投資が別の地域へ向かう可能性がある。

この緊張は、公共送電網に全面的に依存せず施設へ電力を供給するメーター裏側の発電を促す。ガスタービン、レシプロエンジン、燃料電池、蓄電池、再生可能エネルギーシステムはいずれも、こうした構成に組み込まれ得る。

メーター裏側の発電は系統連系の遅れを減らせるが、別の依存関係を生む。プロジェクトには依然として燃料へのアクセス、排出許可、用地、電力設備、保守計画、そして多くの場合は何らかの系統接続が必要となる。

それは責任も移転させる。クラウド用ハードウェアの購入に慣れたテクノロジー企業が、燃料調達、環境コンプライアンス、プラント運営、地域社会との交渉に関与する可能性がある。

これがSpaceXの取り組みが持つ、より深い意味だ。同社がエネルギー製造に参入するのは、タービンブレードが消費者向けAIに隣接しているからではない。電力供給がいまやコンピューティング導入スケジュールの一部になっているからだ。

この変化は、AI事業者間の競争も変える。チップへのアクセスは依然として重要だが、電力供給の準備が整った立地へのアクセスが、どの企業がそれらのチップを先に導入できるかを左右し得る。関連するキャンパスが電力接続を何年も待つなら、アクセラレータにおける小さな優位性の重要度は下がるかもしれない。

こうした状況では、立地の戦略性が増す。利用可能な発電能力、燃料インフラ、許認可の処理能力を持つ地域が優位に立つ。送電網が混雑している地域や、水資源・送電容量が限られる地域は、より厳しいトレードオフに直面する。

PJMの分析は、銅もまた潜在的な制約要因であると指摘した。タービンは電力を生み出せるが、その電力を安全に送るには、銅を大量に使用する変圧器、開閉装置、ケーブル、送電システムが必要となる。

だからこそ、単一の工場だけで電力問題全体は解決しない。ブレード生産を加速しても、他の機器や承認プロセスが同期していなければ効果は限られる。ボトルネックはタービンから、変圧器、パイプライン、許認可、送電網調査へと移り得る。

開発事業者や企業向けテクノロジーの買い手にとって、この移動はサービス提供可能性に影響する。将来の地域向けに発表された新たなAI容量も、事業者が実際の電力供給経路を特定するまでは暫定的なものにとどまる可能性がある。

実務上の問いは、企業がどれほどのコンピューティング能力を構築するつもりかではなくなっている。どれほどの電力供給が完全に整ったコンピューティング能力を、どの場所で、どのような運用制約の下で稼働開始できるかだ。

真の賭けは、産業時間に対抗する垂直統合

SpaceXは、従来の電力機器業界によって決められてきたスケジュールを、社内統制によって短縮できると賭けている。一方、産業時間も反撃している。

垂直統合は、外部サプライヤーが数量、タイミング、コスト、製品設計を制約する場合に機能する。企業は制約された工程を社内に取り込み、隣接するシステムと連携させ、その運用負担を引き受ける。

SpaceXは打ち上げ用ハードウェアでこのモデルを用いた。ロケットの再利用には、エンジン、構造、ソフトウェア、地上システム、飛行運用を統制する必要があった。この経緯により、タービン鋳造はMuskにとって見慣れた戦略となる。

ここでの主な相手は、個別企業としてのGE VernovaやSiemens Energyではない。AIが約束する導入スピードと、重工業製造のより遅い現実との隔たりだ。

従来のタービンメーカーは、AI開発者とは異なるインセンティブの下で事業を行っている。機械は何年にもわたって信頼性高く稼働しなければならず、部品の故障は長期停止につながり得る。保守的な認定およびサービスの慣行は、重大な結果を招く欠陥から顧客を守る。

対照的にAI事業者は、次のモデルサイクルより前にコンピューティング能力を稼働開始する圧力を受ける。18か月の遅れは、複数世代のアクセラレータにまたがり得る。遅れて到着する容量には、想定より競争力の低いハードウェアが搭載される可能性がある。

こうした時間軸が対立を生む。SpaceXは、工場開発をより加速されたエンジニアリング計画のように進めたいと考えている。タービンの信頼性には、材料、部品、組立体、運転条件にわたる繰り返しの証拠が求められる。

同社は組織上の待ち時間を減らせる。長期にわたる顧客承認プロセスなしに設備投資を行い、専門家を採用し、関連するMusk企業と要件を調整できる。また、サプライヤーの割当を巡って競争するのではなく、自社需要を優先することも可能だ。

しかし、内製化は新たな待ち行列を生む。SpaceXは経験豊富な冶金技術者、工程エンジニア、検査員、オペレーターを確保しなければならない。設備を立ち上げ、材料トレーサビリティを確立し、欠陥を測定し、再現可能な品質管理を構築する必要がある。

最初の合格ブレードは、安定した量産と同じではない。不合格となった鋳造品は限られた炉の稼働時間と材料を消費するため、歩留まりが重要となる。生産データは、許容可能な結果がロットをまたいで持続することを示さなければならない。

タービン設計との統合も別の問題を提示する。ブレードとベーンは、すべてのエンジンに交換可能な部品として挿入できるものではない。形状、空気流、冷却、コーティング、取り付け、材料特性は、特定のアーキテクチャに適合している。

公開報道では、SpaceXが完成タービンを製造するのか、既存メーカーに部品を供給するのか、あるいは取得した発電設備を統合するのかは明らかになっていない。想定するタービンモデルや認定パートナーも特定されていない。

この不明確さは、18か月という主張を慎重に見るべき理由となる。Muskは社内鋳造と、例外的に長い外部サプライヤーの納期を比較している可能性がある。その比較は、初めて社内支援を受ける発電所が18か月早く稼働を始めることを必ずしも意味しない。

この取り組みは、主張のすべてを満たさなくても重要になり得る。追加の認定済み鋳造能力は、現実の不足に対処する。SpaceXに優先的なアクセスをもたらし、既存サプライヤーがより積極的に生産拡大するよう促す可能性もある。

この戦略は、単一の電力プロジェクトを超えて役立つ知見も生み得る。高度な鋳造、コーティング、機械加工、自動検査は、航空宇宙およびエネルギーシステムを支援できる。製造に関する専門知識の共有は、隣接分野への参入に伴う組織的コストを下げる可能性がある。

ただし、機会費用にも注意が必要だ。産業用タービンに振り向けるSpaceXの資源は、他の優先事項には使えない資源となる。十分な資金を持つ企業内であっても、専門的な経営上の注意力とエンジニアリング人材には限りがある。

AIインフラがSpaceXを打ち上げという本来の使命から引き離しているのではないかと疑問視する外部観測者の間では、この懸念がすでに示されている。この批判はタービンプログラムが不適切であることを証明するものではない。誰が工場を所有し、最終的にどの事業が利益を得るのかを理解する必要性を浮き彫りにしている。

その答えは説明責任に影響する。SpaceXの要件に対応するSpaceX施設と、主にxAIのデータセンターを支援する施設では異なる。企業間の取り決めには、資産利用、調達条件、戦略的依存関係が関わり得るが、外部の利害関係者はまだ評価できない。

したがってこの工場は、製造面での対応であると同時に、企業境界の試金石でもある。Muskの企業ネットワークが、従来のサプライヤーが拡張するより速く産業能力を共有できるかを問うている。

より速いガス発電がもたらす排出と信頼性のリスク

鋳造のボトルネックを取り除いても、ガス発電に伴う環境、許認可、燃料、運用上の制約はなくならない。

天然ガスタービンは需給に応じて出力を調整できる電力を提供するが、燃焼により二酸化炭素と窒素酸化物が発生する。窒素酸化物はオゾンおよび粒子状物質による汚染に寄与するため、タービンの設置場所と制御システムは重要な公衆衛生上の問題となる。

加速された工場は、設備をより早く現場へ届けられるかもしれない。しかし、大気許可、燃料契約、パイプライン容量、騒音要件、地域社会の監視を回避すれば、法的・運用上のリスクを生む。

排出の問題は、とりわけメーター裏側のプロジェクトで重要だ。データセンター事業者は、私設発電が送電網への圧力を軽減すると強調するかもしれない。近隣住民にとっては、その発電所は新たな産業排出源・騒音源として映る。

この対立はすでにデータセンター開発を形作っている。地域社会は、水消費、土地利用、電力コスト、非常用発電機、地域への利益が不明確であることを理由にプロジェクトへ異議を唱えてきた。ガスタービンは、この議論に継続的な燃焼を加える。

提案されているガス開発の規模についても、懐疑的に見る必要がある。米国では2026年半ば時点で、開発パイプラインのどこかにあるガス火力容量が378ギガワットに達していた。ただし、発表済みおよび建設前のプロジェクトが、その合計の約86％を占めていた。

世界で開発中のガス火力容量の3分の2は、タービンまたはエンジンのメーカーを特定していなかった。開発パイプラインの分析によると、歴史的には、提案された米国のガスプロジェクトのうち商業運転に到達したのは約30％にすぎない。

これらの数値は、設備の発表を稼働容量として扱うべきではない理由を示す。一部のプロジェクトでは、機械、顧客、許認可、燃料、資金、最終的な建設決定が確保されていない。

信頼性は第二の不確実性を生む。AIデータセンターでは、電力負荷が急速かつ変動的に変化することがある。タービンシステムは、過度の摩耗、不安定な運転、効率低下を招くことなく、こうした変化に対応しなければならない。

施設は、バッテリー、ワークロードのスケジューリング、冗長設備、送電網支援によって変動を緩和できる。だが、これらの対策はすでに制約の多いプロジェクトに複雑性と追加部品を加える。

燃料の利用可能性も別の制約となる。信頼できるガス供給のないタービンは、確実な発電能力ではない。新たなパイプラインや圧縮機ステーションは、長期にわたる承認、土地紛争、建設スケジュール、暖房需要との季節的な競合に直面し得る。

コンバインドサイクル発電所は、タービン排熱を回収して追加の電力を生み出すことで効率を改善できる。しかし、単純サイクルの設備より多くの機器、水利用計画、建設を必要とする。

単純サイクルのタービンはより速く起動でき、柔軟な出力を提供する。効率が低いため、電力量当たりの燃料消費と排出量が増える可能性がある。望ましい設計は、スケジュール、運転パターン、現場条件、規制上の制限によって決まる。

SpaceXは、自社の鋳造品が産業用としての信頼性要件を満たすことも証明しなければならない。欠陥は冷却中に形成される可能性があり、コーティングは繰り返される熱サイクルで劣化し得る。内部流路は、閉塞することなく想定された冷却を実現しなければならない。

試験は運転前に多くの問題を特定できるが、長期的な挙動も依然として重要だ。特に故障が下流側のタービン段を損傷し得る場合、認定の加速が認定の簡略化になってはならない。

公開されている証拠は、工場の歩留まり、部品寿命、生産速度、認定状況をまだ裏付けていない。また、18か月という見積もりが発電所建設と許認可をどのように織り込んでいるのかも確認していない。

これらの不確実性はいずれも、プロジェクトが実現不可能であることを意味しない。それらは、確認済みの製造努力と確認済みの解決策の間にある隔たりを定義している。

慎重な結論は、Muskの表現よりも限定的だ。SpaceXは、関連するエンジニアリング経験を生かして、現実の産業上のボトルネックを狙っている。しかし、社内鋳造が提案されたスケジュールで完全な電力プロジェクトを実現することは、まだ示していない。

SpaceXのタービンブレード主張の後に注目すべき点

このプロジェクトがAIインフラを変えるのか、それとも混雑した機器待ち行列を追い越そうとする野心的な試みにとどまるのかは、3つのシグナルが示す。

第一のシグナルは、認定済み生産の証拠だ。求人情報や工場建設は意図を示すが、許容可能な部品を証明するものではない。稼働開始した鋳造設備、完成した試験品、再現可能な歩留まり、特定のタービンアーキテクチャに対する検証に注目したい。

認定パートナーが公表されれば、その見方は強まる。ブレードが熱試験、疲労試験、コーティング試験、非破壊検査のプログラムを完了した証拠も同様だ。こうした節目がなければ、主張される加速を測ることは難しいままである。

第二のシグナルは、特定された稼働プロジェクトだ。SpaceXまたは別のMusk企業は、工場の生産物を特定の発電設備、立地、導入スケジュールに結び付ける必要がある。

その開示では、同社が完成タービンを製造するのか、取得済みユニットを改造するのか、既存メーカーに供給するのかを明確にすべきだ。また、想定する電力の受け手も特定する必要がある。

名称が明示されたプロジェクトがあれば、18か月という比較を検証可能にできる。観察者は当初の設備導入スケジュールを、実際の製造、設置、許認可、試運転の日程と比較できる。

3つ目のシグナルは、鋳造に代わる別の制約が現れるかどうかだ。変圧器、発電機、開閉装置、ガス接続、排出許可、建設作業員が依然として不足しているなら、ブレードの生産が速くなっても価値は限定的になる。

PJMが予測する供給不足は、電力供給がシステム全体の問題であることを示している。SpaceXは制約のある1つの工程に取り組めても、なお複数の工程を待たなければならない可能性がある。

既存メーカーの対応も有益な文脈を提供する。追加の鋳造投資、サプライヤー契約、積層造形プログラム、サービス能力の拡大は、市場が持続的な需要を見込んでいることを示すだろう。

幅広い拡大が見られなければ、サプライヤーが投機的なAIプロジェクトに対して慎重であることを示唆する。その慎重さは重要だ。SpaceX自身の工場が成功したとしても、提案されているすべてのデータセンターに供給できるわけではないからだ。

環境面の承認も同様に重要な手がかりとなる。設備を確保しても排出をめぐる争いに直面するプラントは、スケジュールの問題を解決したことにはならない。重要経路を製造から許認可へ移したにすぎない。

AI開発者、企業の購入担当者、ナレッジワーカーにとって、この話はインフラ発表を評価するよりよい方法を示している。計画されたアクセラレータ数や注目を集める電力要求だけでなく、実際に稼働を開始した容量に注目すべきだ。

プロジェクトが発電設備、変圧器、燃料、許認可、現実的な接続日を確保しているかを確認してほしい。こうした詳細が、新たなモデルやサービスがいつ利用可能になるかを左右するようになっている。

SpaceXは、タービンブレードをAIの産業化への転換を象徴する目に見える存在にした。競争はもはやモデルアーキテクチャや半導体性能に限定されない。冶金、工場、燃料ネットワーク、電気工学、地域の承認も含まれるようになった。

次の決定的な更新は、また別の大規模な能力拡大の約束ではない。許可を得た拠点で、認定済みの部品が名称の明示されたタービンに投入されることだ。それが実現するまで、この工場はボトルネックの存在を裏付ける信頼できる証拠ではあるが、SpaceXがそれを解消した証明にはまだなっていない。