OpenAI的Astra证明遭质疑，数学博士讨论无人问津

Gary Marcus在X上批评，OpenAI新证明引发的欢呼有数千万观看，而一位数学博士研究生对疑似反例的讨论互动数不足12次。他引用自己的帖子指出，至少一个Astra证明可能出错，该帖子有3249次观看，但只有5条回复、3次转发和14个赞。Marcus用这个对比说明，证明的验证过程未得到足够关注。