I hate to say it, but if AI keeps advancing at the current rate, the justification for keeping humans in the loop will grow increasingly hard to make.

There's definitely the possibility that in just a few years, human mathematicians will largely become irrelevant in the face of extremely capable models.

I don't like it, I think there are a lot of bad side effects to it, but I think it's important to face that possibility.