#algorithms

OpenAI says its model disproved the Exponential Time Hypothesis; experts now checking

OpenAI published a paper and Lean proof claiming a subexponential algorithm that refutes ETH, a 1999 hardness assumption behind hundreds of papers; nobody outside has verified it yet.