多伦多数学家称AI数学能力受验证限制

多伦多大学数学家Daniel Litt指出，AI模型无法生成复杂长证明，因为缺乏正确性验证能力。他提到有800页AI生成的数学证明，但模型无法验证其正确性。Litt认为OpenAI和Anthropic可能已解决更多问题，但不确定结果是否正确。AI擅长计算和整合技术，但无法构建理论或保持精确哲学思考。