新聞熱度趨勢
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 稱，將功能強大的模型僅提供給少數人並非良好策略。鑑於其網絡安全能力，還需要更多時間以安全地完成開放，但希望不會太久。