なぜか米国で、ナカモトサトシの正体じゃないかと憶測された日本が誇る大天才の望月教授。この前数学者の方と話しているとき、もはやabc予想の証明を、他の数学者が裏付けするのにも10年単位かかるから困難だと聴いていたのですが。いずれにしても、素晴らしいことです! 「ABC予想」とは、「任意のε>0に対して、ある正の定数K(ε)≧1が存在して、互いに素な整数a, b, cがa+b=cを満たすとき、不等式 max{|a|, |b|, |c|}< K(ε){rad(abc)}^(1+ε)が成立する」というもので、1985年にマッサーや、エステルレによって定式化されたものです。 元々、この問題の多項式バージョンが1981年にストーサーズによって証明されていますが、整数は多項式と違い微分ができないなど情報量が少ないので、証明は困難とされてきました。 私も望月先生の証明はとても理解出来ませんが、大きな流れと