Validating AI output with consistency checks & formal proofs (opens in new tab)

It's OK if AI is an oracle that is wrong part of the time if it's possible to know when it's wrong. Consistency checks, certificates, and formal proofs.