2013年，张益唐证明了素数之间存在有界间隔，给出了7000万这个数字。此后，数学家们接力缩小上界，如今GPT-6 Astra又将它推进到了186（如果LEAN证明没出错的话）。 既然AI能够组合已有定理、寻找参数，甚至贡献新的数学证明，人类研究者的价值会因此消失吗？