The fear is that AI will produce proofs no human can understand. The evidence suggests the opposite: the LLM disproof of the Erdős unit-distance conjecture produced human-interpretable ideas that mathematicians then used to prove brand-new theorems. Superhuman explaining, not just superhuman proving.