twitterでは強ABCと弱ABCの違いにこだわっている奴がいるが、Conradのノート
を読んで思ったのは、エキスパートは誰も強ABCなんかにはこだわっていなくて、
弱ABCのexplicit formでないことを残念がっているように思える。（Volochの
書き込みから予想するにモッチー本人も。）
つまり、ABC予想の不等式のK(ε)をexplicitな形で示せず、不定性のせいで、
そういうK(ε)が存在するまでしか言えなかった。その先を言うにはまた新しい
テクニックの開発が必要。