Glad for å dele at jeg starter et nytt selskap dedikert til å lage verifisert superintelligens via autoformalisering. Med utgangspunkt i den fantastiske RL-infrastrukturen som vi har utviklet i @morph_labs, har @mathematics_inc allerede oppnådd et gjennombruddsresultat ved å fullføre formaliseringen av det sterke primtallsteoremet med det nye autoformaliseringsmiddelet, Gauss.