OpenAI says its AI discovered an algorithm that may challenge the "Exponential Time Hypothesis," sparking heated discussion in crypto circles due to the shared abbreviation

OpenAI stated that its AI model discovered an algorithm that can count the satisfying solutions of 3-SAT problems faster than existing theoretical expectations, potentially challenging the Exponential Time Hypothesis (ETH) in computational theory, with the results still awaiting independent verification by the academic community. According to a report by blockchain media outlet Decrypto on the 27th local time, the result came from a 67-page paper; the AI discovered the result on October 16, and the next day the proof was formally verified with the help of Lean and made public on GitHub. Russell Impagliazzo, Ramamohan Paturi and MIT's Ryan Williams pointed out in an open letter that participating in review does not equal endorsement, and the conclusion still needs independent reproduction. Because ETH is also the ticker for the Ethereum token, the news caused confusion and jokes in the crypto community.