Sam Altman：GPT-6 Astra 有望加速科学发现——Lean 形式化证明有界素数间隙

Sam Altman 强调 GPT-6 Astra 在科学发现方面的潜力，并提到 OpenAI 仓库中该模型用 Lean 形式化证明了“存在无穷多对相邻素数，其间距不超过 186”。

内容详情 · 原文链接

via AI Pulse | 全球 AI 动态简报 - Telegram Channel