OpenAI가 수학·컴퓨터과학·물리학 난제 결과와 외부 검증 절차를 함께 내놨다

OpenAI가 수학, 컴퓨터과학, 물리학에서 각각 하나씩 '주요' 발견이라고 부르는 결과를 내놓았다. 눈에 띄는 변화는 결과 자체보다 공개 방식이다. 컴퓨터과학과 물리학 건에는 외부 전문가를 '셰퍼드'로 붙여 검증을 맡겼고, 수학 건은 자체 설명을 덧붙이는 대신 모델 출력물을 그대로 연구자들에게 넘겼다.

수학 쪽 결과는 유클리드 파동방정식의 국소 평활화(local smoothing)다. 보조 편미분방정식을 동원해 2차원 이상 모든 공간 차원에서 소그(Sogge)의 국소 평활화를 세우는 증명이며, 여기서 카케이야(Kakeya) 극대·차원 추측과 스타인의 구면 제한 추정도 함께 따라 나온다고 OpenAI는 설명한다. 회사는 지난 10월 6일 공개 때와 마찬가지로 모델 출력 원문을 그대로 배포했다.

컴퓨터과학 쪽은 더 도발적이다. 고정 폭 CNF 공식의 충족 할당을 준지수 시간과 다항 공간에서 정확히 세는 결정론적 알고리즘을 제시하며, 3-SAT의 경우가 지수 시간 가설(ETH)을 반박한다는 주장이다. 1999년 이 가설을 처음 제안한 그룹에 속한 러셀 임팔리아초(UC 샌디에이고), 라마모한 파투리, 그리고 MIT의 라이언 윌리엄스가 이끄는 독립 워킹 그룹이 증명을 검토하고 해설을 붙일 예정이다. 그룹의 요청에 따라 자료는 즉시 공개됐다.

물리학 결과는 아직 전문이 풀리지 않았다. 4차원에서 게이지 장과 페르미온을 포함한 특정 상호작용 양자장 이론이 존재한다는 것을 수학적으로 엄격하게 보이는 증명이며, 양자색역학(QCD)과 표준모형의 통합적 완성이 범위에 들어간다고 한다. 데이비드 그로스가 마이클 더글러스, 아서 재피, 이고르 클레바노프, 니키타 네크라소프를 포함한 그룹을 이끌며 이 작업을 검증한다.

배경에는 한 달도 채 되지 않은 시점의 대규모 공개가 있다. OpenAI는 앞서 오래된 수학 난제의 해법을 담았다고 주장하는 원고 수백 편을 쏟아냈고, 결과물을 어떻게 다뤄야 하는지를 두고 논쟁이 이어졌다. 특히 회사가 만든 수학 자문 패널 AGMAI는 이번 발표 하루 전, 특정 인물에게만 결과를 먼저 건네는 관행을 다른 AI 기업들도 따라 하지 말라고 권고했다. 접근의 불평등, 빌려온 평판, 편향된 선별이 근거로 제시됐다. 대안으로는 학술 저장소 공개, Lean 형식화 증명 첨부, 문제 선택 경위 공개, 결과를 이해하려는 연구자에 대한 자금 지원 등이 제안됐다.

OpenAI도 같은 방향의 공개 서한을 냈다. AI가 만든 결과에 대한 사전 접근의 기대치와 이해충돌 공개, 미공개 자료의 후속 연구 활용을 어떻게 규율할지, 새로운 발견과 그것을 검증·수정·단순화·설명·확장하는 노동에 크레딧을 어떻게 나눌지, 방법론이 바뀌는 환경에서 학생과 연구자를 어떻게 지원할지를 세 가지 질문으로 던졌다.

개발자 입장에서 이번 소식의 실질은 검증 파이프라인이다. 모델이 뱉은 산출물을 곧바로 신뢰할지, 아니면 외부 검토자를 붙이고 원문과 증명 보조물을 함께 공개할지가 조직의 표준 절차로 굳어지고 있다는 신호다. 코드 생성이나 정형 검증 도구를 쓰는 팀이라면 누가 결과를 먼저 보고, 어떤 형태로 재현 가능성을 남기고, 검증자의 기여를 어떻게 기록할지 미리 정해두는 편이 안전하다.

주의할 점도 분명하다. 수학 결과는 회사가 직접 해설을 붙이지 않고 출력물만 공개한 상태라 연구자들이 이해하기까지 상당한 시간이 걸릴 수 있다. 물리학 증명은 전문이 아직 공개되지 않았고, ETH 반박 역시 독립 그룹의 검토가 끝난 결론이 아니다. 지난달 대량 공개를 둘러싼 논쟁이 채 가라앉지 않은 만큼, 이번 결과도 검증이 마무리되기 전까지는 '주장'으로 읽어야 한다.