Instead of relying solely on human auditors, developers may increasingly use AI to mathematically prove code behaves correctly.