围绕 AI 接管数学的所有风波

过去一年，OpenAI、Anthropic 等 AI 实验室宣布在多个长期数学难题上取得突破，甚至声称解决了一个著名的 Millennium Prize 问题。部分成果引发数学界反弹，数学家要求证明 OpenAI 没有使用他们的工作。AI 实验室表示将吸取早期失误，但这些承诺能否兑现仍有待观察。