知识分子 2026-11-02 14:03:51
知识分子
The Intellectual
MathHelm — a forum for research mathematicians
《知识分子》编者按：2026年10月6日，堪称世界数学史的分水岭。这一天，OpenAI公布了722篇数学文稿，涉及三四百个数学问题，其中很多问题堪称菲尔兹奖量级。菲尔兹奖得主邓煜在10月25日的“知识分子”“赛先生”论坛发表演讲时提到，这些论文对数学有相当大的促进作用。他同时指出，这家AI公司基本上没有公布证明的思维链，也未说明是否基于其他人的思路，而且在没有任何正确性保证的情况下就直接发布。
最近，六位数学家创建了“数学之舵”论坛(mathhelm.org)，欢迎全球的数学研究者一起讨论这722篇论文，以及AI生成的其他论文。他们期望，这个论坛“在当今数学界的动荡中发挥一定的稳定性作用”。以下文字来自“数学之舵”科学委员会。
撰文｜“数学之舵”科学委员会
● ● ●
2026年10月6日，OpenAI发布了由其内部GPT模型生成的722篇数学论文。这些论文覆盖了数学的大部分前沿领域，并宣称证明了许多重要成果。尽管这些论文的正确性尚未得到验证，甚至其中相当一部分尚未在Lean中形式化，但这一事件无疑将给数学界带来重大变革。
由于这些论文涉及的主题范围广泛，每位数学研究者只熟悉其中的一小部分。在社交媒体上，我们经常看到有人评论说某篇论文的方法令人惊讶、某篇论文存在错误、某篇论文建立在人类之前的思想之上，或者某篇论文抄袭了人类的思想。这些评论可以为大家指明方向，使大家免于重复劳动，并让大家对这些论文有更全面的了解。然而，它们分散在互联网各处，只能触及少数读者，难以汇集。
因此，我们创建了“数学之舵”论坛，网址为https://mathhelm.org/，以英文为主要语言，用于讨论这722篇AI生成的论文，也可以讨论AI生成的其他论文。欢迎全球的读者们访问此论坛，也欢迎全球的数学研究者们在网站上实名注册，发表自己的评论，或发起其他相关主题的讨论。这些评论可以涉及AI生成论文的正确性、可读性、原创性、主要结果、关键思想等。写评论时应尽可能客观，必要时提供引用文献，也可以上传自己的PDF文件。
“数学之舵”论坛是非营利性的，由数学研究者组成的科学委员会创立，讨论具体的数学内容，并希望服务于数学研究者群体。此论坛不对AI持预设立场，禁止任何机构使用我们的数据来训练其AI模型。此论坛的宗旨是：
“数学研究者们没有义务检查AI生成的论文，但如果有人碰巧读了某篇论文的某些部分，那么其评论对数学研究者群体非常有价值。”
我们期望，“数学之舵”论坛能在当今数学界的动荡中发挥一定的稳定性作用。
“数学之舵”科学委员会：
袁新意（北京大学）（主席）
倪忆（加州理工学院）
肖梁（北京大学）
袁原（西湖大学）
张瑞祥（加州大学伯克利分校）
郑凡（西班牙高等科学研究理事会数学科学研究所）
点击：https://mathhelm.org/?sessionid=可访问“数学之舵”官网
【版权声明】本文内容来源于知识分子，版权归原作者及原媒体所有。本站仅作信息分享，不构成任何商业用途；如涉版权问题，请联系本站删除。
发布时间：2026-11-02 12:16:34
(第1/1页/共6443字/4阅)