已收录文章摘要，完整内容可前往原文阅读。
10 月 26 日，OpenAI 发了一篇公告。我花了一整天把它挂出来的两篇论文、两套 Lean 形式化、外加千禧年难题的官方陈述全部读完，现在可以负责任地说：这是 AI 科学史上目前分量最重的一次发