Kevin Hartnett

And his answer, which I very much remember, was, when you're doing math, it feels like you're creating something.

But ultimately, he kind of viewed it, I think he said, as an act of discovery.

I just don't think mathematicians have any concern that we're about to run out of math to be discovered, and AI would have to be a lot better to discover it all.

Maybe we already know effectively 0% of all the math there is to know.

There's a lot more out there.

So I don't think that's a concern, although that is a fun thing to imagine.

It's hard for me to believe, and I can only speculate.

No one knows the answer to this.

I ask mathematicians frequently, where do you think this is going?

What is the future for you all?

No one knows.

It is just hard for me to believe that something that has been so important and central to human activity for so long is just gonna completely disappear and be replaced by pushing a button.

I think we will be surprised by the way it turns out.

Put me like kind of voting in that middle camp, the Terry Tao camp, that like we're going to, human beings directing these machines in some important ways, choosing which problems to set them on is going to continue to be important.

So math is going to look a lot different.

There's just like no doubt about it.

It's going to have to adapt in a lot of ways, just like everybody in kind of almost any industry is.

But I think there will be something quite impressive and different that comes out at the end.

Thank you, guys.

It was a pleasure to come on and check your work.