Einer der Gründe, warum ich mich sehr auf neue Architekturen freue, ist, dass Probleme in der algebraischen Topologie grundlegende Intuitionen erfordern, die weit über einfache symbolische Manipulationen hinausgehen. Es ist oft viel einfacher, eine visuelle Skizze eines Isotopie-/Homotopie-basierten Arguments zu präsentieren, als präzise Formeln zu entwerfen und es vollständig formal zu machen. Ich hoffe, dass eine Kombination aus Weltmodellen, symbolischer Manipulation und Darstellungen von Objekt-Dynamiken ein Weg zu völlig neuen Architekturen ist. Wir brauchen sie, wenn wir schwierige mathematische Probleme lösen wollen, die über bloßen Text hinausgehen. Auf dem Bild (basierend auf arXiv: 2107.01664) sieht man, wie einfach es ist, das Handfessel-Paradoxon intuitiv zu erfassen, aber wie schwierig es wäre, es formal mit Formeln zu schreiben.