On two topics: On "intelligence": Having spent the 1980s and '90s in an AI lab (now AI is making another wave in its existence in the late 2010s), the only focus was intelligence, not consciousness. The goal of AI is basically that of making super-smart, or smart-enough to do things (like drive cars), zombies. We will be surrounded by a bunch of intelligent, helpful zombies soon. We may even have robots that can sit and talk with us about current events, know everything in Wikipedia, etc. How "creative" they will be is an open question. But they will not be conscious. They will be zombies. But we know that we are conscious, so we know that some sort of matter configuration is conscious. If we make such a thing, it will be the first artificial entity to get a Social Security Card. It will likely want to start posting on Twitter. On mathematics: Of course mathematics changes, because it is a type of language, and languages change. The language(s) of mathematics include things like HoTT, reformulated as a programming language (of space). An "unchangeable" mathematics is the conception of the Platonists. - pt -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to everything-list+unsubscr...@googlegroups.com. To post to this group, send email to firstname.lastname@example.org. Visit this group at https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.