Tervetuloa @mathematics_inc - uusi yritys, joka on omistautunut automaattiselle formalisoinnille ja todennetun superälyn luomiselle, hautoi Morphissa viime kuukausina. Math, Inc:n ensimmäinen tuote on Gauss, automaattinen formalisointiagentti, joka saavuttaa ennennäkemättömän testiaikaisen laskennan skaalauksen tälle alueelle, ja tuhannet samanaikaiset agentit työskentelevät kukin jopa 12 tuntia kerrallaan luodakseen 25 000 LOC:n formalisoinnin vahvasta alkulukulauseesta. Tämä tiivistää sen, mikä ennen vei asiantuntijoilta vuosia, muutamaan viikkoon. Se on välähdys tietotyön tulevaisuudesta --- autonominen, planetaarinen mittakaava, joka on suunniteltu voimaannuttamaan ihmisiä ja heidän loistavia saavutuksiaan --- jotka rakennetaan Morph Cloudiin.