A new report outlines recommendations for the responsible release of AI-generated mathematics as frontier labs test advanced problems on closed, proprietary models. While the guidelines address this current landscape of restricted access, the authors argue that AI labs should ideally stop keeping these capabilities hidden. Instead, they urge developers to share advanced mathematical tools openly with the broader scientific community to foster collaborative research.