新闻资讯8

GPT - 6破孪生素数猜想新纪录

新智元2026-09-04

AI 摘要

OpenAI宣布GPT - 6将孪生素数问题最好上界推到186，打破陶哲轩12年纪录。它发现新条件、展现数学直觉，证明经Lean 4验证。从246到186，AI仅用3天，远超人类。

关注公众号

扫码关注
第一时间收到每日精选

公众号专辑

GPT-6 Astra在数学和应用上双突破

OpenAI发布数学论文，宣布GPT-6 Astra在孪生素数猜想上有新进展，用Lean形式化证明把连续素数间距的上界从246推到186。此外，其3D生成效果出色，Codex还新增可搜索笔记功能。

GPT-5.6一天打破陶哲轩五人团队8年大素数空隙纪录，提出「倾斜剩余类」构造法，当天通过Lean语言机器验证。此前数学家张益唐、陶哲轩等在素数分布问题上各有探索。

OpenAI正式发布GPT - 6 Astra和GPT - 6 Astra Pro，宣布AGI时代开幕。该模型训练规模大，能力升级显著，价格公布。基准测试成绩优异，在多方面表现突出，还展示诸多实际应用案例，已有企业开始测试。

GPT - 6发布前夕消息不断，OpenAI新模型引入的“循环深度”技术因可能让模型思考难监控引争议，同时模型名或被API剧透，图像模型GPT Images 2.1也将更新。