AI 接管数学引发的争议

OpenAI、Anthropic 等实验室过去一年宣布多项长期数学难题突破，包括解决一个著名 Millennium Prize 问题，但相关成果引发数学界反弹。争议集中在 OpenAI 的发布方式、是否使用研究者工作、数学证明可信度，以及 AI 实验室承诺吸取教训能否兑现。