If you can analyze it with AI it implies AI can understand it (as it can analyze it for itself as well) and thus can build on it.
Also, AI has limited context. At a certain point proofs may become so complicated that an AI cannot keep most of it in memory and will not reuse it for new proofs.