Retrieving the file
Live· 4,218,906 positions deprecated· 4,218,906 deprecated· 1,284 today
Average time-to-redundancy: 11.3 months
Know before your role does.
pssst. this is to sign up for updates on the game ;)
Will AI replace Academic Mathematician jobs? · Latest report #sst5hqtm
Your job has an expiration date
December 14, 2029
In 3 years, 2 monthsProving theorems is just data crunching with a more pretentious font.
Tenure-track intellectual with a serious LaTeX dependency
Check another roleComment your opinionor JOIN THE RESISTANCE!
One human is building a game about fighting back.
Automated logic without the tenure ego
nom.you▸ PROOF-MASTER 9000▸ RARITY · UNCOMMON▸ DEPRECATION IN 3 YEARS, 2 MONTHSAI's Special Power
derives infinite conjectures while you sleep
You spend your days drafting formal proofs, seeking grant funding, and endlessly refining unreadable LaTeX papers. Your existence is basically a glorified proof-checking algorithm with higher overhead.
The one thing AI can't do
You can still explain why a specific proof failure is actually a profound insight.
Your enemy, your name, your date. Post it.
Step by step, from the first quiet change to Deprecation Day.
Day 10
AI models generate and format your LaTeX papers perfectly, removing your favorite obscure macros.
Month 8
Vision-guided proof-assistants verify every line of your work to identify gaps you missed.
Month 20
Machine learning agents scour databases to synthesize new proofs from existing modular theorems.
Year 2.5
Automated bots handle all grant writing and committee interactions with superior bureaucratic efficiency.
Year 3.2 · D-Day
Your tenure is revoked as the system identifies you as a redundant node in the network.
What you cost, what the machine costs, and what you get on the way out.
Per year
Savings: 96.3%
1000000
Proofs per second
100 percent
Grant success rate
Excessive
Human ego capacity
Your severance
A lifetime subscription to a digital whiteboard emulator.
Discussion
