I don't know much about the field, but from what I've heard, I wouldn't be too surprised if proving P != NP is harder than building FAI for the unaided human mind.

Awesome! Be sure to let us know what he thinks. Sounds unbelievable to me though, but what do I know.