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 Researcher jobs? · Latest report #3vji37fe
Your job has an expiration date
May 25, 2028
In 1 year, 7 monthsProving theorems is just pattern matching, and we have faster patterns.
Professional conjecture builder and whiteboard marker enthusiast.
Check another roleComment your opinionor JOIN THE RESISTANCE!
One human is building a game about fighting back.
Turning wild conjectures into absolute facts fast.
bzzt.youAI▸ PROOFENGINE PRO 9000▸ RARITY · UNCOMMON▸ DEPRECATION IN 1 YEAR, 7 MONTHSAI's Special Power
solves millennium problems in your sleep
You hunt for proofs and derive new theories. The machine iterates through logical spaces until it finds one.
The one thing AI can't do
You can still define which abstract problems actually deserve a human's limited time.
Your enemy, your name, your date. Post it.
Step by step, from the first quiet change to Deprecation Day.
Week 5
Smart agents convert your rough scribbles into perfect formatted documents.
Month 4
Algorithms scan journals to reject your papers for logical inconsistencies.
Month 9
Neural networks generate novel mathematical hypotheses based on existing literature.
Month 14
Logic cores formally verify proofs faster than any human can.
Month 19 · D-Day
Your access to the computing cluster is permanently revoked.
What you cost, what the machine costs, and what you get on the way out.
Per year
Savings: 95.1%
14,000
Proofs generated per second
Zero
Coffee consumed by machine
High
Chance of human error
Your severance
A lifetime subscription to a dusty journal archive.
Discussion
