从∞到186，AI推进孪生素数猜想后，人类还能做什么？

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