Responsible Release of AI-Generated Mathematics

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 this practice, and we ask them to stop testing advanced mathematical problems on proprietary models. The mathematical community has long-standing norms concerning the dissemination and peer review of results. These norms have been essential for the reliability, trustworthiness, and effectiveness of mathematical work. One of the most important scholarly norms in mathematics is that the authors of a paper should understand the mathematical argument of that paper, have verified its correctness themselves, and take full responsibility for the content. Moreover, in the mathematical community, authors of works that significantly advance the field regularly give seminars at other institutions and talks at conferences, explaining their new developments and answering questions from colleagues. This all works towards developing the deepest possible human understanding of mathematics, which is one of the crowning glories of millennia of human development.