Bollcoin, October 27 — According to an official OpenAI announcement, its internal models have made three new discoveries in mathematics, computer science, and physics. Among them, the model proved that the Exponential Time Hypothesis (ETH), used as a computational hardness premise in hundreds of papers, is false; the result has been formally verified in Lean and will be checked by a group led by the hypothesis's proposers Russell Impagliazzo and Ramamohan Paturi, together with MIT professor Ryan Williams.