OpenAI claims its AI has disproved the Exponential Time Hypothesis, igniting reactions in the crypto community. The implications for computational theory are significant.
OpenAI's AI Claims to Disprove ETH
OpenAI has made headlines by asserting that its artificial intelligence has disproved the Exponential Time Hypothesis (ETH), a significant conjecture in computer science. However, the ETH in question is not related to Ethereum or its market value but rather a theoretical challenge established in 1999.
Understanding the Implications
The ETH suggests that certain logic puzzles, specifically the 3-SAT problem, cannot be solved significantly faster than by examining all possible combinations. OpenAI's recent 67-page study claims to have identified a deterministic algorithm capable of counting every satisfying assignment of these puzzles in subexponential time, potentially reshaping the landscape of computational theory.
Following the announcement, reactions flooded Crypto Twitter, with users surprised and joking about the implications for Ethereum. One user remarked, “Damn algo traders just slaughtered $ETH,” while another noted the quietness of Ethereum co-founder Vitalik Buterin since the news broke.
Research and Verification Process
OpenAI's findings, published on October 17 and revised on October 25, are currently under independent review by the original proposers of the ETH, Russell Impagliazzo and Ramamohan Paturi, along with MIT's Ryan Williams. They have emphasized that their involvement does not equate to an endorsement of OpenAI's claims, highlighting the necessity for thorough scrutiny of such a landmark finding.
Future Research Directions
While OpenAI's discovery could lead to advances in algorithm development, the organization cautioned that practical applications remain distant, requiring extensive further research. The paper clarifies that the result does not imply that all NP problems can be resolved in subexponential time, leaving the larger P versus NP question unresolved. This debate centers on whether every problem with a solution that is easy to verify can also be quickly solved.
In a competitive twist, Anthropic released its own paper shortly after, claiming its AI model had discovered a new algorithm for 3-SAT, emphasizing the ongoing race in AI-driven mathematical research.
OpenAI has pledged transparency by publishing all raw data related to its findings and funding conferences to facilitate further exploration of AI-generated results. This move is part of a broader initiative, including a recent $5 million donation to the Simons Foundation aimed at supporting research in the intersection of AI and mathematics.
