核心信息

Sam Altman 表示，GPT-6 Astra 最令他兴奋的应用场景是科学发现；OpenAI 的一个仓库展示了该模型用 Lean 形式化证明了“存在无穷多对相邻素数，其间距不超过 186”。

要点

  • Altman 称科学发现是 GPT-6 Astra 最让他期待的用例，并认为模型在数学和科学上的潜力尚未被充分挖掘。
  • 所附 OpenAI 仓库显示，GPT-6-Astra 以 Lean 形式化完成了有界素数间隙结果（间隙≤186）的证明。
  • 这一表态将 GPT-6 Astra 定位为推动数学新突破的潜在工具。