> I’m happier to have more questions answered than for fewer answered but in an artisanal fashion.

But the value in seeking mathematical answers was never in the answers themselves. It was in the things one discovers along the way, the questions asked, the tools developed. The artisanal fashion is the part that benefits non-mathematicians.

These AI proofs only serve as an I-told-you-so. They're not creating surrounding theory which can later turn out to have useful applications elsewhere.