Vlad Tenev

Yeah, there's actually an Erdős number, kind of like the Bacon number, which is how many degrees away are you from Kevin Bacon, right?

Kevin Bacon, zero.

If you're in a movie with Kevin Bacon, you're one.

If you're in a movie with someone that was in a movie with Kevin Bacon, you're two.

So there's an Erdős number as well.

Paul Erdős is zero.

If you've published a paper with him, it's one.

There's also an Erdős Bacon number, which is you add the two.

And there's actually someone with, I think, an Erdős Bacon number of two.

So someone from Goodwill Hunting who had co-authored a paper with Paul Erdős.

So anyway, this guy, during his whole lifetime, there's like 1,100 Erdős problems that have been collected, half of them unsolved.

People collect them, now there's a library of them.

So now Aristotle is being used to solve and formalize all of them.

They're dropping like flies.

That's great.

Like every week you have, and sometimes it's by amateurs.

It's someone who's not a mathematician, but they're essentially vibe proving, like they're an AI savvy student and they're just making contributions to the field.

That would have been inconceivable five years ago.

That's amazing.

Yeah.