03:53
a16z@a16z
a16z@a16z73°
推荐理由：多伦多数学家揭秘AI数学瓶颈：能算不会证，800页AI证明无人敢信
AI验证能力
共 1 条相关 AI 资讯
9月2日
03:53
多伦多大学数学家Daniel Litt指出，AI模型无法生成复杂长证明，因为缺乏正确性验证能力。他提到有800页AI生成的数学证明，但模型无法验证其正确性。Litt认为OpenAI和Anthropic可能已解决更多问题，但不确定结果是否正确。AI擅长计算和整合技术，但无法构建理论或保持精确哲学思考。