Logic, Explainability and the Future of Understanding (blog.stephenwolfram.com)

interesting—i wonder how this ties into "black box" AI algorithms.