Hari ini kami mengumumkan Gauss, agen autoformalisasi pertama kami yang baru saja menyelesaikan Konsolidasi Teori String Terry Tao & Alex Kontorovich.

Halaman ini mungkin berisi konten pihak ketiga, yang disediakan untuk tujuan informasi saja (bukan pernyataan/jaminan) dan tidak boleh dianggap sebagai dukungan terhadap pandangannya oleh Gate, atau sebagai nasihat keuangan atau profesional. Lihat Penafian untuk detailnya.