🚨 A computer science hypothesis underpinning hundreds of research papers is being challenged by AI. OpenAI announced that its AI found an algorithm that refutes the Exponential Time Hypothesis (ETH), which concerns how the difficulty of solving certain computational problems grows with their size. The company says the result was obtained on October 16 and formally verified using Lean the following day. The paper and proof have been published on GitHub. The hypothesis’s originators, Russell Impagliazzo and Ramamohan Paturi, will lead the review alongside MIT’s Ryan Williams. If confirmed, the finding would require conclusions that rely on ETH to be reassessed. Whether it translates into practical algorithmic speedups remains an open research question. The company also reported proofs of the Kakeya conjecture in all dimensions and the “existence” component of the Yang–Mills Millennium Prize Problem. The latter has not yet been released publicly and will undergo verification led by Nobel laureate David Gross. These reported breakthroughs still await further independent scrutiny from the academic community. #AI# #OpenAI# #oncoin# #Mathematics#