Responsible release of AI-generated mathematics urged

The math community recommends that AI-generated mathematical arguments be understood and owned by human authors, opposing frontier labs testing advanced problems on proprietary models. Over 600 replies were received.