AI数学瓶颈从找证明转向验证证明

在 AI 数学领域，瓶颈已从寻找证明转向检查证明。形式化验证和专家评审如今是稀缺的输入。