@janbogar@mastodonczech.cz @tao@mathstodon.xyz It depends on what math is _for_, really. It's quite surprising to me how unanswered that question now turns out to be. If it's for sending rockets to mars, a reliable AI is all we need and we can just watch Netflix, but I think a lot of the drive behind modern math is about what it does in and to our brains.