OpenAI, AI가 도출한 수학·컴퓨터 과학·물리학 증명을 노벨상 수상자 등 외부 전문가에게 검증 의뢰

OpenAI는 외부 전문가를 'shepherds'로 초빙해 그들의 조언에 따라 분야마다 다르게 대응하고 있다. 수학과 컴퓨터 과학의 증명은 Lean으로 번역되었지만, Lean은 기술된 명제가 증명되었는지만 확인할 뿐, 그 명제가 원래의 문제를 제대로 포착하고 있는지는 전문가의 판단이 필요하다.

컴퓨터 과학 분야에서 OpenAI는 ETH가 거짓임을 증명했다고 주장하고 있다. ETH는 SAT가 최악의 경우 지수 시간이 걸린다는 것을 설명하는 가설로, 많은 논문의 전제가 되어 왔다. 이 가설이 성립하지 않으면 그 결과들은 더 이상 증명된 것이 아니게 되지만, 즉시 틀린 것이 되는 것은 아니다. MIT의 Ryan Williams는 실용적인 SAT 해법이 12개월 이내에 크게 진전될 가능성도 있지만 아무 일도 일어나지 않을 수도 있다고 말했다. Williams는 Russell Impagliazzo, Ramamohan Paturi와 독립적으로 검증할 예정이다. 무보수로 참여하며 NDA도 체결하지 않고, 중간 경과를 공유하는 방침이다. 세 사람은 관여가 주장을 지지하는 것은 아니라는 공개서한도 발표했으며, OpenAI는 증명의 전체 데이터를 공개하고 회의 자금 지원도 약속했다.

수학 분야에서는 1991년 Christopher Sogge가 제안한 local smoothing conjecture를 모든 차원에서 증명했다고 한다. 종래에는 2019년 Guth, Wang, Zhang의 연구로 2차원까지만 증명되어 있었다. 이로써 Kakeya 예상과 Stein's restriction conjecture도 모든 차원에서 해결되게 된다고 한다. 이 증명에는 전담 검증팀이 없었으며, 외부 전문가의 조언을 받아 증명문과 Lean 버전을 그대로 공개했다.

물리학 분야에서는 4차원에서 상호작용하는 특정 양자장론이 존재함을 증명했다고 밝혔다. 대상은 Yang-Mills 이론, QCD, 가장 단순한 대통일 이론의 세 가지다. Yang-Mills에 관해서는 밀레니엄 상금 문제 중 존재 증명 부분만 다룬 것이며 질량 갭은 풀지 못했다고 OpenAI가 명언했다. 2004년 노벨 물리학상 수상자인 David Gross 등이 검증했으며, 이 그룹은 당분간 AI 자료를 비공개로 하고 결과는 자체적으로 집필할 예정이다.

OpenAI는 최초 검증자를 어떻게 선정하느냐에 따라 누구에게 먼저 정보가 전달되는지가 달라지는 등, 이 방식의 트레이드오프를 인정하고 있다. 과학적 공적은 주장하지 않으며 결과를 설명하는 그룹에 돌려야 한다고 밝혔고, Simons Foundation에 500만 달러를 출연한다고도 말했다. Williams 등의 서한은 AI의 성과를 어떻게 검증하고, 누가 접근하며, 누구의 공적으로 할 것인지에 대한 논의도 요구하고 있다.