RecodeX 重构消息，围绕AI威胁的争论仍在持续，但数学领域已在最近数周被AI彻底改变。5月，OpenAI宣布其一个模型推翻了一项数学猜想，成为这一变化的首个信号。相关讨论随后在数学界迅速升温，焦点集中在AI对数学研究与数学家角色的实际冲击。