作者认为AI可低成本发现证明思路，但人类理解和泛化仍是慢变量。
推荐理由：有价值的点在于区分“生成可验证证明”和“吸收可迁移思想”：AI降低探索成本后，研究瓶颈可能转向人类解释、筛选和扩展能力。
阅读原文