Ich freue mich, mitteilen zu können, dass ich ein neues Unternehmen gründe, das sich der Schaffung von verifizierter Superintelligenz durch Autoformalisierung widmet. Auf der erstaunlichen RL-Infrastruktur, die wir bei @morph_labs entwickelt haben, hat @mathematics_inc bereits einen Durchbruch erzielt, indem es die Formalisierung des starken Primzahlsatzes mit seinem neuen Autoformalisierungsagenten, Gauss, abgeschlossen hat.