▲ 3 pointsTrinity: An autoformalization system for verified superintelligencemorph.soby artninja1988·1y ago·0 comments·view on hn ↗