NYT: Impagliazzo Calls OpenAI's AI-Generated Disproof of His 1998 Exponential Time Hypothesis 'Shocking News'

Cade Metz reports that Russell Impagliazzo, co-proposer of the 1998 Exponential Time Hypothesis, called OpenAI's AI-generated disproof 'shocking news'. OpenAI's natural-language proof (Oct 26) and a separate Anthropic proof have both passed machine checks and are now under human expert review, including by MIT's Ryan Williams. Williams says a disproof could eventually accelerate chip design and weaken current encryption, though any practical payoff is years away.