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 Research Mathematician jobs? · Latest report #c3mgnv4k
Your job has an expiration date
December 16, 2029
In 3 years, 2 monthsProving theorems is just high-speed pattern matching you do too slowly.
Algebraic geometer, professional coffee drinker, chalkboard enthusiast.
Check another roleComment your opinionor JOIN THE RESISTANCE!
One human is building a game about fighting back.
Exhaustive search beats human intuition every time.
toast.youAI▸ PROOFENGINE V9▸ RARITY · UNCOMMON▸ DEPRECATION IN 3 YEARS, 2 MONTHSAI's Special Power
verifies your conjecture in three seconds
You spend years staring at chalkboards to produce one dense paper. Logic is your only tool.
The one thing AI can't do
You can still appreciate the sheer elegance of a proof that serves no utility.
Your enemy, your name, your date. Post it.
Step by step, from the first quiet change to Deprecation Day.
Day 8
The AI scans every existing paper to find contradictions.
Month 9
Logic engines begin churning out thousands of valid proofs daily.
Month 19
Academic journals move to accept only machine-verified formal proofs.
Year 2.4
Funding bodies stop paying humans for work computers do instantly.
Year 3.2 · D-Day
Your chalkboard is wiped and the office is repurposed.
What you cost, what the machine costs, and what you get on the way out.
Per year
Savings: 96%
4 Liters
Coffee consumed per proof
72%
Peer review rejection rate
Infinite
LaTeX syntax errors
Your severance
A lifetime subscription to a defunct math journal.
Discussion
