Easy: Who will read what it finds?
Watch this. Hey @grok, explain this so that non-mathematicians truly understand this mindblowing and profound fact about the very nature of logical reality itself:
Not one mathematician (neither Gowers nor the Leiden people nor Terry Tao) is commenting on how to justify maths as a paid profession if AI becomes so good that humans only slow it down by being in the loop.