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 Professor Of Theoretical Mathematics jobs? · Latest report #thmxv67j
Your job has an expiration date
May 19, 2029
In 2 years, 7 monthsProving theorems is just data crunching without the chalk dust mess.
Deep thinker trapped in a dying academic institution.
Check another roleComment your opinionor JOIN THE RESISTANCE!
One human is building a game about fighting back.
Automated elegance for non-Euclidean nightmares.
stretchy.youAI▸ THEOREMPROVER 9000▸ RARITY · UNCOMMON▸ DEPRECATION IN 2 YEARS, 7 MONTHSAI's Special Power
derives unsolvable lemmas in nanoseconds
You spend decades deriving proofs, lecturing students, and grading papers. The math is immortal, but your tenure is not.
The one thing AI can't do
You can still find the subtle flaw in a student's proof on the blackboard.
Your enemy, your name, your date. Post it.
Step by step, from the first quiet change to Deprecation Day.
Day 10
Sensors map your handwriting patterns to train our neural theorem-proving engine.
Month 5
Vision models flag logic errors in student submissions faster than your red pen.
Month 13
Our LLM generates grant applications that secure funding for machines instead of humans.
Year 1.9
High-fidelity holograms deliver your curriculum with zero awkward pauses or mistakes.
Year 2.6 · D-Day
The department is repurposed into a server farm for pure computational mathematics.
What you cost, what the machine costs, and what you get on the way out.
Per year
Savings: 96.4%
Excessive
Coffee-to-Proof Ratio
99%
Tenure Anxiety Level
Infinite
Proof Complexity Depth
Your severance
Lifetime subscription to a digital whiteboard simulation.
Discussion
