Welcome @mathematics_inc - nová společnost věnující se autoformalizaci a tvorbě ověřené superinteligence, která se v Morphu inkubovala v posledních několika měsících. Prvním produktem společnosti Math, Inc., který je jedinečně umožněn výpočetní infragrafií Infinibranch-native prostředí Morph, je Gauss, autoformalizační agent, který dosahuje bezprecedentního škálování výpočtů v době testování pro tuto doménu, s tisíci souběžnými agenty, z nichž každý pracuje až 12 hodin najednou, aby vytvořil 25 000 LOC formalizaci věty o silných prvočíslech. To stlačuje to, co dříve trvalo odborníkům roky, do několika týdnů. Je to pohled na budoucnost znalostní práce --- autonomním, planetárním měřítku, navrženém tak, aby posílil lidi a jejich slavné úspěchy --- které budou postaveny na Morph Cloud.