AI가 낸 수학·물리 증명을 학자 그룹이 검증하도록 맡긴 OpenAI, 공로는 사람에게 돌리겠다고 밝혔습니다 | DAKER 커뮤니티
OpenAI가 2026년 10월 26일 수학, 컴퓨터 과학, 물리학에서 AI 모델이 만든 새로운 결과 세 가지를 공개했습니다. 흥미로운 점은 결과 자체만큼이나 공개 방식입니다. OpenAI는 이 원고들을 아직 다듬어지지 않은 연구 데이터로 보고, 외부 전문가에게 안내자(shepherd) 역할을 맡겨 결과를 검증하고 설명하도록 하는 새 절차를 실험하고 있습니다. AI가 낸 증명을 사람이 어떻게 검증하고 공유할지에 관심 있는 분이라면 결과보다 이 틀이 더 참고가 됩니다.
세 가지 결과, 세 가지 공개 방식
OpenAI는 분야마다 다른 공개 전략을 택했습니다. 수학 결과는 AI 출력물을 그대로 공개해 연구자들이 자유롭게 설명하도록 두었고, 컴퓨터 과학 결과는 외부 협력 그룹을 꾸리되 AI 출력물을 누구나 볼 수 있게 공개했으며, 물리학 결과는 외부 그룹을 꾸리고 자료 공개 시점을 그 그룹의 판단에 맡겼습니다.
- 수학: 1991년 소게가 제안한 국소 평활화 추측을 모든 차원에서 증명했고, 그 결과 카케야 추측과 스타인 제한 추측도 모든 차원에서 해결됩니다. AI 출력은 10월 18일에 나왔고 다음 날 Lean으로 형식화됐으며, 자연어 원고와 Lean 증명을 공개 GitHub 저장소에 올렸습니다.
- 컴퓨터 과학: 오랫동안 참으로 믿어져 수백 편의 논문에서 조건부 난이도 근거로 쓰인 지수 시간 가설(ETH)이 거짓임을 증명했고, 이 결과도 Lean으로 검증됐습니다.
- 물리학: 게이지 장과 페르미온을 포함한 4차원 양자장론, 즉 양자색역학(QCD)과 표준 모형의 통일적 완성에 대한 수학적으로 엄밀한 존재 증명입니다. 부분 문제로 순수 양–밀스 이론의 존재 증명도 포함하는데, 이는 클레이 수학연구소 밀레니엄 문제 가운데 하나입니다.
외부 협력의 네 가지 원칙
OpenAI는 외부 협력에 네 가지 원칙을 두었습니다. 협력의 존재를 투명하게 밝히고 참여자에게 비밀 유지 계약을 요구하지 않는 투명성, 내부 모델이 낸 발견에 학술적 공로를 주장하지 않는 것, 그룹이 만든 설명과 자료에 합당한 인정을 주는 것, 참여는 자발적이고 무보수이며 참여자의 결론은 본인의 것이라는 독립성입니다.
우리는 내부 모델이 만든 발견에 대해 학술적 공로를 구하지 않습니다.
컴퓨터 과학 그룹은 자연어 증명과 Lean 형식화를 즉시 공개하기로 했고, 물리학 그룹은 직접 정리해 쓸 때까지 AI 산출물 공개를 미루기로 했습니다.
검증을 이끄는 학자들
각 결과에는 분야를 대표하는 학자들이 안내자로 참여합니다. ETH 반증은 가설을 처음 제안한 러셀 임파글리아초와 라마모한 파투리(UC 샌디에이고), 그리고 라이언 윌리엄스(MIT)가 이끕니다. OpenAI는 이 그룹의 요청을 받아들여 독립 검증을 위해 모든 원자료를 공개하고, 이 결과가 분야 전체에 주는 의미를 다루는 학술대회를 지원하기로 했습니다. 물리학 결과는 2004년 노벨 물리학상 수상자 데이비드 그로스가 이끄는 그룹(마이클 더글러스, 아서 재피, 이고르 클레바노프, 니키타 네크라소프)이 검토합니다. 모델은 양–밀스 존재 증명을 9월 9일, QCD 증명을 9월 18일에 냈고, 분량과 복잡성 때문에 10월 16일 양–밀스 Lean 형식화를 마친 뒤에야 공개로 이어졌습니다.
검증과 공개를 고민하는 팀이 챙길 점
이번 발표에서 바로 가져갈 수 있는 것은 결과의 난이도가 아니라 절차입니다. AI가 낸 결과를 그대로 신뢰하지 않고, 자연어 증명과 Lean 형식화를 함께 공개해 누구나 기계로 검증할 수 있게 하고, 공로는 사람 전문가 그룹에게 돌리는 방식입니다. OpenAI는 이 작업이 사이먼스 재단에 낸 500만 달러 기여와 함께 연구자들이 AI가 만든 결과를 독립적으로 검증하고 발전시키도록 돕는다고 밝혔습니다. 데이터 분석 대회나 연구 과제에서 모델이 낸 결론을 다룰 때도, 산출물과 검증 절차를 함께 공개하고 사람의 해석을 분리해 두면 신뢰를 쌓기 쉽습니다.
여러분은 AI가 낸 분석 결과를 팀에 공유할 때, 어떤 검증 단계를 반드시 붙이고 있습니까?