他人の証明の検証だけのために数年も使う人居ないと思う
大体ご本人にしてからabc予想は主目的ではないと言っているのに
或る分野の一流の研究者なんてそう何十人もいるものじゃないんだし
まして日本が欧米に先を越されないためのプロジェクトに欧米から来てくれ、
とか言われても来ないだろう
立場が逆だったら自明だと思うんだけどなあ

他の定理より格段に数論幾何の研究者が居る各研究拠点で
それぞれのグループが証明をチェックすれば十分だと思う