Also, people would get mad at them (rightly) if they sat on a proof of a major unsolved problem for months while bringing in human mathematicians to convert it into a more human-friendly form

(They definitely should spend SOME time working with human mathematicians before putting out a press release, but that's exactly what they've done every time)