Here an interview with Scott Aaronson:
After glancing over a 100-page proof that claimed to solve the biggest problem in computer science, Scott Aaronson bet his house that it was wrong. Why?
Here an interview with Scott Aaronson: