banteg 调侃：程序员已成赛博格，数学家还在为 AI 抢 conjecture 哭闹

banteg 发帖调侃，程序员面对 AI 已被"自动化成了超人半机械人"，而数学家对同样转变的反应却像幼儿，喊着"他们抢走了我的 hodgepodge 猜想"。他批评数学界与现实脱节太深，以至于开始相信"问题"是自己的私有财产。这场争论也是 AI 冲击学术界引发的又一轮行业文化讨论。