Brute-forcing the plagiarized and in-progress work of an established mathematician, utilizing the collected efforts of hundreds of other mathematicians over the past century is hardly the victory you seem to think it is.

Do you feel like you're getting good value for money if you solve a millenium problem at a fourteen million dollar loss?