A.I. 日报
数学家争执引发AI是否损害科学的担忧
OpenAI称其AI智能体在88小时内解决了与Navier–Stokes方程相关的数学难题，但纽约大学数学家Tristan Buckmaster在公布前提出质疑，担心其存于Codex的研究草稿可能被OpenAI使用。OpenAI否认公司人员或AI接触过对方工作。
Tristan Buckmaster
5 篇报道Tristan Buckmaster 是纽约大学（NYU）数学家，研究流体力学中的数学问题。近期报道中，他公开质疑 OpenAI 使用其 Codex 数据，并要求证明该公司未使用未发表的研究；《卫报》社论和 Deccan Herald 评论在讨论 OpenAI 宣称 AI 解决 Navier-Stokes 方程、Anthropic 宣称 AI 形式化费马大定理时，也引用了他的质疑。
相关话题
- OpenAI5
- Anthropic2
- Codex2
- Basecamp Research1
- Levent Alpöge1
- Ambar Sengupta1
- New York University1
- Navier-Stokes1
- Andreas Thom1
- Gábor Kun1
- Sébastien Bubeck1
- Sebastian Bubeck1
评论质疑OpenAI与Anthropic自动证明的意义
Deccan Herald评论回应OpenAI称AI解决Navier–Stokes方程、Anthropic称AI形式化费马大定理的说法，指出这些工作均建立在人类已有成果之上，且两家公司聘有数学家、人机贡献界限不透明。NYU数学家Tristan Buckmaster对《纽约时报》称，一次性发布大量结果，相关机构恐怕未做充分尽职调查。
卫报社论：数学家仍不可或缺，AI公司视而不见
卫报社论批评OpenAI宣称其AI智能体解决Navier-Stokes问题，认为大模型成果依赖人类数学家的既有工作，却未给予充分署名与补偿；数学家Tristan Buckmaster等质疑OpenAI使用其Codex模型数据，OpenAI否认直接获取该材料但未排除数据被用于改进模型。
数学家质疑 OpenAI 使用未发表工作
多位数学家（包括 Andreas Thom、Gábor Kun 和 Tristan Buckmaster）要求 OpenAI 证明其未使用未发表研究成果，指责公司缺乏透明度。OpenAI 在有关非可酌群（non-sofic groups）的成果中承认大量借鉴 Thom 与 Kun 的工作并悄然修改了说明，Thom 称曾给包括 Sébastien Bubeck 在内的研究者写过邮件。
曝OpenAI以用户会话训练模型引发隐私担忧
有帖子指出OpenAI会用用户上传的数据和会话训练内部模型，可能让模型借用他人提示来显示更高自主性，引发隐私与归因担忧。
已经到底了