研究显示，现有模拟推理 AI 模型能解决常规数学题，但在面对竞赛级证明题时因缺乏深层逻辑推理能力而屡屡失手，暴露了其数学证明上的局限。