Sunt încântat să vă împărtășesc că înființez o nouă companie dedicată creării de superinteligență verificată prin autoformalizare. Bazându-se pe uimitoarea infrastructură RL pe care am dezvoltat-o la @morph_labs, @mathematics_inc a obținut deja un rezultat revoluționar prin finalizarea formalizării teoremei numerelor prime puternice cu noul său agent de autoformalizare, Gauss.