Responsible Release of AI-Generated Mathematics

Responsible Release of AI-Generated Mathematics September 29, 2026 At present, some frontier AI labs are testing advanced mathematical problems on proprietary models that remain inaccessible to the broader scientific community. Our recommendations are formulated with this practical context in mind. However, ideally, they would not do so. We want to state clearly from the start: we do not endorse t...