LLM 引发的数学家精神危机

The Dark Night of Mathematics

最近 LLM 不断产出反例，动摇了数学界长期存在的猜想。作为一名数学家，我正经历一场深刻的精神危机。这不仅仅是关于效率或职业前景的担忧，更关乎数学发现本身的神圣性。当 AI 能瞬间生成无数优美证明时，人类探索未知、触碰神秘的精神体验将被剥夺。我们或许还能欣赏和评论，但再也无法进行真正的创造。这种被剥夺感让我感到绝望，仿佛人类数千年来通过数学接触神圣的通道正在被永久封闭。这不是对未来的预测，而是对最坏情况下人类心灵冲击的诚实倾诉。