4 ms·Trinity: An autoformalization system for verified superintelligence3 points by artninja1988 1y ago