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