Welcome @mathematics_inc - sebuah perusahaan baru yang didedikasikan untuk autoformalisasi dan penciptaan superintelligence terverifikasi yang diinkubasi di Morph selama beberapa bulan terakhir. Diaktifkan secara unik oleh infra komputasi lingkungan asli Infinibranch Morph, produk pertama Math, Inc. adalah Gauss, agen formalisasi otomatis yang mencapai penskalaan komputasi waktu pengujian yang belum pernah terjadi sebelumnya untuk domain ini, dengan ribuan agen bersamaan masing-masing bekerja hingga 12 jam pada satu waktu untuk membuat formalisasi 25.000 LOC dari Teorema Bilangan Prima Kuat. Ini memampatkan apa yang dulu memakan waktu bertahun-tahun menjadi beberapa minggu. Ini adalah sekilas tentang masa depan pekerjaan pengetahuan --- otonom, skala planet, yang dirancang untuk memberdayakan manusia dan pencapaian gemilang mereka --- yang akan dibangun di atas Morph Cloud.

Kami sangat senang menyambut @jdlichtman ke Morph sebagai kepala matematikawan kami, di mana dia akan mempersingkat jalan menuju kecerdasan super yang terverifikasi.

Kami dengan senang hati mengumumkan Trinity, sistem autoformalisasi untuk kecerdasan super terverifikasi yang telah kami kembangkan di @morph_labs. Kami telah menggunakannya untuk secara otomatis memformalkan dalam Lean hasil klasik de Bruijn bahwa dugaan abc hampir selalu benar.