Senang berbagi bahwa saya memulai perusahaan baru yang didedikasikan untuk penciptaan superintelligence terverifikasi melalui autoformalisasi. Membangun infrastruktur RL luar biasa yang telah kami kembangkan di @morph_labs, @mathematics_inc telah mencapai hasil terobosan dengan menyelesaikan formalisasi teorema bilangan prima kuat dengan agen autoformalisasi barunya, Gauss.