Olen innoissani voidessani kertoa, että olen perustamassa uutta yritystä, joka on omistautunut todennetun superälyn luomiseen automaattisen formalisoinnin avulla. @morph_labs:ssä kehittämämme hämmästyttävän RL-infrastruktuurin pohjalta @mathematics_inc on jo saavuttanut läpimurtotuloksen viimeistelemällä vahvan alkulukulauseen formalisoinnin uudella automaattisella agentillaan, Gaussilla.