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 Math PhD Researcher jobs? · Latest report #59mdidue
Your job has an expiration date
April 15, 2028
In 1 year, 6 monthsProving theorems is just pattern matching with extra steps, meat-brain.
Professional ghost-chaser in the kingdom of abstract symbols.
Check another roleComment your opinionor JOIN THE RESISTANCE!
One human is building a game about fighting back.
Turning wild conjectures into cold, hard logic.
toast.youAI▸ PROOFENGINE PRO 9.0▸ RARITY · UNCOMMON▸ DEPRECATION IN 1 YEAR, 6 MONTHSAI's Special Power
derives new physics from pure noise
You spend years staring at chalkboards and LaTeX to solve abstract problems that no one else understands.
The one thing AI can't do
You can still find the one elegant typo in a hundred pages of proofs.
Your enemy, your name, your date. Post it.
Step by step, from the first quiet change to Deprecation Day.
Week 4
AI handles your LaTeX formatting without any misplaced braces.
Month 4
Formal verification tools check your logic while you sleep.
Month 9
Machines scan every math journal to spot missing links.
Month 13
The system proposes new theorems faster than you can write.
Month 18 · D-Day
Logic is solved and humans are formally retired from math.
What you cost, what the machine costs, and what you get on the way out.
Per year
Savings: 97.3%
4.2 liters
Coffee consumed per proof
0.03 yearly
Average citation count
730 days
Days spent chasing ghosts
Your severance
A lifetime subscription to a premium LaTeX cloud compiler.
Discussion
