数学中 AI 的错位

影响：做形式化验证或数学 AI 工具的人应读，避免把证明助手当成数学研究的替代品。

影响：反映一线开发者对数学推理可靠性的真实担忧，可作为对齐问题的社区风向标。