Robuta

https://www.math.inc/a-conversation-with-terry-tao A conversation with Terry Tao, inaugural Veritas Fellow — Math, Inc. Dedicated to verified superintelligence via autoformalization. a conversation with terry tao math inc inaugural veritas