Yeah, the joke did have some insight to it. I'm a mathematician, where theorems cannot be patented. It makes things so much easier in case we'll start proving (some simple) theorems using computers in the near future.
Didn't mathematicians earn million-dollar rewards for their theorem - proving? :-)
Though I'm a mathematician I still think my odds are bigger winning the lottery than proving one of those million-dollar millennium problems :p