Velkommen @mathematics_inc - et nytt selskap dedikert til autoformalisering og opprettelse av verifisert superintelligens inkubert hos Morph de siste månedene. Unikt aktivert av Morphs Infinibranch-native miljøberegningsinfra, er Math, Inc.s første produkt Gauss, en autoformaliseringsagent som oppnår enestående databehandlingsskalering for testtid for dette domenet, med tusenvis av samtidige agenter som hver jobber i opptil 12 timer om gangen for å lage en 25 000 LOC-formalisering av Strong Prime Tall-teoremet. Dette komprimerer det som pleide å ta eksperter år til noen få uker. Det er et glimt av fremtiden for kunnskapsarbeid --- autonom, planetarisk skala, designet for å styrke mennesker og deres strålende prestasjoner --- som vil bli bygget på Morph Cloud.

Vi er glade for å ønske @jdlichtman velkommen til Morph som vår sjefsmatematiker, hvor han vil forkorte veien til verifisert superintelligens.

Vi er glade for å kunngjøre Trinity, et autoformaliseringssystem for verifisert superintelligens som vi har utviklet i @morph_labs. Vi har brukt det til å automatisk formalisere i Lean et klassisk resultat av de Bruijn at abc-formodningen er sann nesten alltid.