Dedicated to verified superintelligence via autoformalization.

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