OpenAI 被指抢发 Navier-Stokes 证明并施压数学家移除 Anthropic 合作者

OpenAI 据称宣称其 AI 证明了千禧年难题 Navier-Stokes。数学家 Buckmaster 指控其进展泄露后 OpenAI 竞速抢先，还要求他移除在 Anthropic 工作的合作者。目前实际已验证的是与 Navier-Stokes 相邻问题的结果，OpenAI 的 100 页证明未公开，OpenAI 尚未回应指控。