銀河系外有人宇宙探査をした宇宙飛行士 vs リーマン予想を証明した超天才数学者