Es gibt keine Wand Der Autoformaliserungsagent Gauss von Math Inc. hat das Projekt „Starkes Primzahltheorem“ in nur 3 Wochen abgeschlossen – eine Aufgabe, an der selbst Terence Tao und Alex Kontorovich über 18 Monate gearbeitet hatten und bei der sie stecken geblieben waren. "Wir treten in ein Goldenes Zeitalter ein, in dem jeder künstliche Mathematiker für Forschungszwecke herbeirufen kann. Während verifiziertes Mathematik das Trainingsfeld für KI wird, schaffen wir maschinelle Universalisten, die menschliche Grenzen überschreiten werden – die von Neumanns des digitalen Zeitalters."