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.