Terence Tao

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.

I know people who've met him, but he's always had strong views about certain things.

I mean, it's not like he was completely isolated from the math community.

I mean, he would give talks and write papers and so forth.

But at some point, he just decided not to engage with the rest of the community.

He was disillusioned or something.

I don't know.

And he decided to peace out and collect mushrooms in St.