近日，OpenAI 在 GitHub 上一次性公开了 722 篇由内部 AI 模型生成的数学手稿，涉及 372 个成果组，覆盖数论、几何、代数、理论计算机科学等多个领域，其中甚至包含多道长期困扰数学家的著名开放难题。消息一出，舆论哗然，”未来是否还需要研究数学””AI 是否要取代数学家”等话题迅速升温。
事件背景
生成式 AI 在形式化证明与数学探索上的能力早已被业界关注，但如此大规模、成体系地公开”机器产出”的研究手稿尚属罕见。这批手稿并非最终定稿的论文，而是 AI 在探索过程中的推理轨迹与候选结论，其价值与风险同样突出。
核心内容
- 公开规模：722 篇手稿、372 个成果组，横跨数论、几何、代数与理论计算机科学；
- 引发讨论：部分成果涉及著名开放难题，公众担忧 AI 会”抢走”数学家的饭碗；
- 权威回应：10 月 11 日，丘成桐数学与人工智能实验室联盟在清华大学成立。丘成桐、席南华、何旭华、田野等数学家在清华求真书院回应外界疑问，强调 AI 只能探索已有问题，无法替代人类数学家的思考。
影响与解读
丘成桐将 AI 对数学的冲击形容为”就像海啸来了，我们该如何应对海啸”。多位数学家指出，AI 可以作为强大的”助手”帮助发现猜想、验证路径，但真正的数学洞察、提出好问题以及证明的严谨性，仍依赖人类。未来关键在于建立 AI 与数学家的协作机制，而非替代关系。
相关动态 / 展望
菲尔兹奖得主陶哲轩等人此前已多次强调，在将 AI 引入数学研究时，必须重视独立可验证的证明与形式化核验。随着 AI 产出研究的体量增长，如何建立可靠的”AI 数学成果审查流程”，将成为学术界的新课题。
信息来源：新浪科技 / 中青报·中青网
声明：本站所有文章，如无特殊说明或标注，均为本站原创发布。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。
评论(0)