AI 数学的瓶颈已从「找证明」转向「验证明」

rohanpaul_ai 提出，AI 数学研究的瓶颈已从寻找证明转移到检查证明，形式化验证和专家评审如今才是稀缺资源。随着模型生成证明的能力提升，验证环节成为新的制约。