OpenAI Astra 模型攻克 10 大数学难题

An internal OpenAI Astra model solved 10 major open math and CS problems

OpenAI 内部测试版 Astra 模型刚刚取得了一项突破性进展，成功解决了数学、量子复杂性及理论计算机科学领域的 10 个重大未解问题。这一成就标志着 AI 在科学推理能力上的巨大飞跃，不仅验证了模型处理高难度逻辑证明的潜力，也预示着未来科研范式的转变。从新的电路下界计算到长期悬而未决的猜想，Astra 展现了超越现有工具的推理深度，为科学家提供了强有力的新工具。