一下解决几百个数学难题，人类还卷得过AI吗刷到的报道说OpenAI的AI智能体几周内处理了372个长期悬而未决的数学问题，好几百份证明一次性放到GitHub上，数学家估计要看好几个月才能消化完🤯身边读数学博的朋友说组里都在讨论以后数学家是不是变成审稿员了而我这个普通研究生，这周在赶组会PPT，模型结构图实在不想画了，交给codar试了一下，一次就基本能用，稍微改了两处细节就交了以前觉得AI替代的是重复劳动，现在连创造性的东西都开始动摇了，有点说不清的感觉[呃R]研究生日常 codar 数学圈 组会PPT