OpenAI 数学证明发布后，r/mathematics 社区反应两极

OpenAI 数学证明发布后，r/mathematics 社区反应两极：有人惊讶于 AI 证明能力的进展，也有人质疑或抵触。相关讨论帖收集了数学界对这次发布的分歧态度，具体争论细节见 reddit 原帖评论区。