Math, Inc.

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