レッドスプライト→アーサー（アーサー・C・クラーク）
ブルージェット→ヴェルヌ（ジュール・ヴェルヌ）
エルブス→？
ギガンティック→アイザック（アイザック・ニュートン？）
ライトニング号にもAIあるんだろうけど名前出てこなかったな