UT Austin数学系主任称OpenAI或将一次性发布约400份AI生成的证明，引发Reddit热议。网友争论焦点在于：数学发现是否已不再稀缺，人类理解力会否成为新瓶颈，以及AI是否会冲击数学家的职业价值与身份认同。