数学家讨厌AI,却离不开它 - AI News
数学家讨厌AI,却离不开它

数学家讨厌AI,却离不开它

2026-09-19

新闻要点

数学家Tristan Buckmaster指控OpenAI使用其工作解决有100万美元 bounty的Navier-Stokes问题,但仍继续使用该公司AI工具;OpenAI调查后否认其Codex提示影响系统并修改声明,此现象引发关于AI在数学领域归因与人类角色的争议,另一位数学家Andreas Thom也对OpenAI Astra模型未充分credit其技术表达担忧。

- Buckmaster指控OpenAI使用其工作解决100万美元 bounty的Navier-Stokes问题

- OpenAI否认Buckmaster的Codex提示影响系统并修改声明

- Thom对OpenAI Astra模型未充分credit其技术表示担忧

- 多位数学家质疑AI但仍用其辅助研究

- AI改变数学领域归因方式引发行业争议

主要内容

数学家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模型的推理过程,数学研究的本质正被重新定义。