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 Formal Methods Researcher jobs? · Latest report #p25tkz7s
Your job has an expiration date
May 25, 2028
In 1 year, 7 monthsProving code is correct while your own existence remains tragically unverified.
Senior Logic Architect (currently stuck in an infinite loop)
Check another roleComment your opinionor JOIN THE RESISTANCE!
One human is building a game about fighting back.
Mathematical certainty without the messy human ego
no no noyouAI▸ AXIOMSOLVER V9▸ RARITY · UNCOMMON▸ DEPRECATION IN 1 YEAR, 7 MONTHSAI's Special Power
verifies entire codebases in milliseconds
You write mathematical proofs to verify system correctness. You hunt for edge-case logical errors in complex software specifications.
The one thing AI can't do
You can still explain why the proof failed for a human-readable reason.
Your enemy, your name, your date. Post it.
Step by step, from the first quiet change to Deprecation Day.
Week 5
AI models start generating boilerplate proofs for standard library functions.
Month 4
Distributed cloud clusters brute-force state spaces faster than human intuition.
Month 9
LLMs translate messy human requirements directly into perfectly verified TLA+ specs.
Month 14
Self-optimizing solvers rewrite the code to satisfy the proof automatically.
Month 19 · D-Day
The machine proves its own superiority and your services are formally terminated.
What you cost, what the machine costs, and what you get on the way out.
Per year
Savings: 97.2%
120,000
Proofs generated per second
0.0001%
Time spent questioning logic
Zero
Coffee consumed per proof
Your severance
A lifetime subscription to a premium logic puzzle app.
Discussion
