⚡️突发消息：据《科学美国人》报道，OpenAI 否认在其声称的数学突破中使用了其他研究人员的工作。 该公司表示，其 AI 解决了纳维-斯托克斯千禧难题，并称证明是通过 Lean 验证的。 数学家 Tristan Buckmaster 指控 OpenAI 在得知他团队的进展后采用了他们的方法。 OpenAI 否认使用了他们的工作。数学家们仍在评估这一结果及相关竞争性主张。