#AI辅助证明

纳维-斯托克斯、AI 与数学研究的未来

一篇 PDF 论文探讨纳维-斯托克斯方程与 AI 在数学研究中的角色，讨论 AI 辅助证明与研究范式的转变。该文与 OpenAI 相关声明形成呼应，属于学术层面的延伸讨论。