It’s a rat race. We want to get to the point where someone can say “prove P != NP” and a proof will be spat out that’s coherent.

After that, whoever first shows it’s coherent will receive the money.