AI定理证明能力激增，数学界陷入「AI末日」焦虑

《科学美国人》长文报道数学界对AI的集体焦虑与应对。随着以形式化证明和自动证明工具为代表的AI在定理证明上能力快速提升，数学家担心研究的根本方式将被改变——从发现与证明的乐趣，到论文署名、同行评审乃至学科的深层价值都面临冲击，数学界正被迫直面这一「AI末日」式的问题。

2026-09-11 ~ 2026-09-11 · 2 条相关

• 数学家直面「AI 末日」:当机器开始证明定理,数学界慌了 — scientificamerican · 2026-09-11

另有 1 条近重复转述:scientificamerican