[pfdietz]

> This is all a depressing and bleak future that I don’t look forward to.

Or, for the vast majority of humanity who aren't professional mathematicians, it's a liberating and empowering advancement.

I'm sorry if the automated digital theorem looms are eliminating the market for your handwoven proofs.

[My_Name]

Indeed. Where do you throw your wooden shoes these days? (Not that it was an effective tactic then anyway)