PolymarketVérifier la disponibilitéSans KYCDonnées de résolution vérifiéesBien calibréMilieu du carnet sélectionné
June 30 · —
Chargement du carnet sélectionné…
—
Référence enregistrée
June 30 75%
June 30 75%Qualité du marché
60 / 100
Qualité moyenneVolume 24h
6,5 k €
Liquidité
5 k €
Liquidité moyenneIntérêt ouvert
4,8 k $US
Achat / Vente
— / —
June 30Écart
—
Commentaires
0
Données du marché
Mis à jour il y a 20 minutes
27 oct. 26, 20:50 UTC1 juil. 27, 03:59 UTC
Le graphique et les variations affichent les probabilités historiques enregistrées, pas le carnet sélectionné en direct.
Tendances
Ligne sélectionnée : milieu du carnet. Autres lignes : références enregistrées, éventuellement normalisées ; les variations sur 24h utilisent l’historique enregistré.
Conditions de la plateforme
Source : Polymarket
Ces conditions sont indicatives ; les opérations simulées de CoinRithm suivent leurs propres règles.
- Ordre minimum (parts):
- 5
- Pas de cotation:
- 1 points de pourcentage
- Frais:
- Non
Principaux détenteurs
Chargement des principaux détenteurs
Profondeur du marché · June 30
Chargement du carnet sélectionné…
—
Marchés Associés
Questions liées pour le contexte, et non une comparaison de contrats équivalents.
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 MarketsBest AI at the end of 2026?
KalshiAnthropic IPO Closing Market Cap
PolymarketRègles
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.