AI时代的数学署名之争:OpenAI宣称攻克纳维–斯托克斯问题引发的讨论
《自然》新闻报道称,OpenAI于9月8日宣布其AI模型解决了流体力学中的纳维–斯托克斯问题,并用Lean语言验证了证明,但数学家Tristan Buckmaster与Levent Alpöge表示他们此前已用OpenAI和Anthropic工具研究该问题,Andreas Thom也提出其关于非sofic群的讨论可能与OpenAI相关成果思路相近,由此引发25位菲尔兹奖得主联名公开信及学界对AI时代学术署名与训练数据来源的广泛讨论。