Vladimir Tenev

But where we've started was math competitions.

So there's this high school competition called the International Math Olympiad.

You're nodding.

Maybe you're a, are you a former math leap?

No, no.

Okay.

yeah so times tables days i was popping yeah uh so around grade six there's this uh thing called math counts which uh which is sort of like the beginning of it then you go into the math competition circuit so you can think of it as like olympic qualifiers so there's the amc there's the amy the american invitational math

exploration uh if you do well on that you go to the usamo the usa math olympiad wow um so i i tapped out at the amy that was like my run of uh that was my ceiling and then if you do really well on the usa math olympiad they take like the best five people and they represent the us at the international math olympiad the imo so this year aristotle which is harmonix uh

math model got a gold medal on the IMO.

So there's six questions.

They're ridiculously hard.

Our model got five out of six of them correct.

And then we were like, okay, we don't want to just keep this as a research result.

Let's open it up.

Let's actually release it to the public and see what people do with it.

And people have done some incredible things.

There's these unsolved math problems, research level called Erdős problems.

Have you guys heard of Erdős?

So he was like...

very the world's most prolific mathematician.