OpenAI와 Anthropic은 10월 16일 전후 자사 내부 모델이 Exponential Time Hypothesis, 즉 ETH를 거짓으로 만드는 증명을 각각 찾아냈다고 밝혔다. ETH는 일부 탐색 문제가 입력이 커질수록 본질적으로 지수 시간보다 빨라질 수 없다는 가정으로, 많은 컴퓨터 과학 연구의 전제가 되어 왔다. OpenAI는 모델이 만든 증명을 다음 날 Lean으로 형식화했다고 했고, Anthropic도 인간 개입 없이 내부 모델이 별도의 증명을 만들었다고 공개했다. 현재 두 결과는 모두 독립적으로 확인되지 않았다.
기사에 따르면 이번 주장의 핵심은 모든 경우를 거의 다 살펴보는 방식보다 더 느리게 증가하는, 즉 지수 시간보다 나은 알고리즘이 가능하다는 점이다. 다만 이것이 P = NP를 증명했다는 뜻은 아니고, 암호 체계를 깨거나 당장 SAT solver를 실용적으로 빠르게 만든다는 의미도 아니다. 그래도 ETH를 전제로 쌓인 이론 계산 복잡도 연구에 직접 닿는 주장이라는 점에서 중요하다. 같은 날 두 선도 연구소가 경쟁적으로 이론 컴퓨터 과학 성과를 내놓았다는 사실도 이례적이다.