OpenAI利用内部模型攻克千禧年大奖难题之纳维 - 斯托克斯难题

在当地时间9月8日这一天，美国知名的人工智能研究机构——开放人工智能研究中心（OpenAI）对外宣称，他们成功攻克了纳维 - 斯托克斯存在性与光滑性这一极具挑战性的难题，而该难题正是千禧年大奖难题中的一员。

在科学领域，有一个困扰了人们长达约90年的问题，那就是光滑的三维流体运动究竟是否会出现“破裂”的情况，这一谜题一直悬而未决，众多科学家都在探寻答案。

OpenAI详细介绍道，此次对难题的证明是由其内部研发的先进模型完成的。这个内部模型展现出了远超GPT - 6 Astra的强大能力，它不仅能够生成解析证明，还能进行Lean形式化验证。通过这些验证表明，描述流体运动的纳维 - 斯托克斯方程在动力学演化过程中，是能够在有限时间内形成奇点的。而这个解呈现出一种涡旋的形态，也就是旋转的流体漩涡。这个漩涡会朝着内部盘旋，并且在这个过程中逐渐被拉长，其形状就如同意大利面一般。

值得一提的是，OpenAI明确表示，他们并没有打算为这一研究成果去申领千禧年大奖。

OpenAI借助内部模型成功破解千禧年大奖难题，引发科学界关注