AI의 수학 성과를 살피는 독자는 공개된 원고 수와 개별 증명의 검증 상태를 함께 보면 이번 자료의 의미를 판단하기 쉽습니다. OpenAI는 2026년 10월 6일, 아직 출시하지 않은 내부 프런티어 모델이 만든 수학 결과와 증명 자료를 공개했습니다. 2026년 10월 7일 한국 시각 기준 공식 저장소에는 722개 원고가 372개 결과 계열로 묶여 있었습니다. 일부 증명의 Lean 형식화, 추론 요약, 연산량 추산도 함께 제공합니다. (공식 발표 · 공식 저장소)

초기 토론에는 중요한 문제의 진전을 기대하는 의견과 검증·검토의 주체를 묻는 의견이 함께 나왔습니다. 원고를 읽는 데 도움이 되는 공개 자료가 늘었지만, 어떤 문제를 어디까지 증명했는지는 각 원고와 형식화 자료에서 살펴볼 수 있습니다. 확인 기준은 2026년 10월 7일 한국 시각입니다. (Hacker News 토론 · r/singularity 토론)

한눈에 보기

궁금한 점 이번 공개의 핵심
무엇을 공개했습니까? 내부 OpenAI 모델이 작성한 수학 원고와 이를 뒷받침하는 증명 자료입니다.
722개가 모두 별도 문제입니까? 2026년 10월 7일 기준 저장소는 722개 원고를 372개 결과 계열로 묶습니다. 관련 논증·따름결과·대안 증명이 한 계열에 들어갈 수 있습니다.
증명이 모두 검증됐습니까? 검증 단계가 서로 다르며 Lean 형식화가 없는 원고도 있습니다.
Lean은 무엇입니까? 수학 명제와 증명을 형식적으로 적어 컴퓨터로 확인하는 데 쓰는 언어입니다.
생성 과정을 볼 수 있습니까? 10개 결과에 한해 모델의 사고 과정을 줄인 추론 요약을 공개합니다. 나머지 결과는 최종 원고와 증명 자료로 읽습니다.
얼마나 계산했습니까? 결과당 평균 연산량을 해당 모델의 ChatGPT Pro 사고 약 3시간에 해당한다고 OpenAI가 추산했습니다.
시도한 문제는 몇 개입니까? 저장소는 평가 과정에서 약 4,000개 문제를 모델에 제시했다고 설명합니다.
모델을 지금 쓸 수 있습니까? 결과를 만든 내부 모델은 미공개입니다. 현재 구독·API 모델과 동일하다고 확인된 자료는 없습니다.
한국에서 무엇을 할 수 있습니까? 공개 저장소의 원고·증명·요약을 읽고 검토할 수 있습니다. 한국 전용 서비스 출시와는 다른 연구 자료 공개입니다.

722개는 10월 7일 기준 첫 공개 README의 수치입니다. 10월 8일 갱신 뒤 확인된 README에는 719개·372개 계열이 표시됐습니다. 이 글과 카드뉴스는 10월 7일 공개 자료를 기준으로 설명하며, 최신 원고 수는 저장소 README에서 확인할 수 있습니다. 원고 수·계열 수·생성 절차는 공식 저장소 설명이며, 연산량은 OpenAI가 공개한 추산입니다. 커뮤니티 의견은 초기 반응으로 구분합니다. 개별 정리의 독립적인 수학자 검토와 이 글의 자료 확인은 서로 다른 작업입니다. (저장소 README · 공식 발표)

722개 원고와 372개 결과 계열은 어떻게 다릅니까?

쉽게 말하면, 한 결과를 설명하는 자료가 여러 원고로 나뉠 수 있습니다. 저장소에서 family라고 부르는 결과 계열은 주된 결과와 관련 논증, 그 결과에서 따라 나오는 따름결과, 다른 방식의 증명 등을 함께 묶습니다. 계열은 수학 분야별로 분류됩니다. 따라서 722라는 수치를 곧바로 서로 독립적인 난제 722개의 해결 건수로 옮기면 자료의 분류 방식과 달라집니다. (계열 정의와 원고 수)

읽는 순서도 두 층으로 나뉩니다. 먼저 overview.pdf에서 계열별 설명을 보고 관심 있는 분야를 고릅니다. 이어 CONTENTS.md의 원고 지도를 통해 해당 계열의 개별 논문과 연결된 자료를 찾습니다. preprints/에는 PDF, 소스 파일, 원고별 인용과 빌드 안내가 들어 있습니다. 전체 공개 규모를 파악할 때는 계열을, 증명과 인용을 확인할 때는 개별 원고를 기준으로 잡으면 자료를 찾기 수월합니다. (개요 PDF · 원고 지도)

예를 들어 원고 지도에는 같은 계열 아래 주된 논문과 동반 논문이 함께 나옵니다. 제목에 익숙한 추측 이름이 있더라도 초록에서 다루는 대상·가정·결론을 읽으면 발표가 말하는 범위를 좁힐 수 있습니다. 수학에서는 특정 대상에 관한 결과와 모든 대상에 관한 결과의 차이가 크므로, 제목보다 정리의 조건을 먼저 읽는 방식이 도움이 됩니다. 이 자료는 그런 확인을 원고 단위로 할 수 있도록 공개한 모음입니다. (공식 원고 지도)

Lean 형식화가 있으면 어디까지 확인할 수 있습니까?

Lean은 명제와 증명을 정해진 형식으로 표현해 컴퓨터가 논리적 연결을 확인하도록 하는 언어입니다. 자연어로 쓴 논문을 읽는 일과 형식화된 명제를 검사하는 일은 확인 대상이 조금 다릅니다. 저장소 README는 자료의 검증 단계가 서로 다르며, 형식화되지 않은 결과에는 문제가 있을 수 있다고 밝힙니다. 추가 형식화가 확보되면 저장소에 반영하겠다고도 설명합니다. (검증 단계 안내)

개별 원고를 살필 때는 세 가지를 나눠 볼 수 있습니다. 첫째는 논문의 자연어 정리가 무엇을 주장하는지입니다. 둘째는 Lean 파일에 실제로 어떤 명제가 적혀 있는지입니다. 셋째는 그 명제와 증명을 어떤 환경·설정에서 검사하는지입니다. 원고 지도와 형식화 목록은 이 연결을 찾는 출발점입니다. 형식화 자료가 있다는 사실은 검토할 근거를 늘려 주며, 논문의 모든 해설·응용·중요성까지 같은 검사로 확인됐다는 뜻으로 확대할 정보는 아닙니다. (Lean 라이브러리 안내)

실제로 003번 계열의 형식화 범위 안내에는 논문 후반의 응용이 포함되지 않는다고 적혀 있습니다. 같은 페이지는 리만 제타 함수와 Dirichlet L 함수 등에 관한 명제의 범위와 Comparator에서 확인할 명제 링크를 따로 나열합니다. 이처럼 형식화의 범위를 설명하는 문서를 먼저 읽으면 PDF 전체와 검사 대상이 어디서 겹치는지 파악할 수 있습니다. 이 글의 확인 범위는 형식화 범위 문서이며, 증명 실행과 참·거짓 판정은 전문 검토의 영역으로 남습니다. (003번 형식화 범위)

검사 도구의 역할도 분리해 볼 수 있습니다. 저장소는 Comparator 안내를 연결하고, 검증에 필요한 도구와 실행 예를 제공합니다. 설치가 끝났다는 사실, 라이브러리 일부가 컴파일됐다는 사실, 특정 목표 명제에 대한 검사가 끝났다는 사실은 각기 다른 기록입니다. 검토 결과를 공유한다면 어떤 원고의 어떤 명제를 대상으로 삼았는지 함께 적는 편이 재현에 도움이 됩니다. (Comparator 검사 안내)

원고 하나를 실제로 검토하려면 어디서 시작합니까?

전체 목록을 한 번에 읽기보다 관심 분야의 계열 하나를 고르는 방법이 현실적입니다. 다음은 저장소의 자료 배치를 이용한 읽기 순서입니다. 수학 내용의 검증을 대신하는 절차라기보다, 검증할 자료를 놓치지 않게 찾는 방법입니다. (저장소 탐색 안내)

  1. 개요에서 분야와 계열 번호를 고릅니다. 관심 있는 문제와 관련 계열이 여러 개라면 각각의 조건을 기록합니다.
  2. 원고 지도에서 해당 계열의 주된 원고·관련 원고를 찾습니다. 초록과 정리의 가정을 읽고, 검토하려는 결론을 한 문장으로 좁힙니다.
  3. 원고에 연결된 Lean 자료가 있는지 확인합니다. 있다면 형식화 범위 문서에서 PDF와 대응하는 명제, 제외된 응용과 검증 설정을 살핍니다.
  4. 형식화 검사를 진행할 경우 Lean 안내와 Comparator 안내의 환경 조건을 함께 봅니다. 자연어 증명은 해당 분야 지식으로 따로 검토합니다.
  5. 검토한 버전과 원고 디렉터리의 인용 정보를 남깁니다. 수정본이 나오면 어느 문장이나 명제가 바뀌었는지 비교할 수 있습니다.

Lean 안내는 자료가 하나의 큰 라이브러리로 구성돼 있어 작은 부분씩 컴파일하는 방식을 권합니다. 전체 라이브러리를 빌드할 때 Linux의 메모리 매핑 설정 때문에 실패할 수 있다는 기술 안내도 있습니다. 이런 환경 오류를 수학 증명의 오류와 구분하려면 실행 환경, 대상 파일, 오류 메시지를 함께 남기는 것이 유용합니다. (라이브러리 구성·빌드 안내)

처음 자료를 읽는 독자는 컴파일부터 하기보다 PDF와 형식화 범위 문서를 대조해도 얻는 정보가 있습니다. 예컨대 정리가 어느 대상에 대해 성립한다고 적혀 있는지, 어떤 응용은 검사 범위 밖인지, 대안 증명은 별도 원고인지 정리할 수 있습니다. 전문 검토자에게 질문할 때도 “이 결과 전체가 맞습니까?”보다 특정 가정과 결론을 짚는 질문이 검토 대상을 분명하게 만듭니다. (원고 지도 · 형식화 범위의 실제 예)

추론 요약 10개에서는 무엇을 볼 수 있습니까?

저장소는 모델의 사고 과정을 축약한 요약 10개를 공개합니다. 해당 결과의 계열 번호와 주제가 README에 나열돼 있어, 원고와 요약을 연결해 읽을 수 있습니다. 아래는 저장소에 적힌 주제의 일부입니다. 이 표는 공개된 요약의 범위를 설명하며, 해당 결과가 독립적으로 확정됐다는 판정은 담지 않습니다. (추론 요약 목록)

계열 공개된 추론 요약의 주제 읽을 때 구분할 점
007 곱셈적 함수의 일반적인 두 점 상관관계 문제를 푸는 탐색과 최종 원고의 논증을 연결해 봅니다.
017 π의 무리수 지수 수치나 결론의 정확한 범위는 최종 원고에서 확인합니다.
087 대칭·일반 Mahler 추측 관련 결과가 같은 계열 안에서 어떻게 묶이는지 살핍니다.
197 표수 2에서 Kaplansky의 직접 유한성 추측 대수적 대상과 가정은 원고의 정리 문장을 기준으로 읽습니다.
287 자유군 인자의 동형 문제 추론 요약의 설명과 최종 증명의 역할을 구분합니다.
362 3차원 상대론적 Vlasov–Maxwell 계 계열 설명·원고·검증 자료의 대응을 살핍니다.

나머지 네 요약은 기본 준정부호 임계값에서의 일반적인 NP 난해성(102), 등차수열에 관한 준다항식 상한(159), 희석 스핀 유리의 Mézard–Parisi 공식(221), 양자 Heisenberg 강자성체의 자발적 자화(271)를 다룹니다. 계산 복잡도·조합론·수리물리처럼 분야가 다양하다는 점을 볼 수 있습니다. 낯선 분야라면 개요의 배경 설명부터 읽고 추론 요약으로 넘어갈 수 있습니다. (10개 요약의 전체 목록)

축약된 추론 요약은 모델이 어떤 아이디어를 탐색했는지 살피는 보조 자료입니다. 10개 요약을 통해 722개 원고 전부의 생성 경로를 재구성하는 것은 범위를 넘어섭니다. 특히 요약에서 흥미로운 발상이 보이더라도, 최종 증명이 그 발상을 어떤 가정 아래 정리했는지는 원고에서 확인할 수 있습니다. 공개된 탐색 설명과 최종 논증을 함께 읽는 것이 이번 모음의 활용 방법입니다. (추론 요약 디렉터리)

평균 3시간과 약 4,000개 문제는 어떤 수치입니까?

OpenAI의 설명에 따르면 대다수 결과는 동일한 절차로 미공개 내부 모델을 사용해 얻었습니다. 평가 과정에서 약 4,000개 문제를 모델에 제시했고, 출력들을 결과 계열·원고로 묶은 뒤 적절한 중요도 기준을 적용해 현재 목록을 만들었습니다. 일부 출력은 모델이 앞서 만든 결과를 바탕으로 이어졌다고도 설명합니다. (결과 생성 절차)

따라서 722를 4,000으로 나눈 값은 이 모델의 난제 해결 성공률을 나타내는 지표로 쓰기 어렵습니다. 분자는 원고 수이고, 분모는 제시된 문제 수이며, 중간에는 관련 결과의 묶음과 중요도 판단이 들어 있습니다. 같은 문제에서 여러 원고가 나올 수도 있고, 앞선 결과를 활용한 후속 결과가 포함될 수도 있습니다. 성공률을 비교하려면 문제별 입력·성공 기준·시도 횟수가 서로 대응하는 평가 자료가 기준이 됩니다. 이 수치는 공개 목록의 생성 규모를 설명하는 정보로 읽을 수 있습니다. (평가와 목록 구성 설명)

평균 약 3시간이라는 표현도 연산량의 환산입니다. 회사는 각 결과에 쓴 계산을 해당 모델의 ChatGPT Pro 사고 약 3시간에 해당하는 연산량으로 설명했습니다. 사용자가 지금 구매할 수 있는 Pro 구독으로 같은 결과를 3시간 안에 얻는다는 이용 안내나, 실제 결제액을 공개한 가격표는 아닙니다. 모델 자체가 미공개이므로 일반 구독 모델에 같은 작업을 맡겼을 때의 시간·비용은 이 숫자에서 바로 계산할 수 없습니다. (생성 연산량 설명)

절차의 예외도 공개돼 있습니다. 리만 제타 함수의 영점 없는 영역에 관한 작업과 CM 아벨 다양체에 대한 Hodge 추측 증명은 고정 절차의 예외라고 적혀 있습니다. 또한 제타 함수의 Re(s) > 11/12 영점 없는 영역 원고는 가독성을 위해 사람이 편집했다고 밝힙니다. 같은 공개 모음에 속해도 모든 결과가 동일한 생성·편집 과정을 거쳤다고 설명하면 이 차이가 빠집니다. (예외와 사람의 편집 안내)

지금 이용할 수 있는 것과 후속 계획은 무엇입니까?

지금 공개된 것은 연구 자료입니다. 한국에서도 공개 GitHub 저장소를 통해 원고 PDF, 소스, 관련 증명과 추론 요약을 찾아볼 수 있습니다. 자료 열람은 모델 API 호출이나 Pro 구독 가입과 다른 경로입니다. 별도의 한국 전용 기능·한국어 품질·국내 처리 지역을 안내한 제품 발표는 이번 공개에서 찾지 못했습니다. (공개 저장소)

결과를 만든 내부 모델은 아직 미공개입니다. OpenAI는 책임 있는 출시를 위해 작업 중이라고 설명했으며, 구체적인 모델 제공일·이용 요금·계정 조건은 이번 발표의 확정 사항에 포함되지 않습니다. AI 수학 결과를 이해하는 워크숍·학회·특별 프로그램에 자금을 지원하겠다는 계획도 후속 안내 대상으로 제시했습니다. 자료 공개, 모델 출시, 연구 프로그램의 실제 개최는 각각 진행 상태가 다른 항목입니다. (후속 계획)

저장소는 공개 버전의 이력을 보존하고, 정정과 수정을 새 버전으로 기록하며 이전 버전도 계속 접근 가능하게 하겠다고 안내합니다. 개별 원고를 인용할 때는 그 디렉터리의 BibTeX 블록을 사용하도록 설명합니다. 연구자가 결과를 검토하거나 재사용할 때는 계열 번호만 남기는 것보다 원고와 버전을 같이 적어 두면 뒤의 수정과 자신의 검토 내용을 연결하기 쉽습니다. (버전·인용 안내)

반응 (2026년 10월 7일 한국 시각 확인 기준)

Hacker News 후보 토론은 10월 7일 오전 확인 때 144점·댓글 85개였습니다. 확인 시점의 수치이며 이후 달라질 수 있습니다. 아래는 댓글에서 확인된 기대와 우려로, 개별 증명의 검증 결과와 구분합니다.

  • 특정 결과에 대한 기대. 일부 댓글은 그래프 이론의 Barnette 추측이나 계산 복잡도 분야의 Unique Games Conjecture 관련 원고에 관심을 보였습니다. 자신이 최근 모델로 시도했지만 풀지 못한 문제의 증명이 읽어볼 만해 보인다는 의견도 있었습니다. 이는 원고를 검토해 보려는 초기 기대입니다. (HN 원문)
  • 공개 자료를 반기는 의견과 검토자 표시 요구. GitHub 공개와 추론 요약을 반긴 댓글이 있었고, 일부는 최소한 예비 검토를 한 사람의 이름을 원고에 표시해야 한다고 의견을 냈습니다. 반면 중요한 결과를 보관하기에는 GitHub보다 arXiv가 낫다는 반론도 나와, 공개 장소를 두고 의견이 갈렸습니다. (HN 원문)
  • 연구자의 다음 과제에 대한 논의. 박사과정 연구와 같은 결과가 먼저 공개되면 어떻게 해야 하느냐는 질문이 나왔습니다. 새 결과를 다음 연구의 기반으로 삼자는 의견과 연구 방향을 바꿔야 하는 부담을 짚는 의견이 이어졌습니다. (HN 원문)

r/singularity 토론에서도 큰 진전으로 보는 기대가 나타났습니다. 일부는 여러 분야의 결과가 한꺼번에 나온 점을 높이 평가했고, 다른 댓글은 아직 검증되지 않은 부분이 있다는 점과 난제의 부분 결과를 어떻게 평가할지를 짚었습니다. 결과당 3시간이라는 연산량 표현에 놀라거나 모델 가격을 추측한 의견도 있었지만, 그 추측은 공식 이용 가격으로 옮기지 않았습니다. 한국어 독립 검토와 국내 실사용 후기는 아직 미확인입니다.

성과를 판단할 때 앞으로 무엇을 보면 좋습니까?

이번 모음의 활용 가치는 결과를 원고·형식화·생성 설명으로 나눠 볼 수 있다는 데 있습니다. 다음 판단을 바꿀 정보는 원고별 전문 검토, 형식화 검사 기록, 정정 내역과 후속 연구에서의 활용입니다. 결과 전체를 한 번에 평가하기보다 관심 계열 하나의 정리와 검증 범위를 정확하게 연결하면 이후 자료와 비교할 기준이 생깁니다. (공식 저장소의 검증·수정 안내)

예를 들어 문헌 조사를 하는 연구자는 관심 분야의 계열과 원고 버전을 기록해 두고 선행 연구·가정·새 결론을 대조할 수 있습니다. 형식 검증에 관심 있는 개발자는 작은 대상부터 검사 환경을 구성하고 결과를 기록할 수 있습니다. 일반 독자는 발표된 원고 수, 컴퓨터로 검사할 수 있는 증명 범위, 수학계의 독립 검토가 각각 무엇을 말하는지 구분하는 것만으로도 후속 보도를 읽는 기준을 얻습니다. 이 글의 확인 범위는 공개 자료의 구성과 조건이며, 개별 증명에 대한 전문 검증은 포함하지 않습니다. (탐색 안내 · Lean 안내)

참고한 자료

확인일은 2026년 10월 7일 한국 시각입니다.