Okay so more ivory tower slop.

Why aren't they consulting the younger mathematicians whom this actually affects?

Anyways, this is overblown. Let me know when AI swarms can create a research program or library from scratch. We're really missing long term planning and abstraction creation in these things.