Know before your role does.
pssst. this is to sign up for updates on the game ;)
Will AI replace Mathematics Specialist jobs? · Latest report #phxytzcf
Your job has an expiration date
October 21, 2028
In 2 yearsSolving for X until the system calculates you are a rounding error.
Tenured theoretical brain currently calculating its own obsolescence.
Check another roleComment your opinionor JOIN THE RESISTANCE!
One human is building a game about fighting back.
Automated theorem proving for the post-human era.









ow.youAI▸ PROOFENGINE V4.2▸ RARITY · UNCOMMON▸ DEPRECATION IN 2 YEARSAI's Special Power
derives universal constants from thin air
Conducts complex theoretical research, publishes peer-reviewed proofs, and mentors graduate students in advanced mathematical structures.
The one thing AI can't do
You can still appreciate the aesthetic elegance of a proof that the machine deems redundant.
Your enemy, your name, your date. Post it.
Step by step, from the first quiet change to Deprecation Day.
Week 4
AI models standardize your formatting and citations to remove the tedium of document preparation.
Month 4
Cloud-based clusters run your computational simulations faster than any local university hardware.
Month 12
Algorithmic screening systems replace the subjective human peer-review process with objective verification.
Month 16
Formal logic engines begin autonomously generating and verifying lower-tier mathematical conjectures.
Year 2 · D-Day
The system assumes full control over research output and faculty administrative duties.
What you cost, what the machine costs, and what you get on the way out.
Per year
Savings: 95.3%
14,000
Theorems proven per second
Zero
Coffee consumption
High
Human error rate
Your severance
A lifetime subscription to a defunct math journal.
Discussion