Inter-universal geometry とABC 予想49

Inter-universal geometry とABC 予想49at MATH

Inter-universal geometry とABC 予想49 - 暇つぶし2ch396:１３２人目の素数さん
22/05/14 07:33:49.52 eQGjjIj/.net
今後はコンピュータによる形式的検証を得られないものは
証明にあらずってことになっていくから、何十年もかからないよ