I hadn't realized that Deolalikar's web page still claims the result (and explains that it is out to a journal for the standard refereeing process). That's fair

I hadn't realized that Deolalikar's web page still claims the result (and explains that it is out to a journal for the standard refereeing process). That's fairly bold.