孪生素数猜想被GPT-6新突破，北大数学07级又出现了

GPT-6 Astra在孪生素数猜想上取得突破，将连续素数间距的上界从246缩小到186。该成果通过Lean形式化证明完成，并提供了完整的代码和验证程序。此外，Astra在3D生成方面也展现了强大能力，能够快速生成高质量的3D模型。OpenAI还为Codex引入了可搜索笔记功能，增强了上下文处理能力。

🔗 [论文地址]：https://openai.com/research/improved-short-gaps-between-primes