Quanta Magazine: AI 证明定理是否终结人类数学？

OpenAI 宣布其模型解决了著名数学猜想，引发数学界对作者身份标准和职业存亡的激烈争议。Quanta Magazine 记者深入 Berkeley 等高校，记录了年轻数学家因 AI 模型跳过理解过程直接给出答案而产生的深刻不安。