Одна из причин, по которой я с нетерпением жду новых архитектур, заключается в том, что проблемы в алгебраической топологии требуют интуиций, которые выходят далеко за пределы простых символических манипуляций. Часто гораздо проще представить визуальный набросок аргумента, основанного на изотопии/гомотопии, чем разработать точные формулы и сделать это полностью формально. Я надеюсь, что комбинация мировых моделей, символических манипуляций и представлений динамики объектов является путем к совершенно новым архитектурам. Они нам нужны, если мы хотим решить сложные математические задачи, которые выходят за рамки простого текста. На картинке (основанной на arXiv: 2107.01664) вы можете увидеть, как легко интуитивно понять парадокс наручников, но как трудно было бы записать его формально с помощью формул.