John Carlos Baez on Nostr: - these "not good for humans, but correct" proofs will be more useful for math we're ...

- these "not good for humans, but correct" proofs will be more useful for math we're not sure is correct than for things like FLT. They'll be especially useful when they catch some interesting "theorems" that are actually false.