AI startup Harmonic trains AI models to produce formal proofs to verify both mathematical statements and AI-generated software code