OpenAI被曝用千禧年难题刷Benchmark，下一道或为霍奇猜想
原标题：OpenAI这是拿千禧年难题当Benchmark刷啊。。。
AI 摘要
《纽约时报》追访披露OpenAI与纽约大学数学家Tristan Buckmaster围绕纳维-斯托克斯方程证明的争议细节，包括OpenAI更新用户数据说法、提出多种合作方案但要求排除Anthropic员工Levent Alpöge。OpenAI随后宣布在另一道千禧年难题上取得实质性进展，传闻指向霍奇猜想，可能由内部代号Aeon的模型完成。事件反映OpenAI与Anthropic将世纪数学难题当作测试集竞赛，引发数学家对AI公司抢跑与学术归属的担忧。
正文节选
OpenAI这是拿千禧年难题当Benchmark刷啊。。。 爆料直指霍奇猜想 OpenAI的纳维-斯托克斯方程连续剧，居然还没完。。。 《纽约时报》最新追访，补出了这场冲突中此前没有披露的细节。 其中最关键的一条，是OpenAI更新了关于用户数据的说法： Buckmaster过去两个月的Codex提示词，绝不可能以任何方式影响内部模型。7月3日之后的任何用户输入，也不可能进入这套系统。 这比OpenAI此前“无法完全排除匿名用户数据曾帮助改进模型”的表态明确得多，也给8月研究成果是否进入模型划出了一条时间线。 不过这仍然是OpenAI单方面给出的说法，目前没有公开技术材料可供外界独立核查。 数据争议还没落地，OpenAI又扔下一枚炸弹： 攻克纳维-斯托克斯之后，公司又在另一道千禧年大奖难题上取得“实质性进展”，正在准备公布结果。 而最新传闻指向的，正是霍奇猜想。 好家伙，第一道题的论文还在接受审查，第二道题已经要交卷了。 “你为什么要毁掉自己的职业生涯？” 简单回顾一下这场争议始末以及最新爆料。 纽约大学数学家Tristan Buckmaster称，在自己拒绝OpenAI提出的合作方案