文章摘要
近期，人工智能研究机构OpenAI公开了由其前沿大模型生成的722份完整数学手稿、372组独立数学研究成果，成果覆盖多个核心数学领域，部分附带可自动核验的形式化证明，还涉及悬而未决的数学开放问题，相关结论待全球学界验证。OpenAI称AI正从辅助解题转向参与数学研究，此次公开也引发对未来人机研究分工的探讨。

近期，人工智能研究机构OpenAI公开了一批由其内部前沿大模型生成的数学研究成果，引发了行业与学界的广泛关注。

本次公开的研究产出包含722份完整数学手稿与372组独立研究成果，覆盖数论、代数几何、实分析、组合数学、理论计算机科学、数学物理、偏微分方程等多个核心数学研究领域，涉及的研究方向十分广泛。

这批成果中有部分附带了可通过计算机自动核验的Lean形式化证明，经过社区初步核查，其中还涉及多个长期悬而未决的数学开放问题，但这些结论目前仍需要全球数学界进行进一步的审阅与验证，才能最终确认其学术价值与可靠性。

OpenAI方面表示，当前人工智能正处于关键的转型阶段，正在从最初“辅助人类解题”的辅助角色，逐步迈向能够真正参与到数学研究与发现过程的全新阶段。

早在今年8月，OpenAI就曾召集近40位全球顶尖数学家，围绕一个当时还仅停留在假设层面的议题展开深入讨论：如果人工智能在数学研究领域的能力超越人类研究者，人类应当如何应对相关的挑战与变化？

如今，面对这批公开的数学研究成果，我们或许可以思考：未来数学家与人工智能会形成怎样的协作分工模式？

以上内容不代表本平台立场，仅供读者参考