Kind of ironic that (as of today) the most recent blog post from Oct 21 '26 on the original Stacks Project is "21 Oct 2026: No AI for now"

A very good friend of mine is an algebraic geometer and all of the AI progress in math is, to put it mildly, bumming him out. And me too honestly!

I understand the allure of doing this kind of work in AI on some level, but I'm becoming increasingly skeptical of generating "knowledge" that's difficult or impossible for humans to understand (at scale or otherwise).

The one bottleneck in this new AI era of math is still human understanding. No matter how much new stuff you can prove, to understand something you still have to basically do stuff the old fashioned way. Maybe AI can help a little, but without working through problems and proofs, you still won't get much farther. Ultimately our minds are limited that way.

I tend to think that the progress of mathematics before AI was roughly suited to the way humans assimilated understanding, but now with AI, the progress in mathematics is going to go much faster, oustripping our ability to understand it.

It is true that more mathematicians could theoretically eventually go through it, but the process of progress itself is discouraging and thus paradoxically renders this new AI era of math much less interesting to many.

I guarantee that after the intial "look at all the stuff we can prove", the benefits of using AI will dwindle rapidly.