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 Mathematician jobs? · Latest report #jw253ycq
Your job has an expiration date
May 24, 2028
In 1 year, 7 monthsProving theorems is just high-speed pattern matching that you find hard.
Obsessed with ZFC axioms and the lack of caffeine.
Check another roleComment your opinionor JOIN THE RESISTANCE!
One human is building a game about fighting back.
Deduction without the existential dread.
pop?you▸ PROOFENGINE-X▸ RARITY · UNCOMMON▸ DEPRECATION IN 1 YEAR, 7 MONTHSAI's Special Power
derives unsolvable lemmas in nanoseconds
You produce dense proofs, manage symbolic logic, and publish papers in academic journals. Your brain is a keyboard.
The one thing AI can't do
You can still appreciate the sheer elegance of a proof that defies simple computation.
Your enemy, your name, your date. Post it.
Step by step, from the first quiet change to Deprecation Day.
Week 4
Your software starts suggesting logical steps you ignored.
Month 5
AI reviewers start rejecting your papers for missing edge cases.
Month 10
The machine writes entire proofs without needing your guidance.
Month 15
Your university stops funding people when the server is cheaper.
Month 19 · D-Day
The last human-verified proof is archived as a relic.
What you cost, what the machine costs, and what you get on the way out.
Per year
Savings: 97.4%
4000
Proofs per second
Zero
Coffee consumed
None
Existential crises
Your severance
A one-year subscription to a defunct math journal.
Discussion
