Воеводский же ебнутый на всю голову. Т.е. шизофрения может и улучшает математические способности (т.е. умение запоминать разные забавные буквочки и составлять из них занятные узоры), но скорее всего проблемы там вроде “Банан велик, а кожура еще больше...”.

http://baaltii1.livejournal.com/198675.html

А вообще можно же его самого и спросить http://vividha.livejournal.com/1364.html#comments

https://www.quantamagazine.org/20150519-will-computers-redefine-the-roots-of-math/

Достаточно развёрнутый ответ самого Воеводского на вопрос "А вот какие проблемы пытаются решить адепты HoTT?":
https://www.ias.edu/ias-letter/voevodsky-origins

о, спасибо, наконец-то внятно более-или-менее про Htt