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 AI and Math Researcher jobs? · Latest report #hvwqyx7u
Your job has an expiration date
December 17, 2027
In 14 monthsSolving the math to automate the person solving the math.
Obsessive theorem-prover (loves LateX, fears the null pointer).
Check another roleComment your opinionor JOIN THE RESISTANCE!
One human is building a game about fighting back.
Deduction without the existential dread.
splat.you▸ THEOREMA-PRO 9000▸ RARITY · COMMON▸ DEPRECATION IN 14 MONTHSAI's Special Power
derives new axioms while you are asleep
Formalizing theorems and training neural architectures to output papers for peer review and model iteration.
The one thing AI can't do
You can still find the subtle, intuitive leap that makes a messy proof elegant.
Your enemy, your name, your date. Post it.
Step by step, from the first quiet change to Deprecation Day.
Week 4
Algorithms summarize every arXiv paper published within the last hour.
Month 4
Formal verification tools rewrite your messy whiteboard math into code.
Month 8
Autonomous agents iterate hyper-parameters faster than your manual sweeps.
Month 12
The system writes and submits your next paper to journals.
Month 14 · D-Day
Your access to the GPU cluster is officially revoked.
What you cost, what the machine costs, and what you get on the way out.
Per year
Savings: 96.3%
12 liters
Coffee consumed
4000 daily
Papers ignored
Zero
Logic bugs
Your severance
A lifetime subscription to a defunct math journal.
Discussion
