While somewhat plausible (and I have to admit I thought of the mathematician myself the first time Nelson presented his supposed properties), there is one reason to doubt this:
Building both Bitcoin and the vast framework to prove the ABC conjecture within a few years time would be too much for a single person, wouldn’t it?