Terence Tao

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.

Yeah, so surprisingly, it's very decentralized.

I mean, there was about five, six people involved, and there was just a chat room, and we just all spoke.

We contributed ideas.

It was a very respectful environment.

If we had to write it, we haven't written a paper.