Välkommen @mathematics_inc - ett nytt företag som ägnar sig åt autoformalisering och skapandet av verifierad superintelligens som inkuberats på Morph under de senaste månaderna. Math, Inc.:s första produkt, som är unikt aktiverad av Morphs Infinibranch-inbyggda miljö compute infra, är Gauss, en autoformaliseringsagent som uppnår oöverträffad beräkningsskalning vid testtid för den här domänen, med tusentals samtidiga agenter som var och en arbetar i upp till 12 timmar åt gången för att skapa en 25 000 LOC-formalisering av det starka primtalssatsen. Detta komprimerar det som brukade ta experter år till några veckor. Det är en glimt av framtiden för kunskapsarbete --- autonom, planetär skala, utformat för att stärka människor och deras fantastiska prestationer --- som kommer att byggas på Morph Cloud.

Vi är glada över att välkomna @jdlichtman till Morph som vår chefsmatematiker, där han kommer att förkorta vägen till verifierad superintelligens.

Vi är glada över att kunna presentera Trinity, ett autoformaliseringssystem för verifierad superintelligens som vi har utvecklat vid @morph_labs. Vi har använt det för att automatiskt formalisera i Lean ett klassiskt resultat av de Bruijn att abc-förmodan nästan alltid är sann.