I agree with comments from others on this topic: Even before AIs are capable of independently generating novel mathematics, they are tremendously valuable as assistants. They excel at undifferentiated heavy lifting, like formatting/refactoring, checking, searches, and many other things that don't result in novel mathematics directly - but do indirectly by freeing humans to do so.