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.

Olemme innoissamme voidessamme toivottaa @jdlichtman tervetulleeksi Morphiin päämatemaatikoksi, jossa hän lyhentää tietä vahvistettuun superälyyn.

Olemme innoissamme voidessamme julkistaa Trinityn, automaattisen formalisointijärjestelmän todennetulle superälylle, jonka olemme kehittäneet @morph_labs. Olemme käyttäneet sitä virallistamaan automaattisesti Leanissa de Bruijnin klassisen tuloksen, jonka mukaan abc-olettamus on totta lähes aina.