from Hacker News

Trinity: An autoformalization system for verified superintelligence

by artninja1988 on 6/12/25, 7:02 PM with 0 comments