OpenAI 数学证明库迟迟未公开，两周前还有人反对发布

OpenAI 的数学证明库迟迟未公开，围绕是否应发布其数学证明成果的讨论再度升温。有人质疑，这些证明若不发布，会让研究者继续攻已解决的问题、浪费整个领域的时间；而仅两周前，业界还在争论 OpenAI 根本不该发布这类成果，态度转变之快令人感慨。