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 th

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.