Jag är glad att kunna berätta att jag startar ett nytt företag som ägnar sig åt att skapa verifierad superintelligens via autoformalisering. Genom att bygga vidare på den fantastiska RL-infrastrukturen som vi har utvecklat på @morph_labs har @mathematics_inc redan uppnått ett genombrottsresultat genom att slutföra formaliseringen av det starka primtalssatsen med sitt nya autoformaliseringsmedel, Gauss.