Scott Aaronson：OpenAI 发布 370 个数学证明后博士生担忧职业前景
访谈里 Scott Aaronson 谈了个扎心问题：OpenAI 放出 370 个数学证明后，他带的博士生不知道以后靠什么题目练手、怎么谋职业。做数学或理论研究的同学值得听听，面试读博前也该想想这层。
UT Austin 计算机科学家 Scott Aaronson 在 MTS 频道的访谈中表示，OpenAI 公布 370 个数学证明后，研究生群体感到不安。
核心担忧在于：如果 AI 已能解决研究生本该借以训练的问题，博士生将难以规划自己的学术职业路径。
Aaronson 的观点揭示了前沿数学研究培养体系的现实压力，即传统'做题训练—产出证明'的博士生成长模式正在被 AI 能力压缩。
UT Austin computer scientist Scott Aaronson: Grad students are scared after OpenAI's release of 370 math proofs they don’t know how to build a career when AI can solve the problems they’d train on.
---- Full video on "MTS" YouTube channel, (link in comment) https://t.co/enuKD1i91L
本条情报归属 AITOP「行业」核心栏目，重点聚焦北美前沿实验室与硅谷科技巨头。在跨区域产业观察坐标中，该动态直接关联「AI 开发者工具链、Coding Agent 与工程化实践」「中美大模型技术代差与商业化对照」研究主线，反映出当前技术演进与商业落地的最新风向。涉及核心实体与技术议题包括：OpenAI、Scott Aaronson、数学证明、AI安全，读者可通过下方标签进入对应专题页查阅历史脉络与关联对比。
信源核验说明：本文原始线索采编自「rohanpaul_ai」（@rohanpaul_ai），经 AITOP 多维评分管线结构化提炼。截至目前，全网已有 11 家独立信源对该事件进行交叉印证与跟进报道（含 量子位、IT之家、CNBC Indonesia Tech 等），属于近期高关注度行业信号。
