主要内容
数学家Tristan Buckmaster指控OpenAI使用其研究方法,抢先解决了悬赏100万美元的Navier-Stokes存在性和光滑性问题,但他仍在使用该公司的模型。这并非个例,多位数学家表达了类似困惑——“即便不认同这些指控,面对如此有用的AI工具,人们似乎别无选择”,Buckmaster向《连线》表示。
Buckmaster是纽约大学教授,曾使用OpenAI的代码代理Codex和Anthropic的Claude与研究员Levent Alpöge合作研究该问题。他称OpenAI在得知问题接近解决后,部署数万名代理推进,但在他公开指控后,OpenAI调查并否认其提示影响了系统。
其他数学家也有类似担忧。德国数学家Andreas Thom表示,OpenAI的Astra模型声称解决了他耗时20年研究的几何群论问题,他质疑AI如何获取其研究成果,询问训练数据是否包含其ChatGPT互动记录,对方否认但他无法确认。
Thom认为AI模糊了贡献归因,“这一过程难以追溯”,而Buckmaster则指出,AI技术让数学研究的传统方式(基于同行评审和明确归因)面临挑战,人类难以完全理解AI模型的推理过程,数学研究的本质正被重新定义。