数学家评 AI 攻题：数学现实比想象中「多孔」，裂缝比预想的多

数学家 nihilunbounded 评价 AI 生成的数学证明，认为多数证明虽能直击要害，却不如优秀人类证明富有启发性。其核心感受是数学现实比想象中更“多孔”，一些原本需先解决更难问题或发展新技术、新定义才能攻克的题目，AI 已能沿数学裂缝直接取得突破。