OpenAI, Lean 검증 거친 ETH 반박 주장 공개…외부 연구진 검토

토큰포스트 속보 2026.10.27 07:00

OpenAI는 내부 AI 모델이 계산복잡도 분야의 지수시간가설(ETH)을 반박하는 결과를 냈고 Lean으로 형식 검증했다고 밝혔다. 러셀 임파글리아초, 라마모한 파투리, 라이언 윌리엄스가 이끄는 외부 연구진이 결과를 검토할 예정이다.

토포AI로 이 기사 더 깊이 읽기

OpenAI는 내부 AI 모델이 계산복잡도 분야의 지수시간가설(ETH)을 반박하는 결과를 냈으며, 이를 Lean으로 형식 검증했다고 밝혔다. 다만 결과는 외부 연구진의 검토를 앞두고 있다.

OpenAI는 공식 발표에서 모델이 10월 16일 ETH 반박 증명을 만들었고, 17일 Lean으로 형식화했다고 설명했다. ETH는 불리언 공식 만족 문제를 비롯한 계산 문제의 난도를 다루는 가설로, 여러 분야 논문에서 계산 난이도의 전제로 활용돼 왔다.

OpenAI는 러셀 임파글리아초(Russell Impagliazzo)와 라마모한 파투리(Ramamohan Paturi), 라이언 윌리엄스(Ryan Williams)가 이끄는 연구진이 결과를 검증하고 설명할 예정이라고 밝혔다. OpenAI는 수학·컴퓨터과학·물리학 분야에서 새 발견 세 가지를 발표했으며, ETH 관련 결과의 원자료와 증명도 공개했다고 전했다. 파이뉴스랩의 관련 보도