Responsible Release of AI-Generated Mathematics Link: https://agmai.org/general-sep29/ Discussion: https://news.ycombinator.com/item?id=49903713