오픈AI 양-밀스 존재성 증명, 검토진 긍정 평가

강이안 기자 2026.11.12 11:31

검토진은 오픈AI 모델이 제출한 양자 양-밀스 이론의 존재성 증명을 긍정적으로 평가했다. 질량 간극 증명은 남아 있어 밀레니엄 문제 전체가 해결된 것은 아니다.

토포AI로 이 기사 더 깊이 읽기

AI 생성 이미지: 칠판에 수식을 적는 연구자의 손 / TokenPost.ai

오픈AI(OpenAI) 모델이 제출한 양자 양-밀스 이론의 존재성 증명을 검토진이 긍정적으로 평가했다. 질량 간극 증명은 남아 있어 밀레니엄 문제 전체가 해결된 것은 아니다.

오픈AI는 10월 26일 관련 증명을 처음 공개하고 모델이 9월에 작업을 마쳤다고 밝혔다. 증명은 컴퓨터가 논증 단계를 확인할 수 있는 Lean으로 형식화됐다. MTS는 노벨상 수상자가 이끄는 검토진이 증명을 지지했다고 전했다.

양-밀스 문제는 이론의 수학적 존재성과 질량 간극을 함께 입증하도록 요구한다. 질량 간극은 가장 낮은 에너지 상태와 그다음 상태 사이에 양의 차이가 있는 성질이다. 이번 평가는 존재성에 관한 증명에 그쳤으며 질량 간극은 다루지 않았다.

작업반은 앞서 코드의 정의와 문제 설정, 자연어 증명과 코드의 일치 여부를 검토 대상으로 삼았다. MTS는 상금 심사를 받으려면 질량 간극 증명과 함께 클레이수학연구소의 출판 규정 및 발표 후 최소 2년의 인정 기간을 충족해야 한다고 설명했다.

클레이수학연구소(Clay Mathematics Institute)는 2000년 일곱 개의 밀레니엄 문제를 발표했고 각 문제에 100만달러(약 13억3700만원)의 상금을 걸었다. 현재까지 해결된 문제는 그리고리 페렐만이 증명한 푸앵카레 추측 하나뿐이며, 페렐만은 상금을 거절했다.