광고 문의
AI

오픈AI, 수학·컴퓨터과학·물리학 AI 발견 3건 공개

오픈AI가 외부 전문가 검증단과 함께 수학·컴퓨터과학·물리학 분야 AI 생성 연구 결과 3건을 발표하고 깃허브에 증명을 공개했다.

오픈AI가 2026년 10월 26일 수학, 컴퓨터과학, 물리학 분야에서 AI가 생성한 새로운 발견 3건을 발표하고 외부 전문가 검증단과 함께 결과를 공개했다고 더 버지가 보도했다.

컴퓨터과학 분야에서는 지수 시간 가설(ETH)이 거짓임을 주장하는 논문이 나왔다. 고정 폭 CNF 공식의 만족 할당을 준지수 시간과 다항 공간에서 세는 결정적 알고리즘을 제시한다는 내용이다. 오픈AI는 해당 논문과 Lean 증명을 깃허브에 공개했다. Рассел 임팔리아초, 라마모한 파투리, 라이언 윌리엄스 등이 포함된 그룹이 이 증명을 검토하고 설명할 예정이다.

물리학 결과는 게이지장과 페르미온을 포함한 4차원 상호작용 양자장 이론, 그중 QCD의 수학적으로 엄밀한 존재 증명이다. 데이비드 그로스가 마이클 더글러스, 아서 재피, 이고르 클레바노프, 니키타 네크라소프와 함께 이 작업을 검증하는 그룹을 이끈다.

수학 문제의 경우 오픈AI는 자문단의 조언에 따라 모델 출력물을 그대로 공개했다. 이 출력물은 모든 차원에서 국소 평활화 추측을 증명하고, 모든 차원에서 카케야 추측과 스타인 제한 추측을 해결한다. 또 보조 편미분 방정식을 활용해 유클리드 파동 방정식에 대한 증명을 제시하며, 2차원 이상 모든 공간 차원에서 소그의 국소 평활화를 확립한다.

오픈AI는 이와 별도로 연구자들의 조기 접근, 크레딧, 지원에 관한 커뮤니티 의견을 묻는 공개 서한을 냈다.

배경

불과 한 달 전인 2025년 10월, 오픈AI는 오래된 수학 문제의 해법을 담았다고 주장하는 수백 편의 원고를 대량 공개한 바 있다. 지수 시간 가설은 1999년 임팔리아초와 파투리를 포함한 그룹이 처음 제안했다. 한편 전날 AGMAI 패널은 특정 인물에게 먼저 결과물을 제공하는 관행을 AI 기업들이 도입하지 말 것을 권고했다.

한눈에 보기

오픈AI가 공개한 컴퓨터과학 증명은 어디서 볼 수 있나?

컴퓨터과학 논문과 Lean 증명은 깃허브에 공개됐다.

물리학 결과 검증은 누가 맡나?

데이비드 그로스가 마이클 더글러스, 아서 재피, 이고르 클레바노프, 니키타 네크라소프와 함께 검증 그룹을 이끈다.

수학 증명은 어떤 추측을 해결하나?

모든 차원의 국소 평활화 추측과 카케야·스타인 제한 추측을 해결한다고 주장한다.

출처