AI 时代数学研究能否保持以人为核心？

AI 模型的数学证明产出正在冲击传统数学界的协作与验证模式。OpenAI 批量发布 722 篇未经公开数据和方法的 AI 数学手稿，引发学者对未经人工审核的内容淹没数学社区的担忧。