Close Encounters of the Math Kind

I think I can just make out Rod Serling (or, is that Paul Erdos?) in the shadows about to offer a few cogent words....

RJ Lipton reports on his own personal recent "close encounter of the proof kind" here:

http://tinyurl.com/3tr3xbt