GPT-6 Astra推进孪生素数间隔上界至186

发生了什么

据虎嗅分析，GPT-6 Astra将孪生素数间隔上界推进至186，前提是LEAN证明无误。该文称张益唐2013年证明素数间存在有界间隔，给出的上界为7000万，此后数学家逐步缩小。文章还探讨AI参与数学证明后，人类研究者价值是否会消失。