AI 接管数学引发的争议与进展梳理

过去一年，OpenAI、Anthropic 等实验室宣布在多个长期未解的数学问题上取得突破，部分进展超出研究者对现有系统能力的预期，其中包括解决一个著名的千禧年大奖难题。这些成果本应受到赞誉，却引发学界反弹，AI 实验室表示正在从早前的失误中吸取教训，这些承诺能否兑现尚待观察。文章汇总了 AI 介入数学领域的最新动态。