12312777
Re:Egoless Mathematics in the AI Era
on Monday November 02, 2026 @02:48PM (#50342619)
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.
Re:Egoless Mathematics in the AI Era
on Monday November 02, 2026 @02:45PM (#50342585)
That, and to promote heavy AI usage as inevitable.