AI时代的数学署名之争：OpenAI宣称攻克纳维–斯托克斯问题引发的讨论

报道记录了OpenAI宣称用AI模型解决纳维–斯托克斯问题，并以编程语言Lean验证其证明，同时Clay数学研究所表示只有在结果经同行评审发表并经学界进一步审查后才会考虑其有效性。 这是围绕一个高知名度千禧年难题的AI求解宣称及其验证路径的公开记录，把AI成果的认定程序与既有学术评审机制并列呈现。 依据为报道中转述的OpenAI声明与Clay数学研究所的表态，属于机构公开说法，报道未给出证明细节或独立复核结果。

报道呈现了署名争议的具体线索：Buckmaster称其与Alpöge此前已用OpenAI和Anthropic工具研究该问题，并称OpenAI在得知其工作后介入；OpenAI回应称7月3日之后的用户输入不可能影响该系统，且公司自9月1日才开始研究该问题。 把争议从抽象原则落到可核查的时间线与账号设置层面，包括Buckmaster称其三个ChatGPT账号中仅两个选择退出训练授权。 依据为报道中双方各自的公开陈述与社交媒体发言，双方说法并列呈现，报道未给出独立调查结论。

报道记录了Andreas Thom关于非sofic群的经历：他称自己过去一年多用ChatGPT讨论群论并采用某种构造策略，而OpenAI在8月发布预印本报告首个非sofic群例子，思路与其相近；他称OpenAI论文正确引用了其及合作者的早期工作，但无法确知其会话是否被用于训练。 将署名问题从已发表文献的引用延伸到未写入文献的讨论性知识，即数学家通常会在致谢中承认的“行内诀窍”。 依据为报道中转述的Thom个人判断与OpenAI未直接回应该具体问题的说明，报道明确指出模型是否实际使用了Thom的对话尚未确立。

报道引述25位菲尔兹奖得主联名公开信，指出AI工具使适当署名变得模糊，并提出“严重的署名与剽窃问题”；同时引述知识产权法学者Luke McDonagh提醒研究者可能尚未充分意识到把数据与知识上传至个人AI模型账户的后果。 把个案争议提升为对学术署名制度与训练数据可追溯性的集体关切，并点出个人账户设置这一常被忽视的环节。 依据为公开信内容与受访学者观点，属于立场与警示性论述，报道未提供量化证据。

本总结基于该篇《自然》新闻报道，未附任何论文全文，因此适用于了解事件脉络、争议焦点与各方公开表态；对证明本身的技术内容、Lean验证的具体范围、以及训练数据是否实际包含相关对话，报道均未提供可据以判断的材料。报道面向数学界、科研管理者、期刊与资助机构，以及关心AI与学术规范关系的读者。

报道明确表示，OpenAI的解法是否被独立确认仍有待观察，Clay数学研究所的认定也以同行评审发表为前提；Buckmaster与OpenAI对训练数据影响的说法相互对立，报道未给出裁决；Thom所述思路相近是否意味着模型使用了其对话，报道称尚未确立。此外，报道在“Tutoring through chatbots”处中断，后续内容未包含在证据包中，因此关于聊天机器人辅导等讨论无法纳入本总结。