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
This report is categorized under AITOP's "Industry" desk, focusing on US frontier AI labs and Silicon Valley technology leaders. Within our cross-regional analytical framework, it directly maps to AI developer toolchains, coding agents, and engineering workflows and US-China foundation model benchmarks and commercialization comparison. Key entities and technical topics under continuous tracking include OpenAI, Scott Aaronson, mathematical proofs, AI safety.
Source attribution: curated from rohanpaul_ai (@rohanpaul_ai). Cross-source corroboration: 11 independent sources have covered this development (including 量子位, IT之家, CNBC Indonesia Tech), confirming industry-wide signal strength.
