据The Verge 10月5日报道，过去一年，OpenAI、Anthropic及其他实验室宣布在多个长期悬而未决的数学问题上取得突破，其中一些进展超出研究者对当前系统能力的预期，甚至包括解决一个著名的千禧年大奖难题。这些原本可能受到庆祝的成果，却在数学界引发反弹。

报道称，这些AI实验室以典型硅谷方式快速推进，被形容为像一辆失控的推土机闯入数学学科。围绕“AI接管数学”的争议不断累积，The Verge整理的最新动态中，多条内容指向OpenAI与数学界之间的紧张关系：OpenAI继续“推平”数学家；它希望咨询顶尖数学家，以避免再次把事情搞砸；它只想赢；数学家要求证明OpenAI没有使用他们的工作；OpenAI一次狡猾的数学突破让学术界感到寒意；围绕OpenAI一项传奇数学里程碑的争议持续发酵。

其中，数学家要求OpenAI证明其未使用他们的工作，成为争议中的具体诉求之一。报道称，AI实验室表示正在从早先的错误中学习，但这些承诺能否兑现仍有待观察。

在The Verge的描述中，数学界正面临一场“AI危机”，“AI接管数学”已经开始。过去一年，OpenAI、Anthropic及其他实验室在多个长期数学难题上的宣布成果，与数学界对证明、署名和数据使用的质疑同时出现。