Comment by pjc50

Does it matter whether any of this is correct?

(Mathematics at least has the potential for automated non-AI proof checking, although I don't think that's as widely used as you'd expect)