개인이 제도적 허가 없이 스스로 진실을 검증할 수 있는 능력을 갖게 될 때 인류는 발전합니다. 저희는 자동 형식화 확장, 검증된 초지능 창조, 그리고 진실의 자유를 향한 사명을 위해 @robotventures와 협력하게 되어 매우 기쁩니다. twitter.com/mathematics_inc/st...