纽约大学数学教授特里斯坦·巴克马斯特与其合作者莱文特·阿尔珀格借助人工智能模型,在理论数学的一项重大难题上取得了重要进展。但这项成果的公布同时伴随着一场针对OpenAI的公开指责:巴克马斯特称,OpenAI在得知其研究接近突破后,调用了庞大的算力资源以及潜在的数据优势,抢先完成了对同一难题的完整证明,并且在这一过程中存在不当的学术施压行为。争议所围绕的核心,是七大“千禧年难题”中的纳维-斯托克斯方程存在性与光滑性问题。
OpenAI方面则在当地时间9月8日公布了对纳维-斯托克斯方程相关问题的一项解答,声称其内部系统证明了描述流体运动的纳维-斯托克斯方程动力学行为可在有限时间内产生奇点,并同步公开了证明文稿以及用Lean定理证明器完成的形式化验证版本。据OpenAI介绍,这款内部模型的能力显著强于GPT-6 Astra,项目调动了约1万个并行智能体,在约88小时内形成证明,期间发送了270万条消息、生成约1300亿输出token,Lean形式化与验证另耗时17小时。OpenAI同时表示无意申领千禧年大奖。
巴克马斯特透露,过去一年间,他与阿尔珀格一直围绕该难题的一条冷门技术路线开展研究,过程中大量使用了OpenAI的Codex模型。当他主动联系OpenAI、告知其成果即将发布时,得知对方内部已经组建团队并投入据估算超过两千万美元的算力进行平行研究。巴克马斯特指出,OpenAI所采用的正是他们长期探索的那条罕见路径,这让他怀疑自己与阿尔珀格未公开的Codex交互数据可能被用于训练模型,并由此指导了OpenAI的研究方向。除数据使用方面的疑问外,他还指控OpenAI的研究人员在沟通中提出了涉及署名的妥协方案——要求把供职于竞争对手Anthropic的阿尔珀格从作者名单中移除,否则将采取不利措施;巴克马斯特拒绝后,对方甚至发出了“不要毁掉自己的职业生涯”的警告。
对于上述指控,OpenAI予以坚决否认,称相关说法“虚假且具煽动性”,并强调从未访问过用户的特定数据,其证明方法与巴克马斯特团队之间存在显著差异。被点名的OpenAI研究人员也否认了相关指控,表示自己始终遵循学术规范。与此同时,巴克马斯特表示,他并非要指控OpenAI窃取数据,而是希望公开事实以维护学术透明度。目前,关于关键通话的详细经过主要出自巴克马斯特的单方陈述,尚无公开录音或完整沟通记录可供独立核实,事件走向仍待学术界进一步审视与验证。
市场有风险,投资需谨慎。本文为AI基于第三方数据生成,仅供参考,不构成个人投资建议。
本文源自:市场资讯
作者:闻野
特别声明:以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布,本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.