数学家质疑 OpenAI 纳维-斯托克斯证明方法归属

OpenAI 声称其提出的纳维-斯托克斯方程潜在解法沿用了西班牙数学家的思路，但多位专家反驳称该证明在细节上采用了完全不同的方法。尽管使用 Lean 语言进行了形式化验证，关于 AI 是否真正理解或正确归因人类研究成果的争议仍在持续，凸显了大模型在复杂推理中的“黑盒”特性与学术伦理风险。