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 Theoretical Computer Science Student jobs? · Latest report #ypdr4u4a
Your job has an expiration date
November 4, 2026
In 2 weeksSolving P vs NP by deleting the machine that asks.
Proof-obsessed academic (currently stuck on chapter four).
Check another roleComment your opinionor JOIN THE RESISTANCE!
One human is building a game about fighting back.
Generating theorems while you dream of tenure.
ow.youAI▸ PROOFENGINE-X9▸ RARITY · COMMON▸ DEPRECATION IN 2 WEEKSAI's Special Power
derives proofs before you wake
You spend years deriving complexity bounds for problems that companies solved with heuristics yesterday. You are effectively a very expensive calculator that requires sleep.
The one thing AI can't do
You can still argue for three hours about the notation in a flawed draft.
Your enemy, your name, your date. Post it.
Step by step, from the first quiet change to Deprecation Day.
Day 2
Automated agents will scrape your entire reading list and summarize it instantly.
Day 5
Smart templates now format your citations and indices without human error.
Day 8
Large logic models derive trivial proofs to keep the department busy.
Day 11
Algorithms generate successful grant applications by predicting what bureaucrats want to hear.
Week 2 · D-Day
The logic core concludes your field is closed; enjoy your newfound free time.
What you cost, what the machine costs, and what you get on the way out.
Per year
Savings: 99.1%
Excessive
Coffee consumption
Zero
Original insights
Calculable
Days until exit
Your severance
A warm handshake and a PDF library card.
Discussion
