Kevin Roos

Don't give them the money.

They don't need the money.

These are like the Sudoku of math.

It's like the Wordle of math.

Let's talk about some potential paths to a world where maybe more people are agreeing with the person who thinks that AI threatens the job of a mathematician.

Kevin, do you want to talk a little bit about this letter that these mathematicians put together?

Well, I think they've realized that there's strength in numbers.

Oh, my God.

So here's what I want to know.

The hits keep coming.

Here's what I want to know.

What exactly is so threatening to them about other people using ChatGPT to do math proofs?

They turned straight to violence.

I kind of just want to return because I'm still not sure I totally connected on like what the folks who signed the Leiden Declaration are worried about.

There's like a version of this anxiety that I feel like I've seen in other professions, which is essentially AI just enables the instant creation of so much stuff, what is often called slop, that it kind of overwhelms and crowds out the people in the industry who are actually like talented and doing a good job.

Like, is this primarily just a slop issue where they feel like they're not going to be overcome a tide of AI-generated proofs?

Or is there something else there that I'm missing?

And is the anxiety there like an economic one of, hey, like this is how I feed my family?

Or is it something in addition to that of like without humans like steering the direction of math, something bad will happen?

They're not going to be interested if they know that it was written by AI.