数学领域的一个重大 AI 里程碑，令研究界振奋，却让从事这一行的人感到不安。

• OpenAI 的系统攻克了 10 个长期未解的数学猜想，这些成果若由人类做出本会获得嘉奖。

• 这些问题真实存在但较为小众——是出色的工作，而非年度顶尖突破，且大多可用现有方法求解。

• AI 在能够暴力尝试数百万次、或答案易于由计算机验证之处表现出色，而在深刻的原创理论上则逊色一些。

• 这些证明在一个名为 Lean 的系统中经过了严格验证，但大多数 AI 生成的数学仍需人类来确认其正确性。

• 一些数学家真切地感到恐惧，担心机器正在夺走他们所热爱的发现工作；而另一些人则预测，对数学家的需求将激增，以核查海量新成果并在其基础上继续发展。

展望：这些工具预计将持续快速改进，迫使数学的教学方式和该职业的结构随之发生变革。