» 1、OpenAI发布GPT-6 Astra，公司总裁称开启AGI时代

OpenAI在凌晨发布新一代旗舰模型GPT-6 Astra，并称它是公司目前智能水平和对齐程度最高的模型。报道提到，OpenAI联合创始人兼总裁格雷格·布罗克曼在发布电话会议上把这次发布与AGI时代联系起来。
按照报道披露的上线安排，Astra先向“可信访问”和Daybreak网络安全项目中的有限企业组织开放，随后几天逐步覆盖ChatGPT Plus、Pro、Business、Enterprise订阅用户，并通过OpenAI API和亚马逊AWS对外提供服务。
文章称，Astra的提升集中在数学推理、网络安全、计算机操作和科学研究等方向。在OSWorld2.0测试中，模型完成单项任务的平均时间从上一代约75分钟缩短到40分钟；在Automation Bench测试中，Astra得分为41.4%，较上一代18.1%明显提高。

» GPT-6给出证明，孪生素数间距被压缩到186

OpenAI宣布GPT-6把孪生素数相关研究中的已知素数间距上界推进到186。文章回顾称，这条研究线从张益唐2013年的7000万突破出发，后来由Maynard、陶哲轩等人的工作推进到246。
报道提到，2026年8月31日，牛津大学数学家Julia Stadlmann将纪录推进到240；9月3日早晨，Axiom Math方面称其AI系统把界限压缩至212；随后OpenAI给出的结果进一步到186。
文章还称，OpenAI同步公开PrimeGaps186仓库，其中包含论文、Lean 4形式化代码和数值证书。报道同时提到，目前形式化证明仍依赖三条外部数学输入公理，这些输入来自既有数学文献。