本人も言ってるがウィッテンは訓練してないから数学ならではの厳密な証明は出来ないよ
ボットは専業数学者だから出来るだろうが