OpenAI的AI据称攻克纳维–斯托克斯千禧年难题,引发数学界竞逐
OpenAI宣布,其下一代人工智能通过1万个相互协作的智能体,为纳维–斯托克斯方程的存在性与光滑性问题给出了解析证明,并完成了形式化验证。这是克雷数学研究所设立的“千禧年大奖难题”之一,数十年来一直悬而未决。
该模型证明,在保持能量守恒的同时,光滑的三维流体运动在光滑外力作用下会形成奇点。其研究以欧拉方程等较为简单的情形为基础,逐步推广至这一问题。
与此同时,纽约大学的特里斯坦·巴克马斯特(Tristan Buckmaster)和Anthropic的莱文特·阿尔珀格(Levent Alpöge)也在人工智能的协助下发表了相关预印本。随后,OpenAI的塞巴斯蒂安·布贝克(Sébastien Bubeck)与巴克马斯特取得联系。按照巴克马斯特的说法,对方提出协调论文发布时间和作者署名,但遭到他拒绝。
OpenAI向两人的研究成果表示祝贺,同时强调双方证明方法存在差异,并称其未直接接触对方的研究内容。不过,外界对于训练数据仍存疑问。OpenAI首席执行官萨姆·奥尔特曼称,这是公司历史上“最令人惊叹的时刻之一”。