A new company dedicated to autoformalization and the creation of
verified superintelligence.

• Solve math, solve everything.
• Introducing Gauss, an agent for autoformalization
• Announcing the Veritas Fellowships
• A conversation with Terry Tao, inaugural Veritas Fellow