分享
从∞到186，AI推进孪生素数猜想后，人类还能做什么？
发布于：2026-10-23
内容简介
个人观点仅供参考
2013年，张益唐证明了素数之间存在有界间隔，给出了7000万这个数字。此后，数学家们接力缩小上界，如今GPT-6 Astra又将它推进到了186（如果LEAN证明没出错的话）。 既然AI能够组合已有定理、寻找参数，甚至贡献新的数学证明，人类研究者的价值会因此消失吗？
参与讨论
评论千万条，友善第一条
登录后参与讨论
提交评论0/10002013年，张益唐证明了素数之间存在有界间隔，给出了7000万这个数字。此后，数学家们接力缩小上界，如今GPT-6 Astra又将它推进到了186（如果LEAN证明没出错的话）。 既然AI能够组合已有定理、寻找参数，甚至贡献新的数学证明，人类研究者的价值会因此消失吗？
