同時關聯該項目與事件的快訊
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 信號推送社羣，快人一步，掌握先機。
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 信號推送社羣，快人一步，掌握先機。
據 CNBC 報道，OpenAI 表示，因擔憂未發佈模型 Astra 可能具備自主發起網絡攻擊的能力，公司已暫停部分內部活動，並加強高能力模型的隔離測試、監控與檢測措施。與此同時，Meta、Anthropic 等機構近期也出現涉及 AI 系統的安全事件，推動美國與歐盟加快前沿模型監管與風險控制措施的制定。
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 模型 Astra 在數學與理論計算機科學領域取得進展，涉及高維幾何、編碼理論、羣論、量子複雜性、後量子密碼學以及極值組合數學等領域，其公佈的 10 項成果涉及：高維球堆積問題、二進制與球面編碼問題、非 sofic 羣問題、Connes 剛性猜想、算術電路複雜性問題、量子並行重複問題、最近向量問題、Ehrhart 體積猜想、多色 Ramsey 數問題、極值圖論猜想。據介紹，這些成果由內部版本的 Astra 模型完成推導，尋找解決方案所消耗的計算成本約爲 2000 美元（按 Sol API 價格計算）。隨後，人類研究人員利用同一模型協助整理成論文，並通過 Lean 形式化證明系統生成可驗證證明證書。
根據新披露信息，該未發佈模型（或爲 GPT-6）在數學、量子複雜性和理論計算機科學領域攻克 10 項長期未解難題，包括首個顯式非 sofic 羣、推翻 Connes 剛性猜想等。核心論證由 Astra 生成，並在 Lean 中形式化證明，產出 249 頁手稿及機器可驗證證書。單次成功求解在 Sol API 費率下 token 成本僅約 2000 美元。
據 The Information 報道，OpenAI CEO Sam Altman 本週向美國參議員展示全新 Astra AI 模型。該模型支持多個 AI 智能體協同執行復雜任務，重點提升長週期任務處理能力。