header
Math, Inc.
A new company dedicated to autoformalization and the creation of verified superintelligence.