https://www.live-feeds.com/feed/what-smart-people-are-saying-about-openai-s-exponential-time-hypothesis-claimContinuously updated, source-cited coverage. https://www.live-feeds.com/feed/what-smart-people-are-saying-about-openai-s-exponential-time-hypothesis-claimhttps://www.live-feeds.com/feed/what-smart-people-are-saying-about-openai-s-exponential-time-hypothesis-claim#u171897Tue, 03 Nov 2026 11:02:04 +0000OpenAI and Anthropic announced that their artificial intelligence models generated proofs refuting the Exponential Time Hypothesis, asserting that 3-SAT can be solved faster than a long-held computer science assumption allows. The companies released their findings alongside formalizations checked in Lean, a system for verifying mathematical proofs. The claims triggered wide reactions from academic communities, including experts such as Ryan Williams, Lance Fortnow, and Scott Aaronson. While the technical achievements showcase advanced machine reasoning, the developments have also sparked debat