数学界发公开信要求 OpenAI 公开其模型解决的 100 多个数学习题的证明

panickssery · x · 2026-09-23

OpenAI 于 9 月 21 日宣布其内部模型解决了超过 100 个长期悬而未决的数学问题，但未公开证明。数学界随即发起「RELEASE THE PROOFS」公开信，要求 OpenAI 尽快公布这些证明，认为即使 AI 生成结果的表述可能欠佳，扣留结果也不符合数学共同体的利益，签名面向所有有大学隶属关系的数学家开放。博主 panickssery 针对反方观点回应：有人担心一旦公开证明，别人写了解读就说不清原创者应得多少声誉——他认为这只是内部声誉问题，不足以成为拖延公开的理由。