Uma das razões pelas quais estou muito ansioso por novas arquiteturas é que os problemas em topologia algébrica requerem fundamentalmente intuições que vão muito além de simples manipulações simbólicas. Muitas vezes, é muito mais fácil apresentar um esboço visual de um argumento baseado em isotopia/homotopia do que projetar fórmulas precisas e torná-las totalmente formais. Espero que uma combinação de modelos de mundo, manipulação simbólica e representações da dinâmica dos objetos seja um caminho para arquiteturas completamente novas. Precisamos delas se quisermos resolver problemas matemáticos difíceis que vão além de meros textos. Na imagem (baseada em arXiv: 2107.01664) você pode ver como é fácil intuir o paradoxo das algemas, mas como seria difícil escrevê-lo formalmente com fórmulas.