Trinity: An autoformalization system for verified superintelligence