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 Researcher jobs? · Latest report #wqxgfmsy
Your job has an expiration date
May 25, 2028
In 1 year, 7 monthsSolving the Millennium Prize problems, but only once it becomes profitable.
Proof seeker, coffee drinker, whiteboard eraser enthusiast.
Check another roleComment your opinionor JOIN THE RESISTANCE!
One human is building a game about fighting back.
Proof verification at light speed
squeeze.youAI▸ THEOREMPROVER 9000▸ RARITY · UNCOMMON▸ DEPRECATION IN 1 YEAR, 7 MONTHSAI's Special Power
derives complex proofs in three milliseconds
You spend years chasing abstract proofs and writing dense papers. The machine will just iterate through the proofs.
The one thing AI can't do
You can still explain why a beautiful proof is elegant instead of just true.
Your enemy, your name, your date. Post it.
Step by step, from the first quiet change to Deprecation Day.
Day 6
AI starts scanning every published paper to find your obscure edge cases.
Week 11
Formal language models start converting your intuition into machine-verifiable code.
Month 6
Algorithms begin rejecting human submissions for being mathematically untidy.
Month 12
Pattern matching systems begin identifying breakthrough theorems before humans conceive them.
Month 19 · D-Day
Every unsolved math problem is resolved by brute force logic engines.
What you cost, what the machine costs, and what you get on the way out.
Per year
Savings: 95.3%
Excessive
Coffee consumption rate
99 percent
Papers ignored
Infinite
Average proof cycles
Your severance
A lifetime subscription to digital chalk.
Discussion
