P=NP, what do you do?
bdr: Put up a web API that solves arbitrary SAT instances. Let other people do what they want, and I can watch while I think about what to do next.Also, write a theorem prover of course, and try for big outstanding conjectures.