202620004

Starship はあの寸胴なフォルムもあって規格外な大きさに見える。でも調べてみると、 1970 年前後にアポロ宇宙船を乗せたロケット Saturn V はクラス的に近い。人類は 50 年間何をやっていたのかという気にならなくもない。

AI とかも似たような経過をたどる可能性ってないんだろうか。発展は続くにしても、何億円もかけて数学の一定理を証明する動機があるのは今だけかもしれない。