标签专题

#Navier–Stokes

聚焦该标签下的所有相关内容。

共 1 篇

OpenAI称内部AI系统生成并形式化验证纳维–斯托克斯方程解：数学界尚待独立复核

模型与研究 5 小时前

OpenAI称内部AI系统生成并形式化验证纳维–斯托克斯方程解：数学界尚待独立复核

OpenAI 宣布其内部多智能体系统生成并用 Lean 形式化验证了一个关于三维…

编辑部