Zvi Mowshowitz 的文章声称，OpenAI 一个尚未发布、名为 Astra 的模型解决了十道重大开放数学问题。现有材料主要是 Substack 文章及 Hacker News 讨论，未提供可独立核验的论文、证明全文、模型评测或 OpenAI 官方确认，因此应将其视为未经证实的前沿传闻，而非已确立成果。
最近 24 小时暂无可用热度快照。