오픈AI, 난제 해결 주장 검토 착수…분야별 검증 방식은 어떻게 다를까

오픈AI가 내부 AI 모델이 수학·컴퓨터과학·물리학의 난제에 대한 증명을 도출했다고 발표하고 외부 전문가 검토를 요청했다.

10월 26일(현지시간) 공개된 주장은 아직 검증 결과가 아니라는 점이 중요하다.

이번에는 분야마다 AI 산출물을 공개하고 연구자에게 맡기는 방식이 다르다.

수학에서는 1991년 제기된 ‘국소 평활화 추측’을 모든 차원에서 증명했다고 주장했다.

파동이 한 지점에 강하게 모이더라도 시간이 지나며 평균적으로 집중이 완화된다는 내용이다.

2019년 공간 2차원에서는 증명됐지만 더 높은 차원에서는 미해결이었다.

오픈AI의 증명이 맞다면 가케야 추측과 스타인의 제한 추측도 모든 차원에서 해결된다고 설명했다.

수학 분야의 AI 증명 자료는 공개됐다.

컴퓨터과학에서는 계산 시간이 지수적으로 늘어나는 장벽을 낮추기 어렵다는 지수 시간 가설(ETH)에 반증을 제시했다고 밝혔다.

다만 ETH가 거짓이라고 해서 P 대 NP 문제가 해결되는 것은 아니다. 오픈AI는 자료 공개와 함께 외부 공동연구단을 꾸렸다.

물리학에서는 양자색역학 등 일부 양자장론이 수학적으로 엄밀하게 존재한다는 증명을 주장했으며, 외부 공동연구단이 AI 산출물 공개를 보류하고 직접 논문을 쓰기로 했다.

이전 나비에–스토크스 문제 해결 주장 때 수학 원고 700여 편을 공개한 것과 비교하면, 이번에는 전문가가 결과를 설명하고 검토하는 데 더 큰 역할을 맡았다.

오픈AI는 전문가들이 학술적 의미까지 분석할 수 있다는 점을 장점으로 들면서도, 초기 참여자 선정 과정에서 정보 비대칭이 생길 수 있다고 인정했다.

검토가 진행 중인 만큼, 지금 독자가 확인할 수 있는 핵심은 난제 해결 여부가 아니라 분야별 검증 절차와 그 차이다.