Even if you somehow have a 100% correct AI, it's not useful unless we can understand and internalise (and communicate) its results.
Who is this "we" you speak of? The professional mathematician community? Were pre-AI results useful outside of this community of people who could understand them?
Who is this "we" you speak of? The professional mathematician community? Were pre-AI results useful outside of this community of people who could understand them?