L'une des raisons pour lesquelles j'attends avec impatience de nouvelles architectures est que les problèmes en topologie algébrique nécessitent fondamentalement des intuitions qui vont bien au-delà de simples manipulations symboliques. Il est souvent beaucoup plus facile de présenter un croquis visuel d'un argument basé sur l'isotopie/homotopie que de concevoir des formules précises et de le rendre entièrement formel. J'espère qu'une combinaison de modèles du monde, de manipulation symbolique et de représentations de la dynamique des objets est un chemin vers des architectures complètement nouvelles. Nous en avons besoin si nous voulons résoudre des problèmes mathématiques difficiles qui vont au-delà du simple texte. Sur l'image (basée sur arXiv: 2107.01664), vous pouvez voir à quel point il est facile d'intuiter le paradoxe des menottes mais à quel point il serait difficile de l'écrire formellement avec des formules.