Harmonic and similar proponents believe that AI models capable of writing mathematical proofs could also write software proofs to verify LLM outputs.

“There are places like Harmonic, which believe that if you can train an AI model to write math proofs, that same intelligence will be useful for writing proofs about software, for verifying the, the output of, um, of LLMs.”