News Heat Trend
Project Overview
Astra is an Omnichain SLG Game where players can build and defend their cosmic homeland, strategize, expand and dominate in interstellar conquest.
Polymarket probability of OpenAI releasing Astra before September 15 drops to 42%, down 18% in 24 hours
According to monitoring by the PPP Prediction Market Tool, in the Polymarket "OpenAI Astra Release Date" prediction market, the probability of OpenAI releasing Astra before September 15 has dropped to 42%, down 18% in 24 hours; the probability of a release before August 31 is currently at 10%, down 8% in 24 hours.If OpenAI officially releases Astra before the specified date in the title (Eastern Time), or releases a product confirmed to be the same model as the previously disclosed Astra and makes it available to the public, the market will settle as Yes; otherwise, it will settle as No.The model can be named Astra, Astra 1, GPT-6 Astra, or any other name, but it must be confirmed by OpenAI's official channels or credible media that it is indeed Astra. Models such as GPT-5.7 and GPT-6 will only count if they are confirmed to be the same model as Astra.A public beta or opening a waitlist counts as an official release; closed beta or private access does not. Settlement will primarily rely on official information from OpenAI, with consistent reports from credible media also considered.Join the PPP Signal Push Community to stay ahead of the curve and seize the initiative.
Polymarket: Probability of OpenAI Releasing Astra by August 31 Rises to 24%, Up 8% in 24 Hours
Monitoring from the PPP Prediction Market Tool shows that in the Polymarket "OpenAI Astra Release Date" prediction market, the probability of OpenAI releasing Astra by August 31 has risen to 24%, up 8% in the past 24 hours; the probability of a release by September 15 is currently at 61%, up 6% in the past 24 hours.According to the settlement rules, if OpenAI releases Astra before the corresponding deadline—or releases a product confirmed to be the same model as Astra—and makes it publicly available, the market settles as "Yes." Public beta testing or opening a waitlist qualifies, while closed testing and private access do not count; the primary basis for settlement is official information from OpenAI.Previously, OpenAI disclosed that it would slow down the development of Astra until appropriate safety measures are established. However, OpenAI founder Sam Altman also stated that Astra is a powerful model and that the company is working to make it available to a broader range of users.Join the PPP Signal Push Community to stay one step ahead and seize the opportunity.
OpenAI Tightens Internal Testing Controls for Astra Model Due to Network Security Risks
据 CNBC 报道，OpenAI 表示，因担忧未发布模型 Astra 可能具备自主发起网络攻击的能力，公司已暂停部分内部活动，并加强高能力模型的隔离测试、监控与检测措施。与此同时，Meta、Anthropic 等机构近期也出现涉及 AI 系统的安全事件，推动美国与欧盟加快前沿模型监管与风险控制措施的制定。
OpenAI: ChatGPT Free Users Can Now Use GPT-5.6 Luna Unlimitedly, Astra Delayed
Odaily News: AI company OpenAI announced that ChatGPT free users and users on the low-cost Go plan can now use the lightweight GPT-5.6 model Luna without limits, but only for text conversations. File uploads, image generation, and voice conversations will still be subject to existing usage limits.GPT-5.6 Luna is the fastest but relatively lower-performing model in the GPT-5.6 series, and it now includes a new "Think" option that allows for extended reasoning time. OpenAI has also improved GPT-5.6's top-tier model Sol for Plus and Pro users, enhancing the reliability of factual information such as numbers, dates, and sources.OpenAI has also decided to postpone the release of its next-generation model, Astra. Internal evaluations of this model have shown strong capabilities in coding and cybersecurity, potentially reaching a "dangerous" rating. Internal activities have been temporarily paused as enhanced safety standards have not yet been finalized.
OpenAI AI Model Achieves Mathematical Breakthrough: Releases Research Results on 10 Long-Standing Unsolved Problems in Cryptography, Quantum Computing, and More
Odaily News, OpenAI released research findings stating that its next-generation AI model, Astra, has made progress in mathematics and theoretical computer science, covering fields such as high-dimensional geometry, coding theory, group theory, quantum complexity, post-quantum cryptography, and extremal combinatorics. The 10 results published cover: the high-dimensional sphere packing problem, binary and spherical coding problems, non-sofic group problems, Connes rigidity conjecture, arithmetic circuit complexity problems, quantum parallel repetition problems, the closest vector problem, Ehrhart volume conjecture, multicolor Ramsey number problems, and extremal graph theory conjectures.According to reports, these results were derived by an internal version of the Astra model, with the computational cost of finding solutions amounting to approximately $2,000 (calculated based on Sol API pricing). Subsequently, human researchers used the same model to help compile the results into papers and generated verifiable proof certificates through the Lean formal proof system.
OpenAI's Unreleased Astra Model Solves 10 Math Problems
According to newly disclosed information, this unreleased model (possibly GPT-6) has solved 10 long-standing unsolved problems in the fields of mathematics, quantum complexity, and theoretical computer science, including the first explicit non-sofic group and overturning the Connes rigidity conjecture, among others. The core argument was generated by Astra and formally proven in Lean, producing a 249-page manuscript and machine-verifiable certificates. The token cost for a single successful solution at the Sol API rate was only about $2,000.
Related news
Polymarket probability of OpenAI releasing Astra before September 15 drops to 42%, down 18% in 24 hours
According to monitoring by the PPP Prediction Market Tool, in the Polymarket "OpenAI Astra Release Date" prediction market, the probability of OpenAI releasing Astra before September 15 has dropped to 42%, down 18% in 24 hours; the probability of a release before August 31 is currently at 10%, down 8% in 24 hours.If OpenAI officially releases Astra before the specified date in the title (Eastern Time), or releases a product confirmed to be the same model as the previously disclosed Astra and makes it available to the public, the market will settle as Yes; otherwise, it will settle as No.The model can be named Astra, Astra 1, GPT-6 Astra, or any other name, but it must be confirmed by OpenAI's official channels or credible media that it is indeed Astra. Models such as GPT-5.7 and GPT-6 will only count if they are confirmed to be the same model as Astra.A public beta or opening a waitlist counts as an official release; closed beta or private access does not. Settlement will primarily rely on official information from OpenAI, with consistent reports from credible media also considered.Join the PPP Signal Push Community to stay ahead of the curve and seize the initiative.
Polymarket: Probability of OpenAI Releasing Astra by August 31 Rises to 24%, Up 8% in 24 Hours
Monitoring from the PPP Prediction Market Tool shows that in the Polymarket "OpenAI Astra Release Date" prediction market, the probability of OpenAI releasing Astra by August 31 has risen to 24%, up 8% in the past 24 hours; the probability of a release by September 15 is currently at 61%, up 6% in the past 24 hours.According to the settlement rules, if OpenAI releases Astra before the corresponding deadline—or releases a product confirmed to be the same model as Astra—and makes it publicly available, the market settles as "Yes." Public beta testing or opening a waitlist qualifies, while closed testing and private access do not count; the primary basis for settlement is official information from OpenAI.Previously, OpenAI disclosed that it would slow down the development of Astra until appropriate safety measures are established. However, OpenAI founder Sam Altman also stated that Astra is a powerful model and that the company is working to make it available to a broader range of users.Join the PPP Signal Push Community to stay one step ahead and seize the opportunity.
Market sentiment has cooled on OpenAI's Astra model expectations, with the probability of scoring above 1490 on its Arena.ai debut falling 31% in 24 hours
According to monitoring by PPP Prediction Market Tool, in the Polymarket event "What score will OpenAI's Astra model achieve on its Arena.ai debut?", the probability of scoring at least 1490 currently stands at 32%, down 31% in 24 hours. The probability of scoring at least 140 is currently 32%, down 17% in 24 hours.If the OpenAI Astra model officially appears on the Arena.AI overall leaderboard, and its Score at 12:00 PM ET on the day after its debut meets the market-specified threshold, the outcome will resolve to Yes; otherwise, it resolves to No.AutoEval scores do not count; if multiple Astra models appear on the leaderboard on the same day, the highest score will be used. If no qualifying Astra model appears on the leaderboard before the end of 2026, the outcome resolves to No.Join the PPP Signal Push Community to stay ahead and seize the opportunity first.
OpenAI Tightens Internal Testing Controls for Astra Model Due to Network Security Risks
据 CNBC 报道，OpenAI 表示，因担忧未发布模型 Astra 可能具备自主发起网络攻击的能力，公司已暂停部分内部活动，并加强高能力模型的隔离测试、监控与检测措施。与此同时，Meta、Anthropic 等机构近期也出现涉及 AI 系统的安全事件，推动美国与欧盟加快前沿模型监管与风险控制措施的制定。
OpenAI: ChatGPT Free Users Can Now Use GPT-5.6 Luna Unlimitedly, Astra Delayed
Odaily News: AI company OpenAI announced that ChatGPT free users and users on the low-cost Go plan can now use the lightweight GPT-5.6 model Luna without limits, but only for text conversations. File uploads, image generation, and voice conversations will still be subject to existing usage limits.GPT-5.6 Luna is the fastest but relatively lower-performing model in the GPT-5.6 series, and it now includes a new "Think" option that allows for extended reasoning time. OpenAI has also improved GPT-5.6's top-tier model Sol for Plus and Pro users, enhancing the reliability of factual information such as numbers, dates, and sources.OpenAI has also decided to postpone the release of its next-generation model, Astra. Internal evaluations of this model have shown strong capabilities in coding and cybersecurity, potentially reaching a "dangerous" rating. Internal activities have been temporarily paused as enhanced safety standards have not yet been finalized.
Sam Altman: Pushing to Open Astra Model to a Broader User Base, But More Time Is Still Needed to Ensure Safety
Odaily News: OpenAI founder Sam Altman posted on X, stating that Astra is a powerful model and that efforts are currently underway to make it available to a broader user base. Altman noted that offering powerful models to only a select few is not a good strategy. Given its cybersecurity capabilities, more time is needed to safely complete the rollout, but he hopes it won't be too long.