OpenAI新仓库用Lean形式化证明素数间距有界 Andrew Curran转推 @scaling01: OpenAI 新仓库，由 GPT-6-Astra 通过 Lean 形式化证明，存在无穷多对相邻素数，其间距不超过 186 https://t.co/kegFNJKQrq https://t.co/bc8k6H1OdX 动态Andrew Curran2026-09-03原文 打开互动版
