Non ci sono muri L'agente di autoformalizzazione di Math Inc., Gauss, ha completato il progetto "Teorema dei Numeri Primi Forti" in sole 3 settimane—un compito su cui anche Terence Tao e Alex Kontorovich avevano lavorato per oltre 18 mesi e su cui si erano bloccati. "Stiamo entrando in un'Era d'Oro in cui chiunque può evocare matematici artificiali per la ricerca. Mentre la matematica verificata diventa il campo di addestramento per l'AI, stiamo creando universalisti meccanici che trascenderanno le limitazioni umane—i von Neumann dell'era digitale."