That's interesting - I didn't know Scholze had eschewed AI altogether. I am less confident that less established mathematicians will be able to afford to keep up such a strict policy.
Well, I accept that my question might be a little premature - but perhaps still worth considering, even if as part of a grieving process.