That is, unfortunately, a tiny niche where there even exists a way of formally verifying that the AI's output makes sense.