From RuntimeWire · RuntimeWire · · 40s
Anthropic and OpenAI Disprove ETH
Anthropic and OpenAI race to disprove ETH as Lance Fortnow calls approach promising.
In brief
Anthropic and OpenAI race to disprove ETH as Lance Fortnow calls approach promising. Anthropic published a refutation of the Exponential Time Hypothesis hours after OpenAI, with Lance Fortnow saying the method 'looks promising'. Originally reported by RuntimeWire.
Exponential Time Hypothesis
The Exponential Time Hypothesis underpins hardness results in hundreds of papers.
Anthropic publishes ETH refutation
Anthropic published its own refutation of the Exponential Time Hypothesis late Monday, hours after OpenAI announced its system disproved the same conjecture.
Claude and AI models create proof
Anthropic added a paper and a Lean 4 formalization to its GitHub repository at 10:07 p.m. CT, credited to Claude and written by AI models.
The main idea
Anthropic published a refutation of the Exponential Time Hypothesis hours after OpenAI, with Lance Fortnow saying the method 'looks promising'.
