first-proof

首次 Proof 测试评估了四种AI系统在新型研究级数学问题上的表现，其中最佳模型仅得6分（满分10分），表明当前AI在严谨推理方面仍落后于顶尖数学家。