OpenAI 纳维-斯托克斯证明抄袭指控被证伪

OpenAI 发布 166 页纳维-斯托克斯千禧年大奖问题证明后，有批评质疑其模型是「抄袭」两位西班牙数学家的已有工作思路。据 Scientific American 调查及 Florian Gallwitz 的分析，这一被媒体热炒的抄袭说法已被证伪，争议可就此盖棺定论。

2026-10-15 ~ 2026-10-15 · 2 条相关

第 1 集:OpenAI 纳维-斯托克斯证明经核查无误(2026-10-11,3 条)
第 2 集:数学界激辩 AI 形式化证明的价值与风险(2026-10-11,4 条)
第 3 集:研究者梳理 AI 生成 Lean 证明的多种翻车隐患(2026-10-12,3 条)
第 4 集:《科学美国人》：OpenAI 纳维-斯托克斯证明被过度解读(2026-10-14,3 条)
第 5 集:OpenAI 纳维-斯托克斯证明抄袭指控被证伪(2026-10-15,2 条)