OpenAI’s internal Astra model family recently demonstrated frontier-level advances by generating machine-checkable proofs for ten longstanding open problems in mathematics, quantum complexity, and theoretical computer science, with results formalized in Lean and published alongside a 249-page manuscript. This August 2026 disclosure by OpenAI, following Sam Altman’s private demos to policymakers, has sharpened trader focus on release timing amid competition from models like Sol and those from rival labs. No public launch date or API access has been confirmed, though historical patterns for major model families suggest phased rollouts tied to safety reviews and capability benchmarks. Key upcoming catalysts include potential announcements at developer events or earnings updates that could clarify availability thresholds.
Résumé expérimental généré par IA à partir des données Polymarket. Ceci n'est pas un conseil de trading et ne joue aucun rôle dans la résolution de ce marché. · Mis à jourNOUVEAU
$11,945 Vol.
15 août 2026
15 août
1%
31 août
21%
30 septembre
68%
31 octobre
80%
$11,945 Vol.
15 août
$4,572 Vol.
1%
31 août
$2,965 Vol.
21%
30 septembre
$3,825 Vol.
68%
31 octobre
$583 Vol.
80%
On August 1, 2026, OpenAI publicly disclosed “Astra,” describing an internal version of Astra as its “next major model.” You can read more about that here: https://openai.com/index/ten-advances-in-mathematics/.
This market will resolve to "Yes" if OpenAI releases "Astra" or a model confirmed to be the same model referenced in the announcement described above, and that model is made available to the general public by the listed date (ET). Otherwise, this market will resolve to "No."
A qualifying model must be named "Astra" (including variants or successor branding such as Astra 1, Astra 6, Astra X, GPT-6 Astra, or similar naming or rebranded versions) or be confirmed to be the same model referenced in the announcement by OpenAI or by a consensus of credible reporting.
Products labeled as GPT-5.7, GPT-6, or similar will only count if they are confirmed to be the same model referenced in the announcement.
For this market to resolve to "Yes," the qualifying model (as defined above) must be launched and publicly accessible, including via open beta or open rolling waitlist signups. A closed beta or any form of private access will not suffice. The release must be clearly defined and publicly announced by OpenAI as being accessible to the general public.
The release must be either clearly defined and publicly announced by OpenAI as being accessible to the general public or otherwise made publicly accessible and explicitly labeled within the company’s official website. Labeling errors, placeholder text, or version names displayed on the website that do not correspond to a model that is actually accessible to the general public will not qualify.
The primary resolution source for this market will be official information from OpenAI; however, a consensus of credible reporting will also be used.OpenAI’s internal Astra model family recently demonstrated frontier-level advances by generating machine-checkable proofs for ten longstanding open problems in mathematics, quantum complexity, and theoretical computer science, with results formalized in Lean and published alongside a 249-page manuscript. This August 2026 disclosure by OpenAI, following Sam Altman’s private demos to policymakers, has sharpened trader focus on release timing amid competition from models like Sol and those from rival labs. No public launch date or API access has been confirmed, though historical patterns for major model families suggest phased rollouts tied to safety reviews and capability benchmarks. Key upcoming catalysts include potential announcements at developer events or earnings updates that could clarify availability thresholds.
On August 1, 2026, OpenAI publicly disclosed “Astra,” describing an internal version of Astra as its “next major model.” You can read more about that here: https://openai.com/index/ten-advances-in-mathematics/.
This market will resolve to "Yes" if OpenAI releases "Astra" or a model confirmed to be the same model referenced in the announcement described above, and that model is made available to the general public by the listed date (ET). Otherwise, this market will resolve to "No."
A qualifying model must be named "Astra" (including variants or successor branding such as Astra 1, Astra 6, Astra X, GPT-6 Astra, or similar naming or rebranded versions) or be confirmed to be the same model referenced in the announcement by OpenAI or by a consensus of credible reporting.
Products labeled as GPT-5.7, GPT-6, or similar will only count if they are confirmed to be the same model referenced in the announcement.
For this market to resolve to "Yes," the qualifying model (as defined above) must be launched and publicly accessible, including via open beta or open rolling waitlist signups. A closed beta or any form of private access will not suffice. The release must be clearly defined and publicly announced by OpenAI as being accessible to the general public.
The release must be either clearly defined and publicly announced by OpenAI as being accessible to the general public or otherwise made publicly accessible and explicitly labeled within the company’s official website. Labeling errors, placeholder text, or version names displayed on the website that do not correspond to a model that is actually accessible to the general public will not qualify.
The primary resolution source for this market will be official information from OpenAI; however, a consensus of credible reporting will also be used.
This market will resolve to "Yes" if OpenAI releases "Astra" or a model confirmed to be the same model referenced in the announcement described above, and that model is made available to the general public by the listed date (ET). Otherwise, this market will resolve to "No."
A qualifying model must be named "Astra" (including variants or successor branding such as Astra 1, Astra 6, Astra X, GPT-6 Astra, or similar naming or rebranded versions) or be confirmed to be the same model referenced in the announcement by OpenAI or by a consensus of credible reporting.
Products labeled as GPT-5.7, GPT-6, or similar will only count if they are confirmed to be the same model referenced in the announcement.
For this market to resolve to "Yes," the qualifying model (as defined above) must be launched and publicly accessible, including via open beta or open rolling waitlist signups. A closed beta or any form of private access will not suffice. The release must be clearly defined and publicly announced by OpenAI as being accessible to the general public.
The release must be either clearly defined and publicly announced by OpenAI as being accessible to the general public or otherwise made publicly accessible and explicitly labeled within the company’s official website. Labeling errors, placeholder text, or version names displayed on the website that do not correspond to a model that is actually accessible to the general public will not qualify.
The primary resolution source for this market will be official information from OpenAI; however, a consensus of credible reporting will also be used.
Marché ouvert : Aug 1, 2026, 5:50 PM ET
Volume
$11,945Date de fin
31 oct. 2026Marché ouvert
Aug 1, 2026, 5:50 PM ETResolver
0x65070BE91...On August 1, 2026, OpenAI publicly disclosed “Astra,” describing an internal version of Astra as its “next major model.” You can read more about that here: https://openai.com/index/ten-advances-in-mathematics/.
This market will resolve to "Yes" if OpenAI releases "Astra" or a model confirmed to be the same model referenced in the announcement described above, and that model is made available to the general public by the listed date (ET). Otherwise, this market will resolve to "No."
A qualifying model must be named "Astra" (including variants or successor branding such as Astra 1, Astra 6, Astra X, GPT-6 Astra, or similar naming or rebranded versions) or be confirmed to be the same model referenced in the announcement by OpenAI or by a consensus of credible reporting.
Products labeled as GPT-5.7, GPT-6, or similar will only count if they are confirmed to be the same model referenced in the announcement.
For this market to resolve to "Yes," the qualifying model (as defined above) must be launched and publicly accessible, including via open beta or open rolling waitlist signups. A closed beta or any form of private access will not suffice. The release must be clearly defined and publicly announced by OpenAI as being accessible to the general public.
The release must be either clearly defined and publicly announced by OpenAI as being accessible to the general public or otherwise made publicly accessible and explicitly labeled within the company’s official website. Labeling errors, placeholder text, or version names displayed on the website that do not correspond to a model that is actually accessible to the general public will not qualify.
The primary resolution source for this market will be official information from OpenAI; however, a consensus of credible reporting will also be used.OpenAI’s internal Astra model family recently demonstrated frontier-level advances by generating machine-checkable proofs for ten longstanding open problems in mathematics, quantum complexity, and theoretical computer science, with results formalized in Lean and published alongside a 249-page manuscript. This August 2026 disclosure by OpenAI, following Sam Altman’s private demos to policymakers, has sharpened trader focus on release timing amid competition from models like Sol and those from rival labs. No public launch date or API access has been confirmed, though historical patterns for major model families suggest phased rollouts tied to safety reviews and capability benchmarks. Key upcoming catalysts include potential announcements at developer events or earnings updates that could clarify availability thresholds.
On August 1, 2026, OpenAI publicly disclosed “Astra,” describing an internal version of Astra as its “next major model.” You can read more about that here: https://openai.com/index/ten-advances-in-mathematics/.
This market will resolve to "Yes" if OpenAI releases "Astra" or a model confirmed to be the same model referenced in the announcement described above, and that model is made available to the general public by the listed date (ET). Otherwise, this market will resolve to "No."
A qualifying model must be named "Astra" (including variants or successor branding such as Astra 1, Astra 6, Astra X, GPT-6 Astra, or similar naming or rebranded versions) or be confirmed to be the same model referenced in the announcement by OpenAI or by a consensus of credible reporting.
Products labeled as GPT-5.7, GPT-6, or similar will only count if they are confirmed to be the same model referenced in the announcement.
For this market to resolve to "Yes," the qualifying model (as defined above) must be launched and publicly accessible, including via open beta or open rolling waitlist signups. A closed beta or any form of private access will not suffice. The release must be clearly defined and publicly announced by OpenAI as being accessible to the general public.
The release must be either clearly defined and publicly announced by OpenAI as being accessible to the general public or otherwise made publicly accessible and explicitly labeled within the company’s official website. Labeling errors, placeholder text, or version names displayed on the website that do not correspond to a model that is actually accessible to the general public will not qualify.
The primary resolution source for this market will be official information from OpenAI; however, a consensus of credible reporting will also be used.
This market will resolve to "Yes" if OpenAI releases "Astra" or a model confirmed to be the same model referenced in the announcement described above, and that model is made available to the general public by the listed date (ET). Otherwise, this market will resolve to "No."
A qualifying model must be named "Astra" (including variants or successor branding such as Astra 1, Astra 6, Astra X, GPT-6 Astra, or similar naming or rebranded versions) or be confirmed to be the same model referenced in the announcement by OpenAI or by a consensus of credible reporting.
Products labeled as GPT-5.7, GPT-6, or similar will only count if they are confirmed to be the same model referenced in the announcement.
For this market to resolve to "Yes," the qualifying model (as defined above) must be launched and publicly accessible, including via open beta or open rolling waitlist signups. A closed beta or any form of private access will not suffice. The release must be clearly defined and publicly announced by OpenAI as being accessible to the general public.
The release must be either clearly defined and publicly announced by OpenAI as being accessible to the general public or otherwise made publicly accessible and explicitly labeled within the company’s official website. Labeling errors, placeholder text, or version names displayed on the website that do not correspond to a model that is actually accessible to the general public will not qualify.
The primary resolution source for this market will be official information from OpenAI; however, a consensus of credible reporting will also be used.
Volume
$11,945Date de fin
31 oct. 2026Marché ouvert
Aug 1, 2026, 5:50 PM ETResolver
0x65070BE91...OpenAI’s internal Astra model family recently demonstrated frontier-level advances by generating machine-checkable proofs for ten longstanding open problems in mathematics, quantum complexity, and theoretical computer science, with results formalized in Lean and published alongside a 249-page manuscript. This August 2026 disclosure by OpenAI, following Sam Altman’s private demos to policymakers, has sharpened trader focus on release timing amid competition from models like Sol and those from rival labs. No public launch date or API access has been confirmed, though historical patterns for major model families suggest phased rollouts tied to safety reviews and capability benchmarks. Key upcoming catalysts include potential announcements at developer events or earnings updates that could clarify availability thresholds.
Résumé expérimental généré par IA à partir des données Polymarket. Ceci n'est pas un conseil de trading et ne joue aucun rôle dans la résolution de ce marché. · Mis à jour
Méfiez-vous des liens externes.
Méfiez-vous des liens externes.
Questions fréquentes