So, it seems OpenAI is about to release something like 400 AI-generated proofs on a public server. To the best of my understanding, people are still trying to figure out how the forced Navier–Stokes example actually works. I know of several experts who are studying it, and it is definitely not an easy task. Until mathematicians digest that example, however, its impact on mathematics as a living subject seems necessarily limited. What questions does it open? What new ideas does it suggest? What does it teach us about fluids, beyond the yes/no information contained in the theorem itself? Mathematics does not grow simply by accumulating correct statements. Results have to be understood, connected, explained, challenged, reused. Until that happens, they risk remaining lettera morta. Now imagine adding 400 more AI-generated proofs. For each of them, until some human mathematician picks it up, studies it, and connects it to the existing mathematical culture, isn't it in essentially the same position? So my question is genuinely: what is the intended mathematical value of releasing hundreds of proofs at once? What happens if there simply aren't enough people willing or able to read them? To be clear, I think mathematicians should discover mathematics by any means necessary, including scavenging through artificial, alien-looking mathematical material, since there may be extraordinary things to find there. But humans are not machines, as attention, understanding, taste, and mathematical culture are scarce resources. What happens if the rate at which mathematics is generated becomes much greater than the rate at which mathematicians can absorb it?