LLM连破数学猜想引发学者信仰危机：我们究竟在做什么？

zetalyrae · x · 2026-07-31

近期，大语言模型（LLM）成功找到了多个长期未解的重大数学猜想的反例，这一连串突破在数学界引发了强烈的震动与深层的“精神危机”。

作者Kirwin Hampshire撰文表达了内心的绝望与反思。他指出，许多数学家试图自我安慰，认为即使AI在证明定理上远超人类，人类依然可以在欣赏、教学和娱乐中保留数学的领地。但作者认为这是一种逃避：在现有的经济体系中，数学家因证明定理而获得报酬，如果AI彻底接管了这一核心生产力的证明工作，人类数学家的职业价值与存在意义将面临真正的崩塌。