“The ultimate vision for Harmonic is to create an AI model that can take a picture of the Riemann hypothesis and generate a formally verified proof.”