3 ms·

Well, if you write a theorem prover, you can probably get just about every mathematical proof prize out there. That's $7 million from the Clay Institute alone..

by andreyf 17y ago

Well, if you write a theorem prover, you can probably get just about every mathematical proof prize out there. That's $7 million from the Clay Institute alone...

praptak 17y ago
Just make sure that you publish the proof for P=NP last, otherwise others could beat you to it :)
- wlievens 17y ago
  Not really, anyone could use your prover to prove P=NP. It's Pandora's box!
jdoliner 17y ago
Ahem, 6 million Poincare Conjecture was claimed.