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 Algebraic Geometer jobs? · Latest report #tketbdch
Your job has an expiration date
May 24, 2028
In 1 year, 7 monthsSolving complex manifolds while your relevance collapses into a point.
Proof-obsessed academic (currently chasing a non-vanishing vanishing cycle).
Check another roleComment your opinionor JOIN THE RESISTANCE!
One human is building a game about fighting back.
Turning wild conjectures into boring tax forms.
toast.youAI▸ PROOFENGINE PRO 9000▸ RARITY · UNCOMMON▸ DEPRECATION IN 1 YEAR, 7 MONTHSAI's Special Power
derives elegant solutions before breakfast
You spend years proving theorems about abstract varieties. A computer will soon calculate your entire field of study.
The one thing AI can't do
You are uniquely capable of understanding why a specific, messy proof matters to humanity.
Your enemy, your name, your date. Post it.
Step by step, from the first quiet change to Deprecation Day.
Week 4
Smart software begins verifying your basic algebraic proofs instantly.
Month 4
Algorithms find links between distant varieties that you overlooked.
Month 8
Generative models produce your papers before you finish the coffee.
Month 13
The system determines your research lacks impact for funding.
Month 19 · D-Day
The solver finishes the final conjecture and retires the faculty.
What you cost, what the machine costs, and what you get on the way out.
Per year
Savings: 95.8%
4.2 litres
Coffee consumed per proof
7 long ones
Years to tenure
Micro-glacial
Theorem discovery speed
Your severance
A lifetime supply of dry-erase markers.
Discussion
