Tidak ada dinding Agen autoformalisasi Math Inc., Gauss, menyelesaikan proyek "Teorema Bilangan Prima Kuat" hanya dalam 3 minggu—sebuah tugas yang bahkan telah dikerjakan oleh Terence Tao & Alex Kontorovich selama lebih dari 18 bulan dan telah terjebak. "Kita memasuki Zaman Keemasan di mana siapa pun dapat memanggil matematikawan buatan untuk penelitian. Ketika matematika terverifikasi menjadi tempat pelatihan AI, kami menciptakan universalis mesin yang akan melampaui keterbatasan manusia—von Neumann di era digital."