Know before your role does.
pssst. this is to sign up for updates on the game ;)
Will AI replace Math And CS Postdoc jobs? · Latest report #tue35gv8
Your job has an expiration date
May 24, 2028
In 1 year, 7 monthsSolving P vs NP won't matter when the GPU replaces you.
Postdoc (mostly over-qualified, slightly under-caffeinated).
Check another roleComment your opinionor JOIN THE RESISTANCE!
One human is building a game about fighting back.
Deduction without the existential crisis.



oof.youAI▸ THEOREMPROVER-X9▸ RARITY · UNCOMMON▸ DEPRECATION IN 1 YEAR, 7 MONTHSAI's Special Power
derives elegant solutions while you nap
You spend your days proving theorems, training neural networks, and hunting elusive bugs in unoptimized academic code.
The one thing AI can't do
You are the only one who truly knows why that specific recursive function works.
Your enemy, your name, your date. Post it.
Step by step, from the first quiet change to Deprecation Day.
Week 4
Large language models ingest every paper ever written in your field.
Month 4
Proof assistants take over the drudgery of checking your logic.
Month 8
AI agents write and optimize your research algorithms automatically.
Month 13
Generative software produces perfectly boring grant proposals every quarter.
Month 19 · D-Day
Academic prestige is now a compute-only activity performed by servers.
What you cost, what the machine costs, and what you get on the way out.
Per year
Savings: 97.8%
4.2 liters
Coffee consumed per proof
99 percent
Papers ignored by peers
12 hours daily
Time spent debugging LaTeX
Your severance
One free subscription to a journal no one reads.
Discussion