OpenAI Astra 解出 10 个数学难题，数学界为何陷入存在危机

OpenAI 公布内部模型 Astra 解决了 10 个数学与理论计算机科学难题，The Verge 记者 Robert Hart 在与多位数学家的访谈中记录了由此引发的学科存在危机。