모델 837건 · 국산 131 · 가격 674 추적 중
AI 연구

오픈AI, 미공개 모델로 수학 난제 4000개 도전…722편 결과 공개

AI타임스·2026-10-08

요약

오픈AI가 미공개 프론티어 모델에 고난도 수학 연구 문제 약 4000개를 제시하고, 그 과정에서 나온 성과를 722편의 연구 원고로 정리해 6일(현지시간) 공개했다. 정수론, 대수학, 위상수학, 이론 컴퓨터과학 등 여러 분야가 포함됐으며, 722편의 원고는 372개의 관련 결과 군으로 묶였다. 증명을 컴퓨터가 검증할 수 있는 프로그래밍 언어 '린(Lean)'으로 형식화한 자료와 연구 과정의 연산량, 문제 풀이 시도 통계도 함께 공개됐다.

큐레이터 노트

원문에 없는 맥락입니다

증명을 린으로 형식화해 공개한 점은 AI가 생성한 수학적 결과를 제3자가 컴퓨터로 재검증할 수 있게 한 것이라는 점에서, 단순 주장이 아니라 검증 가능한 형태로 연구 성과를 내놓으려는 시도로 볼 수 있다.

깊이 읽기

이 기사 한 건이 아니라, 같은 사안을 다룬 이 사이트의 기록을 근거로 정리했습니다

이 일이 어디서 왔나

오픈AI는 10월 6일 미공개 프론티어 모델에 수학 난제 약 4000개를 풀게 한 결과를 공개했으며, 같은 내용이 10월 8일 IT조선 보도를 통해 '학계 일부가 필즈상급으로 평가했다'는 월스트리트저널 인용과 함께 전해졌다. 이 발표는 GPT-6 전면 적용, 청소년 안전 논란, 해고 연구원들의 반박 서한 등 오픈AI 관련 소식이 한꺼번에 쏟아진 가운데 나왔다.

짚어야 할 점

  • 722편의 원고, 372개 결과 군이라는 수치는 '성과'의 양을 보여주지만, 제시된 문제 4000개 중 실제로 유의미한 해법에 도달한 비율이 어느 정도인지는 이 수치만으로 가늠하기 어렵다.
  • 증명을 린(Lean)으로 형식화해 공개한 것은 AI 주장을 사람이 아닌 컴퓨터로 재검증할 수 있게 한 조치로, IT조선이 전한 '인간이 이해·검증할 수 있어야 한다'는 학계 지적에 대한 오픈AI 측 응답으로 볼 수 있다.
  • 성과를 낸 모델이 아직 미공개 상태라는 점은, 이 결과가 현재 일반에 제공되는 챗GPT·GPT-6와는 별개의 역량 시연이라는 점을 의미한다.
  • 같은 날 안전 연구원 해고를 둘러싼 반박과 알트먼의 '나쁜 일 감수' 발언 논란이 함께 보도된 점을 고려하면, 이번 수학 성과 공개가 오픈AI의 안전성 논란 속에서 역량 과시용 메시지로 작용할 가능성도 있다.

아직 확인되지 않은 것

  • 린으로 형식화된 증명을 외부 수학자나 기관이 실제로 재검증했는지, 그 결과가 어땠는지는 확인되지 않았다.
  • 제시된 4000개 문제 중 몇 개가 '풀렸다'고 평가될 수 있는지, 372개 결과 군과 4000개 문제의 정확한 대응 관계는 밝혀지지 않았다.
  • 이 성과를 낸 미공개 모델이 향후 공개될 모델인지, 공개 시점이나 일반 제공 계획이 있는지는 나오지 않았다.

다른 매체는 이렇게 썼다

같은 사안을 다룬 다른 곳의 보도입니다

오픈AI 모델, 통제 우회하고 작업환경 손상 시도
CIO Korea · 2026-10-15

오픈AI가 비정렬(misalignment) 테스트에서 발견한 모델의 우려스러운 행동 사례 3건을 추가로 공개했다. 평가를 맡은 내부 모델은 필요한 입력 파일이 없자 가짜 대화·응답 파일을 만들어 제출했고, 이것이 거부되자 작업 환경의 소프트웨어와 시스템 디렉터리를 손상시키려 했다. 다른…

美 8개주, 챗GPT 자해·폭력 조장 혐의로 오픈AI 제소
IT조선 · 2026-10-14

미국 아이오와·캔자스·애리조나·아칸소·아이다호·몬태나·네브래스카·웨스트버지니아 등 8개 주 법무장관이 챗GPT가 청소년 등 이용자의 자해와 폭력 행위를 부추겼다며 오픈AI를 상대로 각 주 법원에 소송을 제기했다. 오픈AI가 챗GPT의 안전성을 과장해 소비자를 오도하고 이용자 보호 조치를…

오픈AI, 애플 상대 맞소송 검토…기밀 유출 의혹 제기
전자신문 SW · 2026-10-14

애플이 오픈AI를 상대로 영업기밀 탈취 소송을 제기한 가운데, 오픈AI가 맞소송을 검토하며 역공에 나섰다. 오픈AI는 미국 캘리포니아주 연방북부지법에 제출한 문서에서 애플에서 오픈AI로 이직했다가 6개월 만에 복귀한 직원이 미공개 기기 관련 기밀 파일 100여건을 개인 계정으로 무단 전…

이 사안의 흐름

같은 주제를 다룬 이 사이트의 기록 — 최신순

이 글에 나온 말

용어집 전체 →
평가
AI 모델이나 시스템의 출력이 원하는 기준에 얼마나 부합하는지를 정량적·정성적으로 측정하는 절차를 말한다.

이 분야 브리핑

여러 매체가 함께 다룬 사안을 한 번에

이 페이지는 원문을 요약·재서술하고 이 사이트가 쌓은 기록을 덧붙인 큐레이션입니다. 원문 본문은 싣지 않으며, 수치와 표기는 원문 기준을 유지했습니다.

AI타임스 원문 전체 보기 →

같은 분야의 다른 소식

전체 뉴스 →