mathematicians

一篇文章探讨了来自 OpenAI 和 Anthropic 的尚未公开发布的前沿 AI 系统如何形式化了费马大定理、攻克了 Navier-Stokes 问题，并瞄准了克雷数学研究所的千禧年大奖难题，这在数学家中引发了对人类研究未来的焦虑与深刻反思。

Derek Thompson 探讨 OpenAI 在数学领域取得突破性成果后，数学界所经历的震惊与悲伤，反思人工智能对人类智力与自我价值的冲击。

回顾1976年Appel与Haken借助计算机证明四色定理的历史时刻，以及数学界从接受、质疑到否认的激烈反应，引出'机器首次超越人类数学家'的思考。

文章抱怨AI实验室在利用数学家验证AI生成的定理和证明，却不提供相应的免费API token资源，呼吁实验室为数学验证工作提供支持。

一份报告称，AI系统已解决了数学领域500个最重要未解难题中的约90个，一位顶尖数学家称这是数学史上最重大的时刻。

数学家 Christian Szegedy 发表了一篇反思性文章，认为数学或许并非走向终结，而是在人工智能塑造的新时代中「毕业」，他借助关于探索、竞赛以及学科结构的类比，来勾勒这门学科的未来。

一篇关于AI数学领域飞速变化的评论文章，将数学家们面对近期突破——如据报道OpenAI的内部模型已能解出难题——所表现出的种种反应——否认、愤怒、讨价还价与接受——映射到著名的悲伤阶段模型上。

顶尖数学家已签署一封公开信，表达了对本十年内人类灭绝概率10%的极度担忧，警告说这一风险不应被视为炒作，且延迟行动可能不可逆转。

数学家表示担忧，人工智能监管措施可能实施得太慢，无法防止对人类的负面影响。

超过150位数学家签署了一份声明，警告政府不要高估AI能力，指出OpenAI等公司的夸大宣传，并呼吁在敏感领域对AI进行监管。

随着人工智能持续快速发展，数学家们发出警告，引发了对潜在风险和伦理影响的担忧。