Math, Inc. develops autoformalization technology for verified superintelligence, including Gauss, an autoformalization agent.