오픈AI·앤트로픽, 'ETH 반증' 나란히 발표: AI 수학 난제 주장, 검증은 아직

AI 회사 두 곳이 계산복잡도 난제에 대한 결과를 잇따라 발표했습니다. 발표 내용과 검증 상태를 카드 7장으로 정리했습니다. 카드 이미지는 AI 생성 이미지입니다.

오픈AI와 앤트로픽이 하루 간격으로 계산복잡도 분야의 대표 가설인 '지수 시간 가설(ETH)'을 반증했다는 결과를 발표했습니다. 두 회사 모두 자사 AI 모델이 핵심 아이디어를 찾았다고 주장하지만, 아직 외부 전문가 검증을 거치지 않은 발표 단계입니다. 카드 이미지는 AI 생성입니다.

ETH는 3-SAT 같은 문제를 변수 수 n에 대해 지수 시간보다 본질적으로 빠르게 풀 수 없다는 가설입니다. The Verge에 따르면 1999년 임팔리아초·파투리 등이 제안했고, 널리 참으로 받아들여져 왔습니다.

오픈AI는 10월 26일 블로그와 GitHub를 통해 수학(국소 평활화 추측), 컴퓨터과학(ETH 반증), 물리(양자장론 존재 증명) 결과 3개를 발표했습니다. 물리 쪽은 아직 전문이 공개되지 않았다고 The Verge는 전했습니다.

앤트로픽은 10월 27일 Hexagon 프리프린트(2610.00577v1)로 3-SAT을 2^o(n) 시간에 푸는 결정론적 알고리즘 논문을 냈습니다. 논문은 클로드 내부 연구 모델이 10월 16일 사람 입력 없이 핵심 알고리즘을 찾았고 Lean 4로 형식화했다고 밝혔습니다. 같은 논문에서 오픈AI도 비슷한 결과를 '주장'했다고 언급합니다.

오픈AI의 ETH 결과는 러셀 임팔리아초, 라마모한 파투리, 라이언 윌리엄스가 이끄는 독립 그룹이 검토하고 설명하기로 했습니다. 이들은 참여 자체가 결과를 인증하는 것은 아니라는 입장입니다. 카드 이미지는 AI 생성입니다.

두 결과 모두 arXiv나 학술지 심사가 아니라 GitHub와 Hexagon 프리프린트로 공개됐습니다. 앤트로픽 논문 스스로도 실용적 의미는 없다고 밝혔습니다. 'AI가 난제를 풀었다'고 단정하기보다, 두 회사가 그렇게 발표했고 검증이 진행 중이라고 보는 것이 정확합니다.

정리하면 오픈AI와 앤트로픽이 같은 가설에 대해 반증을 발표했고, 공개 검토가 막 시작됐습니다. 검증 결과가 나오면 이어서 정리하겠습니다.

AI가 낸 증명, 어디까지 믿을 수 있을까요? 댓글로 의견을 남겨주세요.

참고 자료

• OpenAI 블로그: https://openai.com/index/building-scientific-understanding-with-academic-communities
• OpenAI ETH 프리프린트(GitHub): https://github.com/openai/math/blob/main/preprints/The-Exponential-Time-Hypothesis-is-False-October-25-2026/README.md
• Anthropic, A 2^o(n) Time Algorithm for 3-SAT (Hexagon 2610.00577v1): https://hexagonmath.org/2610.00577v1
• The Verge: https://www.theverge.com/ai-artificial-intelligence/1019143/openai-eth-kaseya-science-math-physics
• 카드 이미지: AI 생성 (로고·실존 인물 아님)