• 投稿

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

2.8万
205
2026-10-22 16:30:00
含AI生成内容
1106
90
529
29
2013年,张益唐证明了素数之间存在有界间隔,给出了7000万这个数字。此后,数学家们接力缩小上界,如今GPT-6 Astra又将它推进到了186(如果LEAN证明没出错的话)。 既然AI能够组合已有定理、寻找参数,甚至贡献新的数学证明,人类研究者的价值会因此消失吗?
վ'ᴗ' ի 追踪科技前沿丨商务合作请联系chenfei@qbitai.com
客服
顶部
赛事库 课堂 2021拜年纪