The future of mathematics is outlined in this amusing quasi-satire (satire tends to become reality in Silicon Valley):
https://proofsandprompts.com/2026/10/31/lean-me-softly-a-sat...
That is literally what some tenured people are pushing for.
That was a great read.
loved reading this
Thanks for sharing. It is well written.