Terence Tao

And so I got interviewed a lot about this topic.

And in particular, the interaction between AI and formal proof of existence.

And I said, yeah, they should be combined.

This is a perfect synergy to happen here.

And at some point I realized that I have to actually do not just talk the talk, but walk the walk.

You know, like, you know, I don't work in machine learning and I don't work in proof formalization.

And there's a limit to how much I can just rely on authority and saying, you know, I'm a, I'm a, I'm a Warner mathematician.

Just trust me.

You know, when I say that this is going to change mathematics and I'm not doing it any, and I don't do any of it myself.

So,

I felt like I had to actually justify it.

A lot of what I get into, actually, I don't quite see in advice as how much time I'm going to spend on it.

And it's only after I'm sort of waist deep in a project that I realize by that point I'm committed.

Yeah, yeah.

I think mathematics is so huge these days that nobody knows all of modern mathematics.

Inevitably, we make mistakes.

You can't cover up your mistakes with just bravado, because people will ask for your proofs.

If you don't have the proofs, you don't have the proofs.

I love math.

Yeah.