OpenAI의 놀라운 실험, 비공개 AI 모델이 수학 원고 722편

OpenAI가 아직 공개되지 않은 내부 프런티어 모델로 생성한 수학 원고 722편을 담은 저장소를 공개해서 화제이다!

이번 연구는 기존 수학 벤치마크가 포화 상태에 이르자, 약 4,000개의 미해결 연구 문제를 탐색한 것으로 알려진 평가 프로그램에서 나왔다. OpenAI에 따르면, 개별 결과를 도출하는 데 일반적으로 ChatGPT Pro 수준의 추론 연산 자원이 약 3시간 사용되었다. 결과물에는 논문뿐 아니라 증명 관련 자료, 가능한 경우 Lean으로 작성한 형식화 자료, 그리고 일부 추론 과정의 요약도 포함되어 있다. 모든 결과가 형식적으로 검증된 것은 아니며, OpenAI는 일부 원고가 아직 잠정적인 상태라고 밝혔다.

현재 목록에는 372개 연구 묶음으로 구성된 719편의 원고가 포함되어 있다. 하나의 연구 묶음(family)은 서로 관련된 논문들을 모은 것으로, 주요 결과, 이를 뒷받침하는 논증, 파생 결과 또는 대안적 증명을 포함할 수 있다. 각 연구 묶음은 수학 분야별로 분류되어 있다.

• 각 연구 묶음의 설명은 개요에서 먼저 확인할 수 있다.
• 개별 논문과 관련 보조 자료는 원고 안내 목록에서 찾을 수 있다.
• preprints/ 디렉터리에는 PDF, 소스 파일, 원고별 인용 및 빌드 지침이 포함되어 있다.
• Lean 라이브러리와 형식화 목록에는 이용 가능한 형식 증명, 해당 증명과 연결된 논문, 검증 설정이 설명되어 있다. 추가 검증 방법은 Comparator 지침을 참고하면 된다. 이 저장소에서는 주요 결과의 약 42%가 형식화되어 있다.
• 저장소의 변경 사항은 변경 이력에 정리되어 있다.

다음 결과들에 대해서는 모델의 추론 과정을 간추린 요약도 함께 공개한다.

연구 묶음	주제
007	곱셈적 함수의 통상적인 두 점 상관관계
017	π의 무리수 지수
087	대칭 및 일반 말러 추측
102	기본 준정부호 임계값에서의 통상적인 NP-난해성
159	등차수열에 대한 준다항식 경계
197	표수 2에서의 카플란스키 직접 유한성 추측
221	희석 스핀 유리에 대한 메자르–파리시 공식
271	양자 하이젠베르크 강자성체의 자발 자화
287	자유군 인자의 동형성
362	3차원 상대론적 블라소프–맥스웰 계

이번 공개가 주목받는 이유는 모델 자체를 사용할 수 있어서가 아니다. 모델은 여전히 비공개이지만 의미 있는 변화는 AI가 생성한 수학적 주장과 블로그 게시물 중심의 논의가 원고, 증명, 관련 자료, 학계의 검토를 바탕으로 하는 전통적인 과학 연구 절차에 가까워지고 있다는 점이다. 수학자들은 프런티어 AI 연구소가 결과를 검증하고 재현하며 형식화할 수 있는 형태로 공개해야 한다고 오랫동안 주장해 왔다.

이 결과들이 전문가 검토를 통과할지는 아직 알 수 없다. 하지만 규모만으로도 놀랍다. 대중이 아직 접근할 수 없는 모델이 여러 분야에 걸쳐 수백 편의 수학 원고를 만들어 낸 것이다. 이제 질문은 단순히 AI가 수학에 기여할 수 있느냐에 그치지 않는다. 수학계가 이러한 기여를 어떻게 평가하고 검증하며, 이를 바탕으로 후속 연구를 이어 갈 것인가가 새로운 질문이다.

• Github 주소: OpenAI/math