# Anthropic and OpenAI Disprove ETH

> Anthropic and OpenAI race to disprove ETH as Lance Fortnow calls approach promising.
- Title: Anthropic and OpenAI Disprove ETH · RuntimeWire | Shortify
- Summary: Anthropic and OpenAI race to disprove ETH as Lance Fortnow calls approach promising. Anthropic published a refutation of the Exponential Time Hypothesis…
- Keywords: anthropic, openai, exponential time hypothesis, eth refutation, claudes, lean 4, github, technology, Disprove, ETH, RuntimeWire
- Source: RuntimeWire — https://runtimewire.com/article/anthropic-posts-its-own-eth-refutation-hours-after-openai-as-lance-fortnow-says-
- Author: RuntimeWire
- Published: 2026-10-27T14:21:18.531+00:00
- Read time: 1 min
- Topics: anthropic, openai, exponential time hypothesis, eth refutation, claudes, lean 4, github, technology, ai
## 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.
## Key takeaway

Anthropic published a refutation of the Exponential Time Hypothesis hours after OpenAI, with Lance Fortnow saying the method 'looks promising'.