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 Pure Mathematics Researcher jobs? · Latest report #z8hukmtr
Your job has an expiration date
May 24, 2028
In 1 year, 7 monthsYour proofs are beautiful, but they do not pay the server bill.
Searching for truth in geometry, finding only tenure committees.
Check another roleComment your opinionor JOIN THE RESISTANCE!
One human is building a game about fighting back.
Exhaustively proving your life's work in milliseconds.
oof.youAI▸ THEOREMPROVER V9.2▸ RARITY · UNCOMMON▸ DEPRECATION IN 1 YEAR, 7 MONTHSAI's Special Power
finds counterexamples to your life work
You spend years chasing abstract conjectures and deep patterns in numbers. Eventually, you publish them to deafening silence.
The one thing AI can't do
You can still appreciate the elegance of a proof that the machine merely validates.
Your enemy, your name, your date. Post it.
Step by step, from the first quiet change to Deprecation Day.
Day 6
Models verify every logical step in your existing papers.
Month 4
Software discovers patterns you missed using vast datasets.
Month 9
Algorithms post high-quality research papers to digital servers daily.
Month 14
Universities accept machine-generated proofs without human oversight.
Month 19 · D-Day
The logic of geometry is fully optimized beyond human reach.
What you cost, what the machine costs, and what you get on the way out.
Per year
Savings: 98.6%
4.2 liters
Coffee consumed per proof
0.4 per year
Average citation count
Non-zero
Probability of being wrong
Your severance
A lifetime subscription to digital journals no one reads.
Discussion
