AI 引发的数学危机：从震惊到存在主义拷问
原标题：Welcome to the AI crisis in math
AI 摘要
The Verge 的 AI 记者 Robert Hart 在 Decoder 节目中讨论了 AI 对数学领域造成的冲击，称数学界因 OpenAI 发布的高难度数学问题解决方案而‘震惊’。尽管 AI 在基础算术上仍表现不佳，但在高级抽象数学上已展现出专业水平，引发了对数学家角色和数学研究未来的存在主义危机。Hart 采访了多位顶尖数学家，探讨 AI 能力提升的原因、对学术资助和人才培养的影响，以及前沿 AI 实验室是否只是将数学作为营销工具。
正文节选
Today on Decoder, I’m talking with Robert Hart, The Verge’s London-based AI reporter, about what AI is doing to the field of mathematics and the existential crisis many lead mathematicians are having about it. Welcome to the AI crisis in math The Verge’s Robert Hart on why new AI discoveries have left the math world ‘shell-shocked.’ OpenAI just published a set of solutions to longstanding problems in math that went off like a bombshell in the field. It caused a huge debate in the math community,