OpenAI’s internal Astra model gained attention on August 1, 2026, when the company disclosed that an unreleased version solved ten long-standing open problems in mathematics and theoretical computer science, each verified with Lean 4 certificates. Trader sentiment around a potential Text Arena debut shifted after the August 7 announcement that OpenAI is pausing non-essential development and expanding safety reviews because internal evaluations could not rule out critical cyber capabilities under its preparedness framework. This follows the recent rollout of GPT-5.6 Sol and reflects broader scrutiny of frontier large language models. The delay introduces uncertainty for any near-term public benchmarking or arena appearance, though continued internal progress on verifiable capabilities could support an eventual release once safeguards are in place.
基於Polymarket數據的AI實驗性摘要。這不是交易建議，也不影響該市場的結算方式。 · 更新於最新
1480+
77%
1490+
59%
1500+
49%
1510+
26%
1520+
13%
$2,964 交易量
1480+
$1,356 交易量
77%
1490+
$1,155 交易量
59%
1500+
$294 交易量
49%
1510+
$91 交易量
26%
1520+
$68 交易量
13%
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 the next OpenAI “Astra” model added to the Arena.AI Leaderboard (https://arena.ai/leaderboard/text/overall-no-style-control) has at least the specified score at 12:00 PM ET on the calendar date following the date on which it first appears on the leaderboard. 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.
Results from the "Score" column under the "Text Arena | Overall" Leaderboard tab at https://arena.ai/leaderboard/text/overall-no-style-control with style control off will be used to resolve this market. This market will resolve solely based on the specified score in the Score column of the leaderboard, regardless of any underlying granular or unrounded data presented elsewhere.
A model marked “AutoEval” will not be considered added to the leaderboard. Only scores displayed without the “AutoEval” label will be considered.
If multiple models are added to the leaderboard on the same calendar date (ET), the highest-scoring model will be used for resolution. Models added to the leaderboard on the calendar date following the initial qualifying model’s first appearance will not be considered.
A qualifying model must be newly added to the Arena.AI Leaderboard. Whether the model was previously released, publicly accessible, in beta, or otherwise available before appearing on the leaderboard is irrelevant for this market.
The resolution source for this market is the Chatbot Arena LLM Leaderboard found at https://arena.ai/leaderboard/text/overall-no-style-control. If this resolution source is unavailable at 12:00 PM ET on the calendar date following the date on which the qualifying model first appears on the leaderboard, this market will resolve based on the first subsequent instance at which such a score becomes available on the leaderboard. If it remains unavailable through the end of the seventh day after the qualifying model first appears on the leaderboard or if no qualifying model release occurs by December 31, 2026, 11:59 PM ET, this market will resolve to "No".OpenAI’s internal Astra model gained attention on August 1, 2026, when the company disclosed that an unreleased version solved ten long-standing open problems in mathematics and theoretical computer science, each verified with Lean 4 certificates. Trader sentiment around a potential Text Arena debut shifted after the August 7 announcement that OpenAI is pausing non-essential development and expanding safety reviews because internal evaluations could not rule out critical cyber capabilities under its preparedness framework. This follows the recent rollout of GPT-5.6 Sol and reflects broader scrutiny of frontier large language models. The delay introduces uncertainty for any near-term public benchmarking or arena appearance, though continued internal progress on verifiable capabilities could support an eventual release once safeguards are in place.
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 the next OpenAI “Astra” model added to the Arena.AI Leaderboard (https://arena.ai/leaderboard/text/overall-no-style-control) has at least the specified score at 12:00 PM ET on the calendar date following the date on which it first appears on the leaderboard. 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.
Results from the "Score" column under the "Text Arena | Overall" Leaderboard tab at https://arena.ai/leaderboard/text/overall-no-style-control with style control off will be used to resolve this market. This market will resolve solely based on the specified score in the Score column of the leaderboard, regardless of any underlying granular or unrounded data presented elsewhere.
A model marked “AutoEval” will not be considered added to the leaderboard. Only scores displayed without the “AutoEval” label will be considered.
If multiple models are added to the leaderboard on the same calendar date (ET), the highest-scoring model will be used for resolution. Models added to the leaderboard on the calendar date following the initial qualifying model’s first appearance will not be considered.
A qualifying model must be newly added to the Arena.AI Leaderboard. Whether the model was previously released, publicly accessible, in beta, or otherwise available before appearing on the leaderboard is irrelevant for this market.
The resolution source for this market is the Chatbot Arena LLM Leaderboard found at https://arena.ai/leaderboard/text/overall-no-style-control. If this resolution source is unavailable at 12:00 PM ET on the calendar date following the date on which the qualifying model first appears on the leaderboard, this market will resolve based on the first subsequent instance at which such a score becomes available on the leaderboard. If it remains unavailable through the end of the seventh day after the qualifying model first appears on the leaderboard or if no qualifying model release occurs by December 31, 2026, 11:59 PM ET, this market will resolve to "No".
This market will resolve to "Yes" if the next OpenAI “Astra” model added to the Arena.AI Leaderboard (https://arena.ai/leaderboard/text/overall-no-style-control) has at least the specified score at 12:00 PM ET on the calendar date following the date on which it first appears on the leaderboard. 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.
Results from the "Score" column under the "Text Arena | Overall" Leaderboard tab at https://arena.ai/leaderboard/text/overall-no-style-control with style control off will be used to resolve this market. This market will resolve solely based on the specified score in the Score column of the leaderboard, regardless of any underlying granular or unrounded data presented elsewhere.
A model marked “AutoEval” will not be considered added to the leaderboard. Only scores displayed without the “AutoEval” label will be considered.
If multiple models are added to the leaderboard on the same calendar date (ET), the highest-scoring model will be used for resolution. Models added to the leaderboard on the calendar date following the initial qualifying model’s first appearance will not be considered.
A qualifying model must be newly added to the Arena.AI Leaderboard. Whether the model was previously released, publicly accessible, in beta, or otherwise available before appearing on the leaderboard is irrelevant for this market.
The resolution source for this market is the Chatbot Arena LLM Leaderboard found at https://arena.ai/leaderboard/text/overall-no-style-control. If this resolution source is unavailable at 12:00 PM ET on the calendar date following the date on which the qualifying model first appears on the leaderboard, this market will resolve based on the first subsequent instance at which such a score becomes available on the leaderboard. If it remains unavailable through the end of the seventh day after the qualifying model first appears on the leaderboard or if no qualifying model release occurs by December 31, 2026, 11:59 PM ET, this market will resolve to "No".
市場開放時間： Aug 13, 2026, 5:50 PM ET
交易量
$2,964市場開放時間
Aug 13, 2026, 5:50 PM ETOn 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 the next OpenAI “Astra” model added to the Arena.AI Leaderboard (https://arena.ai/leaderboard/text/overall-no-style-control) has at least the specified score at 12:00 PM ET on the calendar date following the date on which it first appears on the leaderboard. 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.
Results from the "Score" column under the "Text Arena | Overall" Leaderboard tab at https://arena.ai/leaderboard/text/overall-no-style-control with style control off will be used to resolve this market. This market will resolve solely based on the specified score in the Score column of the leaderboard, regardless of any underlying granular or unrounded data presented elsewhere.
A model marked “AutoEval” will not be considered added to the leaderboard. Only scores displayed without the “AutoEval” label will be considered.
If multiple models are added to the leaderboard on the same calendar date (ET), the highest-scoring model will be used for resolution. Models added to the leaderboard on the calendar date following the initial qualifying model’s first appearance will not be considered.
A qualifying model must be newly added to the Arena.AI Leaderboard. Whether the model was previously released, publicly accessible, in beta, or otherwise available before appearing on the leaderboard is irrelevant for this market.
The resolution source for this market is the Chatbot Arena LLM Leaderboard found at https://arena.ai/leaderboard/text/overall-no-style-control. If this resolution source is unavailable at 12:00 PM ET on the calendar date following the date on which the qualifying model first appears on the leaderboard, this market will resolve based on the first subsequent instance at which such a score becomes available on the leaderboard. If it remains unavailable through the end of the seventh day after the qualifying model first appears on the leaderboard or if no qualifying model release occurs by December 31, 2026, 11:59 PM ET, this market will resolve to "No".OpenAI’s internal Astra model gained attention on August 1, 2026, when the company disclosed that an unreleased version solved ten long-standing open problems in mathematics and theoretical computer science, each verified with Lean 4 certificates. Trader sentiment around a potential Text Arena debut shifted after the August 7 announcement that OpenAI is pausing non-essential development and expanding safety reviews because internal evaluations could not rule out critical cyber capabilities under its preparedness framework. This follows the recent rollout of GPT-5.6 Sol and reflects broader scrutiny of frontier large language models. The delay introduces uncertainty for any near-term public benchmarking or arena appearance, though continued internal progress on verifiable capabilities could support an eventual release once safeguards are in place.
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 the next OpenAI “Astra” model added to the Arena.AI Leaderboard (https://arena.ai/leaderboard/text/overall-no-style-control) has at least the specified score at 12:00 PM ET on the calendar date following the date on which it first appears on the leaderboard. 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.
Results from the "Score" column under the "Text Arena | Overall" Leaderboard tab at https://arena.ai/leaderboard/text/overall-no-style-control with style control off will be used to resolve this market. This market will resolve solely based on the specified score in the Score column of the leaderboard, regardless of any underlying granular or unrounded data presented elsewhere.
A model marked “AutoEval” will not be considered added to the leaderboard. Only scores displayed without the “AutoEval” label will be considered.
If multiple models are added to the leaderboard on the same calendar date (ET), the highest-scoring model will be used for resolution. Models added to the leaderboard on the calendar date following the initial qualifying model’s first appearance will not be considered.
A qualifying model must be newly added to the Arena.AI Leaderboard. Whether the model was previously released, publicly accessible, in beta, or otherwise available before appearing on the leaderboard is irrelevant for this market.
The resolution source for this market is the Chatbot Arena LLM Leaderboard found at https://arena.ai/leaderboard/text/overall-no-style-control. If this resolution source is unavailable at 12:00 PM ET on the calendar date following the date on which the qualifying model first appears on the leaderboard, this market will resolve based on the first subsequent instance at which such a score becomes available on the leaderboard. If it remains unavailable through the end of the seventh day after the qualifying model first appears on the leaderboard or if no qualifying model release occurs by December 31, 2026, 11:59 PM ET, this market will resolve to "No".
This market will resolve to "Yes" if the next OpenAI “Astra” model added to the Arena.AI Leaderboard (https://arena.ai/leaderboard/text/overall-no-style-control) has at least the specified score at 12:00 PM ET on the calendar date following the date on which it first appears on the leaderboard. 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.
Results from the "Score" column under the "Text Arena | Overall" Leaderboard tab at https://arena.ai/leaderboard/text/overall-no-style-control with style control off will be used to resolve this market. This market will resolve solely based on the specified score in the Score column of the leaderboard, regardless of any underlying granular or unrounded data presented elsewhere.
A model marked “AutoEval” will not be considered added to the leaderboard. Only scores displayed without the “AutoEval” label will be considered.
If multiple models are added to the leaderboard on the same calendar date (ET), the highest-scoring model will be used for resolution. Models added to the leaderboard on the calendar date following the initial qualifying model’s first appearance will not be considered.
A qualifying model must be newly added to the Arena.AI Leaderboard. Whether the model was previously released, publicly accessible, in beta, or otherwise available before appearing on the leaderboard is irrelevant for this market.
The resolution source for this market is the Chatbot Arena LLM Leaderboard found at https://arena.ai/leaderboard/text/overall-no-style-control. If this resolution source is unavailable at 12:00 PM ET on the calendar date following the date on which the qualifying model first appears on the leaderboard, this market will resolve based on the first subsequent instance at which such a score becomes available on the leaderboard. If it remains unavailable through the end of the seventh day after the qualifying model first appears on the leaderboard or if no qualifying model release occurs by December 31, 2026, 11:59 PM ET, this market will resolve to "No".
交易量
$2,964市場開放時間
Aug 13, 2026, 5:50 PM ETOpenAI’s internal Astra model gained attention on August 1, 2026, when the company disclosed that an unreleased version solved ten long-standing open problems in mathematics and theoretical computer science, each verified with Lean 4 certificates. Trader sentiment around a potential Text Arena debut shifted after the August 7 announcement that OpenAI is pausing non-essential development and expanding safety reviews because internal evaluations could not rule out critical cyber capabilities under its preparedness framework. This follows the recent rollout of GPT-5.6 Sol and reflects broader scrutiny of frontier large language models. The delay introduces uncertainty for any near-term public benchmarking or arena appearance, though continued internal progress on verifiable capabilities could support an eventual release once safeguards are in place.
基於Polymarket數據的AI實驗性摘要。這不是交易建議，也不影響該市場的結算方式。 · 更新於
警惕外部連結哦。
警惕外部連結哦。
Frequently Asked Questions