宇宙キワのギャップのところをチャッピーが埋めたらインパクトある
キワが正しいとしたら証明を完全にするのはAIも得意だろう
まあ今はそれができる水準にないわけだが