AI 在数学领域的进展引发争议与反弹

OpenAI、Anthropic 等 AI 实验室过去一年宣布在多个长期未解的数学问题上取得突破，其中包括解决一项著名的千禧年大奖难题。部分成果引发数学界反弹，争议涉及研究成果的证明、学术工作是否被使用，以及 AI 实验室推进研究的方式。