OpenAI(오픈AI), AI 모델이 ETH 반증·QCD 존재증명 등 수학·물리 난제 해결했다 주장

요약

OpenAI가 AI 모델을 통해 지수 시간 가설(Exponential Time Hypothesis, ETH) 반증, 모든 차원에서 Kakeya 추측 증명, QCD(양자색역학)에 대한 엄밀한 존재 증명 등을 수행했다고 밝혔다. 이번 성과는 모두 Lean 증명 언어로 검증 가능하며, 특히 QCD 관련 결과는 밀레니엄 문제의 일부를 해결하는 의미를 담고 있다. OpenAI는 이번 프로젝트를 진행하며 독점적 권리를 주장하지 않고 임팔리아초(Impagliazzo), 파투리(Paturi) 등 관련 분야 권위자와 노벨상 수상자인 데이비드 그로스(David Gross)를 참여시키는 방식을 취했다. Lean 증명으로 논리적 오류를 검증하고, 전문가들이 물리적 의미를 확인하는 협업 구조를 갖춘 것이 특징이다. 전문가들의 최종 검증이 남아있으나, 이번 사례는 AI가 단순한 도구를 넘어 과학적 발견의 주체로 전환되는 변곡점이 될 가능성을 시사한다.

AI가 원문을 요약한 내용으로, 부정확할 수 있습니다.