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

• Introducing Gauss, an agent for autoformalization
• Solve math, solve everything.