Unul dintre motivele pentru care aștept cu nerăbdare noi arhitecturi este că problemele din topologia algebrică necesită fundamental intuiții care depășesc cu mult simplele manipulări simbolice. Este adesea mult mai ușor să prezinți o schiță vizuală a unui argument bazat pe izotopie/homotopie decât să proiectezi formule precise și să le faci complet formale. Sper ca o combinație de modele de lume, manipulare simbolică și reprezentări ale dinamicii obiectelor să fie o cale către arhitecturi complet noi. Avem nevoie de ele dacă vrem să rezolvăm probleme matematice dificile care depășesc simplul text. În imagine (bazată pe arXiv: 2107.01664) poți vedea cât de ușor este să intuiești paradoxul cătușelor, dar cât de greu ar fi să-l scrii formal cu formule.