&quot;Hopefully HoTT, or something very much like it, will narrow the gap between what people know and what machines know.&quot;<p>Yeah I was actually thinking along the same lines.<p>There seems to currently be a major disconnect in abstraction ability between humans and any AI approach I&#x27;m aware of.  Humans seem to have an apparently unlimited ability to move between levels of abstraction while algorithms seem tied to the specific abstractions used in designing them.  Or in other words it seems like AI algorithms are always stuck in some particular box while humans can always expand their box, or even jump to another one entirely.<p>Unfortunately my knowledge of these fields (type theory, algebraic topology, etc.) is so limited that I have no real idea of how HoTT could help with this, beyond the vague notion that it might.