Responsible Release of AI-Generated Mathematics