Kevin Hartnett

And then I closed it and I went back to doing math the other way.

An hour later, a guy who on paper looks a lot like the first guy says, I think in two years, AI is going to put mathematicians out of business because it is just going to be strictly better than us at all of it.

And we won't need mathematicians anymore.

So those two poles, Terry is squarely in the middle.

He, that open AI video you described, Kevin, that's like the kind of jetpack for your thoughts view of AI.

It's like the Iron Man suit that will allow me to do more and better and bigger things than I could before.

He is clearly the leading figure of that point of view.

I don't really know if you were to take a poll right now of mathematicians, like how it would break down.

I would guess the, it's going to put us out of business would finish last.

And I would guess Terry's would finish first.

And I think that it's good for nothing.

That might've actually won a year ago, but I think that's definitely falling in

Yeah, I think you are right that it reflects a kind of deep concern and worry for the future of the field.

Mathematicians, I would think, are deeply worried in the way of a population or a community that largely was able to like run itself and like self-regulate for centuries.

And now there's this like massive exogenous force that is like shaking it and they want to be able to kind of like defend the field.

They want to, I do think, want to kind of set up some kind of guardrails and also say like, this is our field.

You don't get to tell us kind of what's important, how it runs.

And this document you talked about, Kevin, is, I think, an effort to try and start making that kind of statement.

Well, let me actually step back one second.

I think there are kind of two things the Leiden document is trying to do.