Terence Tao

But these checks were almost never cashed because they were more valuable framed on the wall as someone who had solved an Erdős problem.

That's all I'm saying.

There's a biography of Paul Erdos called The Man Who Loved Only Numbers.

And that is a pretty good description of it.

I met him once and basically the entire conversation was about math.

It was not one for small talk or anything.

So, yeah, so recently there's been a systematic effort to accuse.

So there's a website which has collected over a thousand Erdos problems.

Yeah.

So, yeah, we just gave each Erdos problem a number.

And this is the ticket that this number got.

This problem got 1,026 Erdos.

And there's been a systematic effort in recent years to solve these problems by any means possible.

So some people use pen and paper.

Some people use computers old school with lots of computations.

And some people are using AI tools.

And yeah, there was a recent problem, 1026, that got solved by a combination of all of these.

Lots of people...

Throughout ideas, there was a discussion forum, and people used the latest AIs to gather some numerical evidence.

I was involved a little bit.