OpenAI 的「Astra」据说已解决10个数学和计算机科学领域的公开难题——且让我们拭目以待证据。

Noam Brown 发帖，HN 评论：一个内部模型可能已解决十个重大未解难题。未发布任何内容。观察，但不下结论。

简单来说。OpenAI研究员Noam Brown (@polynoamial)宣布，一个名为Astra的内部模型已解决数学和计算机科学领域的十个重大未解问题。目前尚未公布相关证明。

事实

该帖子于2026年8月2日在Hacker News（项目49143688）转发，但未列出十个问题的具体清单。其中第6个问题据称基于研究员Henry Yuen（量子复杂性理论）的工作。截至目前，尚无公开的书面证明。

我们的解读

此次公告属于系列行为之一。回顾#1342号发布：OpenAI在同行评审前公布了一项关于已悬而未决三十年的凸优化问题的成果。今日HN讨论同样指出相同批评——需等待证明公开后自行验证数学推理——并强调与标准科学实践（arXiv预印本、评审、复现）的差异。既不悲观，也不炒作：我们记录此次公告，在证明出炉前暂缓判断。

此事意义重大，因为若获验证，它将重新定义先进大语言模型在数学推理方面的真实能力——不仅是模仿推导步骤，而是生成可验证的新证明。这正是研究与炒作边界的关键所在。

关注点

有效证明的发布（arXiv、OpenAI博客）；十个问题的确认；Henry Yuen及相关数学家的回应；第三方复现。