AI 解出他钻研19年的F群顺从性问题，数学家：开酒像守灵不是庆祝

nitarshan · x · 2026-10-19

2026 年 10 月 6 日 OpenAI 宣布的一系列数学成果中，包含群体论中悬置已久的 Thompson 群 F 顺从性（amenability）问题的解答。数学家 Justin Moore 撰文讲述个人感受：他 19 年前在康奈尔初入拓扑与几何群论讨论班时，因 Laurent Bartholdi 提及此问题而着迷，此后与 Ken Brown 等人的交流使这个问题成为其数学身份的一部分。

Moore 说他计划等一群可信赖的同行集体确认并理解证明后，才开封珍藏的干邑——但无意邀请 OpenAI 的人分享，「那是留给问题相关者的」，并预感那场品酒更像守灵而非庆祝。他反思：数学本质是科学，解决问题者无论资源多少都是第一人；但「数学如奥林匹克竞技」的人类叙事在 AI 时代越来越难自洽——AI 正以令人不适的方式把「求知的科学」与「人类智力竞技」剥离，迫使我们直面镜中的自己。