中国数学家孙志伟提出 1000 道题挑战 AI

中国数学家孙志伟提出 1000 道数学题，旨在测试 AI 的解题能力与数学推理水平。 该挑战聚焦于检验当前大语言模型在高难度数学逻辑和复杂证明任务中的表现。 这一举措为评估 AI 的数学智能提供了新的基准，推动模型在推理能力上的迭代。