数学家在颤抖：Agentic AI 正在碾碎他们的职业护城河

你有没有想过，当AI开始自主证明定理、推导猜想，数学家们的饭碗还剩多少？lemire在X上丢出一句断言：他看到了数学家们的恐慌。这不是夸张——agentic AI已经能跑完整研究流水线，从建模到验证一气呵成。那些靠形式推导吃饭的人，突然发现对手不需要休息、不需要灵感、不需要喝第三杯咖啡。恐慌是真实的，但真正的问题不是AI能不能取代数学家，而是我们连判断AI对不对的能力都在萎缩。当工具比主人更懂规则，学科本身就需要重新定义边界了。

原文：I see the mathematicians panicking at what we can do with agentic AI · 来源：Hacker News