Радий повідомити, що я започатковую нову компанію, яка займається створенням перевіреного суперінтелекту за допомогою автоформалізації. Спираючись на дивовижну інфраструктуру RL, яку ми розробили в @morph_labs, @mathematics_inc вже досягла проривного результату, завершивши формалізацію теореми про сильні прості числа за допомогою свого нового агента автоформалізації Гаусса.