OpenAI一夜放出700多道数学证明！
Datawhale 2026-10-08 17:41 日本
OpenAI公布了一批由内部前沿模型产出的数学研究成果：
722份数学手稿
372组相关成果
覆盖数论、代数几何、实分析、组合数学、理论计算机、数学物理、偏微分方程等多个方向。
部分成果附有可由计算机核验的Lean形式化证明。社区初步核查还发现，其中涉及多个长期未解的开放问题，但具体结论仍需数学界进一步审阅与验证。
OpenAI表示，AI正在从“辅助解题”，走向参与真正的数学研究与发现。
据《连线》报道，今年8月，OpenAI曾召集约40位数学家，讨论一个当时还只是假设的问题：如果AI在数学研究中超越人类，我们该如何应对？
如今，面对这批公开的数学成果，你觉得未来数学家与AI会如何分工？
本文转载自微信公众号「Datawhale」，查看原文。版权归原作者所有，如有侵权请联系删除。