Responsible Release of AI-Generated Mathematics

· Hacker News