问题不在于AI太快，而是这位博士生选的题正好在AI的射程内——方向明确、路线图已公开、难度适中。AI花10万美元算力暴力搜索，5天搞定。陶哲轩说得好，AI能生成证明、能验证证明，但"消化证明"还得靠人。换句话说，以后博士生的核心竞争力不是解题，是选题——选一个AI花100万美元也算不出来的题。
#数学博士生2年研究被AI抢发#