Announcing the formation of Harmonic, a commercial AI research lab building Mathematical Superintelligence (MSI). 1/