ん？ ABC予想ってまだケリがついてなかったんだっけ？

ここ数日のネットニュースに、日本人が数学の難問「ABC予想」を証明したというのが流れています．

でもあれれ？
ひら的にはABC予想って既に証明が出来たんじゃなかったっけ？ なんだかどうしたんだろう？

証明したのは望月新一という人．この写真を見て思い出しました．オレ記事書いたわって．検索したらこちらにありました．わたしが書いた日は2012年9月23日、今から５年も前でした．

５年の時間差はどういうコトなのかというと、2012年の時点では、望月さんがABCを解いたと主張したのでした．

その後、数学界の叡智を集めて望月ABC論文の正しさを検証できたかなぁという到達点が2017年の暮れということだそうです．望月論文が斬新過ぎて数学界が追従できなくて検証に５年もかかったということかな．

英国人のワイルズという人による「フェルマーの最終定理」の証明論文は検証と修正に１年かかったはず．それに比較すると望月教授の論文の検証と修正に５年というのは突飛さが際立つように思います．数学界の人々も対象が大きすぎて群盲象を評すみたいな状況だったのですかねぇ．．．

すごい、すごい．

ABC予想を前提としてフェルマーの最終定理を一発で証明するのは上のリンクに書きました．

すごい、すごい．