PolymarketCheck availabilityNo KYCVerified resolution dataWell calibratedSelected book midpoint
June 30 · —
Loading selected book…
—
Stored reference
June 30 91%
June 30 91%Market quality
60 / 100
Medium quality24h Volume
$325
Liquidity
$15.7K
Medium liquidityOpen interest
$5.2K
Bid / Ask
— / —
June 30Spread
—
Comments
0
Market data
Updated 34 minutes ago
Oct 27, 26, 8:50 PM UTCJul 1, 27, 3:59 AM UTC
Chart and changes show stored historical probabilities, not the selected live book.
Trends
Selected row: book midpoint. Other rows: stored references, possibly normalized; 24h changes use stored history.
Venue terms
Source: Polymarket
Informational venue terms only; CoinRithm paper trading uses its own rules.
- Minimum order (shares):
- 5
- Tick size:
- 1 percentage points
- Fees:
- No
Top holders
Loading top holders
Market depth · June 30
Loading selected book…
—
Related Markets
Related questions for context, not a comparison of equivalent contracts.
OpenAI disproof of Exponential Time Hypothesis is substantively correct?
Manifold MarketsIs the Strong Exponential Time Hypothesis true?
Manifold MarketsIs the Exponential Time Hypothesis true?
Manifold MarketsWhen will exponential time horizon growth break?
Manifold MarketsWhich company has best AI model end of 2026?
PolymarketBest AI at the end of 2026?
KalshiRules
On October 26, 2026, OpenAI announced that its AI system "proved that the ETH is false, a result that was subsequently verified in Lean." (see: https://openai.com/index/building-scientific-understanding-with-academic-communities/)
- This market will resolve to "Yes" if a disproof of the Exponential Time Hypothesis is confirmed through at least one of the qualifying confirmation methods listed below by the specified date, 11:59 PM ET.
- Otherwise, this market will resolve to "No".
- The "Exponential Time Hypothesis" refers to the conjecture formulated by Russell Impagliazzo and Ramamohan Paturi that the 3-SAT problem cannot be solved in subexponential time.
- A "disproof" refers to any mathematical proof that the Exponential Time Hypothesis is false, including the proof presented in OpenAI's paper titled "The Exponential Time Hypothesis is False" (https://github.com/openai/math/blob/main/preprints/The-Exponential-Time-Hypothesis-is-False-October-25-2026/paper.pdf) and any corrected, revised, or extended version of it, whether by OpenAI or by others.
- Confirmations that only establish a weaker result, such as a faster algorithm that does not refute the Exponential Time Hypothesis, or that only establish that OpenAI's Lean code compiles, will not qualify.