OpenAI:攻克纳维-斯托克斯千禧年大奖难题
5 小时前

OpenAI宣布攻克纳维-斯托克斯方程存在性与光滑性难题,并公开165页论文及形式化证明。