OpenAI公布纳维–斯托克斯千禧年难题解答，并公开Lean形式化证明
PANews 9月9日消息，OpenAI宣布其内部系统给出纳维–斯托克斯存在性与光滑性问题的一个解答：在光滑外力作用下，初始静止且光滑的三维不可压缩流体可…
原文：http://t.cn/AX0u7o7C
发布于 中国台湾
PANONY_Official
OpenAI公布纳维–斯托克斯千禧年难题解答，并公开Lean形式化证明
PANews 9月9日消息，OpenAI宣布其内部系统给出纳维–斯托克斯存在性与光滑性问题的一个解答：在光滑外力作用下，初始静止且光滑的三维不可压缩流体可…
原文：http://t.cn/AX0u7o7C