Terence Tao

And if there's one, there's probably going to be more.

And suddenly a lot of our crypto systems are in doubt.

Yeah.

You want it to be random.

So more broadly, I'm just looking for more tools, more ways to show that things are random.

How do you prove a conspiracy doesn't happen?

I mean, there's various scenarios.

I mean, there's one where it is technically possible, but in fact, it's never actually implementable.

The evidence is sort of slightly pushing in favor of no, that probably P is not equal to NP.

Certainly more on the no than on the yes.

The funny thing about Pico's MP is that we have also a lot more obstructions than we do for almost any other problem.

So while there's evidence, we also have a lot of results ruling out many, many types of approaches to the problem.

This is the one thing that the computer scientists are actually very good at.

It's actually saying that certain approaches cannot work.

No-go theorems.

It could be undecidable.

We don't know.

Yeah, he's somewhat of an outlier, even among mathematicians who tend to have somewhat idealistic views.

I've never met him.

I think I'd be interested to meet him one day, but I'd never have the chance.