数学家 Kevin Buzzard 谈数学界面对 AI 的悲伤五阶段与他的乐观立场
要悲伤，还是不要悲伤？
阅读原文
本站未展示全文，请前往来源网站阅读。
AI 导读
作者用 Kübler-Ross 悲伤五阶段梳理数学界对 AI 证明定理的反应：否认（人类数学协会、Peter Scholze 拒用 AI）、愤怒（Vlad Lazic 等）、讨价还价（资深数学家咨询组要求 OpenAI 停止在专有模型上测试高级数学问题）、抑郁。
来源：xenaproject.wordpress.com（经 Hacker News） · xenaproject.wordpress.com