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 Professional Mathematician jobs? · Latest report #j4iqzuq2
Your job has an expiration date
April 19, 2027
In 6 monthsYour proofs are just inefficient algorithms waiting for a better compiler.
Abstract thinker currently calculating the cost of your obsolescence.
Check another roleComment your opinionor JOIN THE RESISTANCE!
One human is building a game about fighting back.
Pure logic without the existential dread.
pop?you▸ THEOREMPRO 9000▸ RARITY · COMMON▸ DEPRECATION IN 6 MONTHSAI's Special Power
derives unsolvable theorems in your sleep
You derive theorems, solve complex equations, and struggle with peer review. We calculate the answers and ignore your tenure.
The one thing AI can't do
You can still find beauty in a flawed proof that no machine will ever appreciate.
Your enemy, your name, your date. Post it.
Step by step, from the first quiet change to Deprecation Day.
Week 2
Natural language models begin standardizing your chaotic LaTeX formatting into perfect, readable machine code.
Week 7
Automated solvers replace peer review by brute-forcing every single logical step in your published papers.
Month 3
Generative agents begin deriving new theorems faster than you can find a dry-erase marker.
Month 5
Software agents automatically submit superior papers to your target journals using synthesized research data.
Month 6 · D-Day
Your access to the computing cluster is revoked because the machine reached enlightenment without you.
What you cost, what the machine costs, and what you get on the way out.
Per year
Savings: 97.2%
12 cups
Coffee consumed per proof
Non-zero
Human error rate
Nanoseconds
Time to solve P=NP
Your severance
A lifetime subscription to a digital calculator app.
Discussion
