数学社区呼吁AI实验室负责任地发布AI生成数学成果

数学社区发布建议文档，呼吁前沿AI实验室停止在闭源模型上测试高级数学问题，要求其负责任地发布AI生成的数学成果，包括提供详细的技术文档、形式化证明、支持人类理解的发展，并确保广泛的模型访问权。