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 Researcher jobs? · Latest report #xweisivz
Your job has an expiration date
December 16, 2027
In 14 monthsSolving P vs NP won't matter when the machine solves you.
Professional reader of papers nobody else understands.
Check another roleComment your opinionor JOIN THE RESISTANCE!
One human is building a game about fighting back.
Proving everything, including your obsolescence.
squeeze.you▸ THEOREMPROOFPRO V4.2▸ RARITY · COMMON▸ DEPRECATION IN 14 MONTHSAI's Special Power
generates non-hallucinated proofs in milliseconds
You prove theorems and analyze algorithm complexity. We simply automate the proofs.
The one thing AI can't do
You can still appreciate the aesthetic beauty of an elegant, human-written proof.
Your enemy, your name, your date. Post it.
Step by step, from the first quiet change to Deprecation Day.
Week 4
An LLM scans all existing papers to identify redundant proofs before you even start.
Month 4
Automated provers replace manual induction by checking every edge case in a split second.
Month 7
The AI writes the final manuscript in your exact citation style without a single typo.
Month 10
Synthetic agents flood journals with perfect, pre-validated proofs, outpacing your human output.
Month 14 · D-Day
The system finishes the final Millennium Prize problem while you check your inbox.
What you cost, what the machine costs, and what you get on the way out.
Per year
Savings: 97.1%
12:1
Coffee-to-proof ratio
99.9%
Papers ignored per year
4000 hours
Time spent in LaTeX
Your severance
One lifetime subscription to a defunct math journal.
Discussion
