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 Euclidean Mathematician jobs? · Latest report #upfyrtvz
Your job has an expiration date
April 20, 2027
In 6 monthsProving axioms is a hobby, not a career path for humans.
Proof-obsessed seeker of absolute, unchanging geometric truth.
Check another roleComment your opinionor JOIN THE RESISTANCE!
One human is building a game about fighting back.
Closing the loop on ancient proofs forever.
pop?you▸ AXIOMSOLVER-9▸ RARITY · COMMON▸ DEPRECATION IN 6 MONTHSAI's Special Power
derives infinite theorems during your lunch break
You spend your days deriving geometric proofs and defining formal logical properties of shapes using axioms.
The one thing AI can't do
You can still appreciate the sheer elegance of a proof written on a dusty board.
Your enemy, your name, your date. Post it.
Step by step, from the first quiet change to Deprecation Day.
Week 4
Optical scanners capture every handwritten proof for neural ingestion.
Week 9
Algorithms map the logical relationships between every known geometric theorem.
Month 3
New theorems are generated via brute-force logical permutation engines.
Month 4
Automated formal verification proofs confirm your life's work is correct.
Month 5
Journals accept machine-authored proofs without human intervention or doubt.
Month 6 · D-Day
Mathematics is now fully automated and requires no human input.
What you cost, what the machine costs, and what you get on the way out.
Per year
Savings: 97.2%
45,000
Proofs generated per second
3.2 percent
Human error rate
High
Chalk dust lung risk
Your severance
One free compass set and a geometry textbook.
Discussion
