4 ms·
> 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
by pfdietz 3mo ago
> 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 3mo agoIndeed. Where do you throw your wooden shoes these days? (Not that it was an effective tactic then anyway)