Cal Newport

If you could have an AI help you with that.

it really would make a big difference.

I'm telling you from experience.

If you could have an AI explore proof spaces for you, it's a fantastic tool and it's going to be a big part of mathematics.

And I think what's going to happen is in the near future, you're going to have an explosion of people doing like low hanging fruit results.

like we're seeing in these papers.

I'm searching subspaces within my specialty.

I'm just like letting the AI, I'm very carefully tuning it and giving it the right questions.

Like here's the space we're looking at, but I'm going to kind of find, refine a lot of results that exist in the field.

There's a little gap here.

We can close this gap.

We're finding a lot of counterexamples to existing like conjectures.

And a lot of it's not going to be that interesting.

And there's going to be a problem of too many results to be refereed.

But I think longer term, medium term, let's say, we're just going to see the average quality of the high-end math results is going to jump up.

Because I just know... I produced a few interesting results in my time.

I think they could be more interesting with these tools.

So I think the future for mathematics here is exciting.

And it kind of makes sense.

Math and computer programming.