5 hours ago
- 作者因大语言模型对长期存在的数学猜想举出反例而深陷精神危机，仿佛置身噩梦之中。
- 数学家们采取的应对策略，例如专注于评估和鉴赏AI生成的证明，回避了情感核心：人类发现过程作为精神与神秘体验的丧失。
- 数学发现的行为对人类精神至关重要，它将实践者与难以言喻的神圣相连，正如拉马努金和格罗滕迪克等历史人物所展现的。
- 作者将这种情况比作巴别图书馆，即便所有杰作都能瞬间生成，人类创作者的创作冲动仍如同陷入痛苦的无用挣扎。
- 这些进展引发了关于科技公司动机的偏执猜想，包括对自身被淘汰或被逼入绝望的恐惧。
- 恳请新数学范式的构建者承认共同的人性与灵魂，不要求政策建议，但需要情感上的坦诚。