新闻热度趋势
项目概述
Astra 是一款具有流式收益的超高吞吐量汇总。Astra 建立在 Rollkit 上，底层是 Celestia，再加上比特币安全性，它有望为比特币 DeFi 开创一个新的生态系统。
Polymarket上OpenAI将于9月15日前发布Astra概率跌至42%，24小时下跌18%
PPP 预测市场工具监测显示， 在 Polymarket “OpenAI Astra 发布日期”预测市场中，OpenAI 将于 9 月 15 日前发布 Astra 的概率跌至 42%，24 小时下跌 18%；8 月 31 日前发布的概率暂报 10%，24 小时下跌 8%。如果 OpenAI 在标题指定日期（美东时间）前正式发布 Astra，或发布经确认与此前披露的 Astra 为同一模型的产品，并向公众开放使用，则市场结算为 Yes，否则为 No。模型可以命名为 Astra、Astra 1、GPT-6 Astra 等，也可以采用其他名称，但必须由 OpenAI 官方或可信媒体确认其就是 Astra。GPT-5.7、GPT-6 等模型只有在确认与 Astra 为同一模型时才算。公开 Beta 或开放候补名单算正式发布；封闭 Beta、私人访问不算。结算主要以 OpenAI 官方信息为准，也可参考可信媒体的一致报道。加入 PPP 信号推送社群，快人一步，掌握先机。
Polymarket上OpenAI将于8月31日前发布Astra概率升至24%，24小时上涨8%
PPP 预测市场工具监测显示，在 Polymarket “OpenAI Astra 发布日期”预测市场中，OpenAI 将于 8 月 31 日前发布 Astra 的概率升至 24%，24 小时上涨 8%；9 月 15 日前发布的概率暂报 61%，24 小时上涨 6%。根据结算规则，若 OpenAI 在对应截止日期前发布 Astra，或发布经确认与 Astra 为同一模型的产品，且向公众开放使用，则该市场结算为“Yes”。公开测试或开放候补名单符合条件，但封闭测试及私人访问不计入；主要结算依据为 OpenAI 官方信息。此前，OpenAI 曾披露将放缓 Astra 的开发进程，直到建立适当的安全防护措施。不过，OpenAI 创始人 Sam Altman 也表示，Astra 是一款功能强大的模型，公司正努力推动其向更广泛的用户开放。加入 PPP 信号推送社群，快人一步，掌握先机。
OpenAI 因网络安全风险收紧 Astra 模型内部测试管控
据 CNBC 报道，OpenAI 表示，因担忧未发布模型 Astra 可能具备自主发起网络攻击的能力，公司已暂停部分内部活动，并加强高能力模型的隔离测试、监控与检测措施。与此同时，Meta、Anthropic 等机构近期也出现涉及 AI 系统的安全事件，推动美国与欧盟加快前沿模型监管与风险控制措施的制定。
OpenAI：ChatGPT免费用户可无限使用GPT-5.6 Luna，Astra延期发布
AI 公司 OpenAI 宣布，ChatGPT 免费用户及低价 Go 套餐用户可无限使用 GPT-5.6 轻量模型 Luna，但仅限文本对话。文件上传、图像生成和语音对话仍受原有额度限制。GPT-5.6 Luna 是 GPT-5.6 系列中速度最快但性能相对较低的模型，并新增可延长推理时间的“Think”选项。OpenAI 还改进了面向 Plus、Pro 用户的 GPT-5.6 顶级模型 Sol，提升数字、日期及来源等事实信息的可靠性。OpenAI 同时决定推迟下一代模型 Astra 的发布。该模型在编码和网络安全领域的内部评估显示出较强能力，可能达到“危险”评级；由于强化安全标准尚未完成，相关内部活动已暂时暂停。
OpenAI AI模型取得数学突破：发布密码学、量子计算等10个长期未解问题研究成果
OpenAI 发布研究成果称，其下一代 AI 模型 Astra 在数学与理论计算机科学领域取得进展，涉及高维几何、编码理论、群论、量子复杂性、后量子密码学以及极值组合数学等领域，其公布的 10 项成果涉及：高维球堆积问题、二进制与球面编码问题、非 sofic 群问题、Connes 刚性猜想、算术电路复杂性问题、量子并行重复问题、最近向量问题、Ehrhart 体积猜想、多色 Ramsey 数问题、极值图论猜想。据介绍，这些成果由内部版本的 Astra 模型完成推导，寻找解决方案所消耗的计算成本约为 2000 美元（按 Sol API 价格计算）。随后，人类研究人员利用同一模型协助整理成论文，并通过 Lean 形式化证明系统生成可验证证明证书。
OpenAI 未发布 Astra 模型攻克 10 项数学难题
根据新披露信息，该未发布模型（或为 GPT-6）在数学、量子复杂性和理论计算机科学领域攻克 10 项长期未解难题，包括首个显式非 sofic 群、推翻 Connes 刚性猜想等。核心论证由 Astra 生成，并在 Lean 中形式化证明，产出 249 页手稿及机器可验证证书。单次成功求解在 Sol API 费率下 token 成本仅约 2000 美元。
相关新闻
Polymarket上OpenAI将于9月15日前发布Astra概率跌至42%，24小时下跌18%
PPP 预测市场工具监测显示， 在 Polymarket “OpenAI Astra 发布日期”预测市场中，OpenAI 将于 9 月 15 日前发布 Astra 的概率跌至 42%，24 小时下跌 18%；8 月 31 日前发布的概率暂报 10%，24 小时下跌 8%。如果 OpenAI 在标题指定日期（美东时间）前正式发布 Astra，或发布经确认与此前披露的 Astra 为同一模型的产品，并向公众开放使用，则市场结算为 Yes，否则为 No。模型可以命名为 Astra、Astra 1、GPT-6 Astra 等，也可以采用其他名称，但必须由 OpenAI 官方或可信媒体确认其就是 Astra。GPT-5.7、GPT-6 等模型只有在确认与 Astra 为同一模型时才算。公开 Beta 或开放候补名单算正式发布；封闭 Beta、私人访问不算。结算主要以 OpenAI 官方信息为准，也可参考可信媒体的一致报道。加入 PPP 信号推送社群，快人一步，掌握先机。
Polymarket上OpenAI将于8月31日前发布Astra概率升至24%，24小时上涨8%
PPP 预测市场工具监测显示，在 Polymarket “OpenAI Astra 发布日期”预测市场中，OpenAI 将于 8 月 31 日前发布 Astra 的概率升至 24%，24 小时上涨 8%；9 月 15 日前发布的概率暂报 61%，24 小时上涨 6%。根据结算规则，若 OpenAI 在对应截止日期前发布 Astra，或发布经确认与 Astra 为同一模型的产品，且向公众开放使用，则该市场结算为“Yes”。公开测试或开放候补名单符合条件，但封闭测试及私人访问不计入；主要结算依据为 OpenAI 官方信息。此前，OpenAI 曾披露将放缓 Astra 的开发进程，直到建立适当的安全防护措施。不过，OpenAI 创始人 Sam Altman 也表示，Astra 是一款功能强大的模型，公司正努力推动其向更广泛的用户开放。加入 PPP 信号推送社群，快人一步，掌握先机。
市场下调对OpenAI Astra模型预期，其首发Arena.ai后分数大于1490概率24小时下跌31%
PPP 预测市场工具监测显示， 在 Polymarket“OpenAI 的 Astra 模型会以至少多少分的成绩在 Arena.ai 首次亮相”预测事件中，至少 1490 分的概率现报 32%，24 小时下跌 31%。至少 140 分的概率现报 32%，24 小时下跌 17%。如果 OpenAI Astra 模型正式登上 Arena.AI 总榜，其上榜次日美东时间中午 12 点的 Score 达到市场规定分数，则结算为 Yes，否则为 No。AutoEval 分数不算；若同日多个 Astra 上榜，则取最高分。2026 年底前未有符合条件的 Astra 上榜，则结算为 No。加入 PPP 信号推送社群，快人一步，掌握先机。
OpenAI 因网络安全风险收紧 Astra 模型内部测试管控
据 CNBC 报道，OpenAI 表示，因担忧未发布模型 Astra 可能具备自主发起网络攻击的能力，公司已暂停部分内部活动，并加强高能力模型的隔离测试、监控与检测措施。与此同时，Meta、Anthropic 等机构近期也出现涉及 AI 系统的安全事件，推动美国与欧盟加快前沿模型监管与风险控制措施的制定。
OpenAI：ChatGPT免费用户可无限使用GPT-5.6 Luna，Astra延期发布
AI 公司 OpenAI 宣布，ChatGPT 免费用户及低价 Go 套餐用户可无限使用 GPT-5.6 轻量模型 Luna，但仅限文本对话。文件上传、图像生成和语音对话仍受原有额度限制。GPT-5.6 Luna 是 GPT-5.6 系列中速度最快但性能相对较低的模型，并新增可延长推理时间的“Think”选项。OpenAI 还改进了面向 Plus、Pro 用户的 GPT-5.6 顶级模型 Sol，提升数字、日期及来源等事实信息的可靠性。OpenAI 同时决定推迟下一代模型 Astra 的发布。该模型在编码和网络安全领域的内部评估显示出较强能力，可能达到“危险”评级；由于强化安全标准尚未完成，相关内部活动已暂时暂停。
Sam Altman：正在推动Astra模型向更广泛用户开放，但仍需要更多时间确保安全
OpenAI 创始人 Sam Altman 在 X 平台发文表示，Astra 是一款功能强大的模型，目前正在努力推动其向更广泛用户开放。Sam Altman 称，将功能强大的模型仅提供给少数人并非良好策略。鉴于其网络安全能力，还需要更多时间以安全地完成开放，但希望不会太久。