Personally, I found that people are impressed with AI for subjects they simply don't understand, and when an expert works with AI, they're often underwhelmed. So while we're seeing some mathematics being automated and proved, I think there's a long way to go before we automate proofs with meaningful human value.