Vlad Tenev

that by creating this new point, which is a midpoint.

You can test.

You can create this new additional structure that helps you unlock it, even though this point D doesn't actually appear in the statement anywhere.

There's no D in here or D in there.

That's called an auxiliary construction.

The first AI models that did really well at solving geometry problems,

The only thing they did was figure out what the right auxiliary constructions to make would be.

Then the rest of it is just all computational.

Obviously, this is a pretty simple example.

Yeah.

That's beautiful.

Yeah.

I think there's a certain elegance to it for sure.

And I think there's crazy things in physics that still blow my mind that nobody can explain.

Yeah.

And if I had to start another company,

I mean, I think harmonic scratches the itch.

There's like a very deep well of if you can just keep going and figuring out all of this stuff, I think you can just keep going forever.

But there's also things in the real world that we can't understand and we can't explain.

And I think that hearkens back to figuring out why the laws of the universe are the way they are.