《黑客新闻》的一则讨论帖围绕一项由数学家主导的提案展开，该提案主张对人工智能生成的数学成果实行“负责任的发布”。它要求前沿人工智能实验室停止使用外界无法访问的专有模型来检验重大开放问题的解答，通过同行评审公开清晰、可验证的研究成果，正确引用已有文献，并出资帮助人们理解重要成果；至于研究方向，则应由整个研究社区决定。 支持者认为，私有且资本密集的系统可能使数学研究的前沿被少数财力雄厚的实验室主导，削弱数学教育和研究职业的发展，并催生不透明的证明——这类证明或许能够推进问题解决，却无法帮助人们形成真正的理解。他们强调可及性、协作，以及维护数学界提出新问题的能力。 批评者则称这种做法是在实行把关和特权化。他们认为，数学成果应向所有人开放，实验室应当可以自由追求新的发现，或将这些成果用作基准；资助人类进行解读，也可能使既有数学家占据优势。相比施加限制，他们更倾向于发展更好的开放模型和易用的工具，以加快发现的速度。另一些人指出，一项完整的证明可以被检验，无须开放模型的推理过程。