Better let Andrew Wiles know his 8 years spent on Fermat's Last Theorem was just a bullshit waste of time, because he couldn't use it to run a hedge fund, or software company...
It can only be 'proved' in the 'contrived' world of pure mathematics... what bullshit!