OpenAI, 수학 난제 372건 관련 논문 722편 공개…검증은 이제 시작이에요

수학 기호가 없는 빈 연구 노트와 AI 연산 서버가 놓인 현실적인 연구실 사진풍 이미지

AI를 활용하여 생성한 이미지입니다.

OpenAI가 10월 7일 수학 연구 결과를 한꺼번에 공개했어요. 공개 범위는 372개 주요 수학 문제에 대한 해법과 진전을 담은 원고 722편이며, GitHub 저장소에 문서와 관련 정보를 함께 올렸다고 설명했어요.[1] 숫자만 보면 큰 발표지만, 논문이 공개됐다는 사실과 수학계 검증이 끝났다는 뜻은 서로 달라요.

무엇을 공개했나

이번 자료는 아직 공개되지 않은 ChatGPT 계열 개척 모델이 만든 결과를 바탕으로 해요. OpenAI는 모델의 추론 과정, 계산량 추정치, 시도한 문제 수 같은 정보를 포함했다고 밝혔고, 평균 결과 하나를 만드는 데 ChatGPT Pro 사용 약 3시간이 필요했다고 설명했어요.[1][2]

공개된 주장 가운데에는 4차원 Kakeya 추측에 대한 해법, 컴퓨터 알고리즘 개선, 리만 가설에 대한 진전이 포함돼요.[1] 다만 이 표현은 각각의 수학적 주장이 독립적인 전문가 검토를 통과했다는 의미가 아니에요. 원고를 읽고 오류를 찾고, 증명이 문제의 조건을 끝까지 만족하는지 확인하는 과정이 남아 있어요.

구분 공개된 내용 아직 남은 질문
규모 372개 문제, 722편 원고 각 원고의 중복·완성도와 실제 기여
비용 정보 평균 결과에 약 3시간의 ChatGPT Pro 사용 문제별 계산 시간과 전체 비용
결과 예시 Kakeya 추측·알고리즘·리만 가설 관련 진전 독립 재현과 동료 검토

공개 논문과 검증된 정리 사이

OpenAI는 수학·AI 자문 그룹의 권고에 따라 결과를 전통적인 학술 경로로 공개하고, 모델 이름·프롬프트·계산 비용 같은 세부 정보를 제공하려 했다고 설명했어요.[1] 하지만 Engadget이 확인한 내용에 따르면 구체적인 문제별 계산 시간과 사용 프롬프트는 모두 공개되지 않았어요.[1]

이 차이는 AI가 만든 수학 결과를 읽을 때 특히 중요해요. 사람이 쓴 논문도 오류가 있을 수 있지만, AI가 만든 증명은 문장이 자연스럽고 중간 계산이 그럴듯해도 핵심 단계가 빠질 수 있어요. 따라서 “AI가 풀었다”라는 제목보다 문제의 정의, 증명의 각 단계, 기존 문헌과의 차이, 독립 재현 여부를 먼저 봐야 해요.[1]

거의 모든 논문이 하나의 AI 에이전트에 한 번의 프롬프트를 입력해 만들어졌다는 설명도 나왔어요.[1][2] 여러 모델이 서로 다른 방식으로 확인한 결과가 아니라는 뜻이므로, 재현성에 관한 판단은 더 신중해야 해요.

독자가 결과를 읽는 순서

  • 원고가 주장하는 문제와 결론을 먼저 따로 적어요.
  • 증명에 사용한 정의와 가정이 원래 문제와 같은지 확인해요.
  • 모델 이름·프롬프트·계산 비용이 실제로 공개됐는지 살펴봐요.
  • 전문가 검토나 독립 재현이 없는 주장은 잠정 결과로 표시해요.

이번 공개의 의미는 “AI가 수학을 끝냈다”가 아니라, 대규모 AI 수학 결과를 학술 커뮤니티가 직접 검토할 수 있는 자료 묶음이 나왔다는 데 있어요. 반대로 모델과 계산 절차가 완전히 공개되지 않은 상태에서는 성과의 크기를 단정하기 어려워요. 지금은 논문 수보다 검증된 결과의 수를 기다릴 시점이에요.[1]

출처

함께 읽을 글