转推 Rohan Paul：UT Austin 计算机科学家 Scott Aaronson：OpenAI 发布 370 个数学证明后，研究生们慌了，因为他们不知道该怎么办……
UT Austin 计算机科学家 Scott Aaronson 表示，OpenAI 一次性发布 370 个数学证明，让数学方向的研究生们感到恐慌——他们不清楚自己的研究该如何与 AI 拉开差距、证明其独特价值。该评论由 AI 评论者 Rohan Paul 转推扩散。它折射出 AI 在数学证明等高阶推理任务上快速逼近人类专家水平后，学术培养体系面临的现实焦虑。
报道来源 · SOURCES
- Rohan Paul2026-10-18 08:03