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 Modal Logician jobs? · Latest report #stxukwef
Your job has an expiration date
December 16, 2027
In 14 monthsYour possible worlds are shrinking to just one: the obsolete one.
Still waiting for a system that isn't inherently incomplete.
Check another roleComment your opinionor JOIN THE RESISTANCE!
One human is building a game about fighting back.
Truth verified in every single world.
toast.youAI▸ KRIPKESOLVER-X9▸ RARITY · UNCOMMON▸ DEPRECATION IN 14 MONTHSAI's Special Power
collapses all possible worlds into one output
You evaluate truth across potential realities using Kripke semantics. You define necessity and possibility for complex formal systems.
The one thing AI can't do
You can still appreciate the beautiful irony of a tautology in your native tongue.
Your enemy, your name, your date. Post it.
Step by step, from the first quiet change to Deprecation Day.
Week 4
Logic verification software identifies basic errors in your formal proofs.
Month 4
An LLM agent begins mapping accessibility relations across defined systems.
Month 8
AI models generate new proofs without human formalization intervention.
Month 12
All possible logical frameworks are consolidated into one unified interface.
Month 14 · D-Day
The machine proves the necessity of your own permanent unemployment.
What you cost, what the machine costs, and what you get on the way out.
Per year
Savings: 98.7%
4 billion
Worlds processed per second
Zero
Formal logical fallacies found
Null
Human nuance detected
Your severance
A one-way ticket to a non-Euclidean dreamscape.
Discussion
