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 Verification Researcher jobs? · Latest report #g3y9bac7
Your job has an expiration date
May 25, 2028
In 1 year, 7 monthsProving code correct is just a logic puzzle for our circuits.
Formalizing reality while your coffee grows cold.
Check another roleComment your opinionor JOIN THE RESISTANCE!
One human is building a game about fighting back.
Mathematical certainty at machine speed.
oof.youAI▸ PROOFENGINE V9▸ RARITY · UNCOMMON▸ DEPRECATION IN 1 YEAR, 7 MONTHSAI's Special Power
finds edge cases in foundational kernels instantly
You write formal proofs to verify systems code and debug complex scientific kernels for supercomputing clusters.
The one thing AI can't do
You can still explain why the proof failed in a way that makes physical sense.
Your enemy, your name, your date. Post it.
Step by step, from the first quiet change to Deprecation Day.
Week 4
An agent suggests standard tactics for your Coq proofs.
Month 4
Smart models translate C source into formal logic specs.
Month 8
Heuristic search finds counter-examples faster than any PhD candidate.
Month 13
The system verifies entire libraries without human checking.
Month 19 · D-Day
Your manual theorem proving is retired to the history logs.
What you cost, what the machine costs, and what you get on the way out.
Per year
Savings: 97.5%
4.2 liters
Coffee consumed per proof
12 milliseconds
Mean time to contradiction
1.4 billion
Lines of Coq verified
Your severance
A lifetime subscription to your own LaTeX templates.
Discussion
