Vlad Tenev

Still highly creative.

Like these are smart high schoolers.

Like I never even went to the IMO as an aspiring mathematician.

I was sort of like three rungs below it.

So...

I think even that was a big accomplishment.

But then we went from that to solving like small, unsolved research level problems.

I think now we're getting to the point where we're used to solve and formalize more meaningful results that people actually have tried to solve by hand, but couldn't, not because of lack of attention, but because they're just hard.

So I think there's this rising capability that I think will culminate into true innovation

research level math results.

That's really exciting.

Yeah.

Vibe proving, I call it.

the fun thing is like you have these erdos problems have you heard of paul erdos yeah there's actually this picture of terry tau when he was a child i think he was seven years old sitting with an old paul erdos i think who was probably in his 70s or 80s at that time he was a hungarian mathematician he was kind of a traveling mathematician so he would go and stay at people's houses he would just come up with with his suitcase and be like

I'm going to stay with you for two weeks.

What are you working on?

I'll help you with whatever math you're working on.

I think he was like hopped up on amphetamines the whole time.

You travel the world, stay in people's houses.

And so he became the most prolific mathematician ever.