Polymarket is pricing this contract at 74¢ (74% implied probability). Resolves January 1, 2027. 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
| Platform | Cents | Implied | Volume |
|---|---|---|---|
| Polymarket | 74¢ | 74% | $29K |
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 algorith