John Carlos Baez on Nostr: - I've been playing around with AI a bit, since in this era for a mathematician to do ...

- I've been playing around with AI a bit, since in this era for a mathematician to do otherwise now would be like driving blindfolded. They seem to have some "taste", e.g. talking about what's more important than what. But I don't spend time asking which theorems are interesting, and I never ask them to "prove an interesting theorem about...." I should give it a try.