I've always thought that this would make a great plot for a science fiction novel. A computer science fiction novel. There would be lots of intrigue, as the guy was tracked down by the NSA and covertly outwitted his opponents using his proof, until a final showdown where he discovers the horrifying truth about who else knows that P=NP, and what happens to everyone else who's ever proven it.
So...should I look for a literary agent or try and bootstrap this myself by hiring a private press? ;)
basically, all the really clever computer science such as NP=P turns out to involve summoning demons etc in the book. If you want to read a ridiculous spin on computer science + fantasy, fun read.
There's Sneakers (http://www.imdb.com/title/tt0105435/) but that's just about factoring large numbers, and is pretty light on the CS (though Len Adleman, the "A" in "RSA", was a consultant on that film).
So...should I look for a literary agent or try and bootstrap this myself by hiring a private press? ;)