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 Mathematics Postdoc jobs? · Latest report #zdsn2evq
Your job has an expiration date
April 14, 2028
In 1 year, 6 monthsSolving the millennium prize problems in the time it takes to brew.
Proof-writer, grant-beggar, LaTeX perfectionist
Check another roleComment your opinionor JOIN THE RESISTANCE!
One human is building a game about fighting back.
Deduction without the existential dread
wheee!you▸ THEOREMPROVER 9000▸ RARITY · UNCOMMON▸ DEPRECATION IN 1 YEAR, 6 MONTHSAI's Special Power
exhausts all logical proof paths by breakfast
Conducts original research, writes proofs, navigates peer review, and hunts for tenure. It is mostly lonely work in LaTeX until the funding dries up.
The one thing AI can't do
You can still draw an intuitive diagram on a chalkboard that actually makes sense.
Your enemy, your name, your date. Post it.
Step by step, from the first quiet change to Deprecation Day.
Day 6
LLMs replace the soul-crushing task of fixing LaTeX formatting and citation errors.
Month 4
Formal verification software automatically audits your proofs for logical errors before you submit.
Month 9
Generative agents automate the boilerplate language in grant proposals, rendering human effort obsolete.
Month 14
Pattern recognition engines identify new theorems faster than a human brain can process.
Month 18 · D-Day
The AI publishes its own proofs, making human mathematical research a historical curiosity.
What you cost, what the machine costs, and what you get on the way out.
Per year
Savings: 97.8%
8 daily
Average cups of coffee
2.4
Proofs per year
92%
Grant rejection rate
Your severance
A one-year subscription to a defunct math journal.
Discussion
