Er is geen muur De autoformalisering agent Gauss van Math Inc. voltooide het project "Sterke Priemgetaltheorema" in slechts 3 weken - een taak waar zelfs Terence Tao en Alex Kontorovich meer dan 18 maanden aan hadden gewerkt en vastgelopen waren. "We betreden een Gouden Tijdperk waarin iedereen kunstmatige wiskundigen kan oproepen voor onderzoek. Terwijl geverifieerde wiskunde het trainingsveld voor AI wordt, creëren we machine-universalisten die menselijke beperkingen zullen overstijgen - de von Neumanns van het digitale tijdperk."