AI가 160년 된 수학 난제를 25%p 밀어냈다 — 그런데 놀라운 건 숫자가 아니다
지난주 AI 소식 중 가장 많이 공유된 것은 새 모델 출시가 아니었다. 수학 문제 하나가 조금 풀렸다는 이야기였다.
2026년 8월 10일, Anthropic은 아직 공개하지 않은 연구용 Claude가 리만 제타 함수와 관련된 하한을 41.6%에서 67.2%로 올렸다고 발표했다. 수십 년 동안 소수점 단위로 움직이던 값이 한 번에 25%p 넘게 움직였다.
그런데 이 소식에서 정말 볼 것은 숫자가 아니다. 그 숫자가 나온 방식과, 회사가 스스로 붙여 놓은 단서들이다. 이 글은 그 두 가지를 정리한다. 확인하지 못한 것은 그렇게 적었다.
1. 무슨 일이 있었나
리만 가설은 1859년에 제기된 뒤 아직 아무도 증명하지 못한 문제다. 가설 전체를 증명하는 것과, **“제타 함수의 자명하지 않은 영점 중 최소 몇 %가 가설을 만족하는가”**를 밝히는 것은 다른 일이다. 이번 결과는 후자다.
Anthropic의 발표문에 적힌 사실은 이렇다.
- 하한을 “41.6%에서 67.2%로 올렸다”(원문: “increased this bound from 41.6% to 67.2%”)
- 작업은 Claude Code 두 세션에서 이뤄졌고, 출력 토큰 총 3,100만 개를 썼다
- 첫 시도에서 “Claude가 650개의 아이디어를 만들어 시도했고, 그중 어느 것도 통하지 않았다”
- 두 번째 시도에서 **“하루 반 동안 약 60개의 Claude 서브에이전트를 조율”**했고, 이들이 **“2,400개의 셸 명령을 실행하고 수백 개의 파이썬 스크립트를 작성”**했다
- 알려진 제타 영점들을 상대로 수천 번의 수치 검증을 돌렸다
650번 실패한 뒤 방식을 바꿔 60개의 작업 단위를 동시에 굴렸다는 뜻이다.
2. 그래서 무엇이 새로운가 — “더 똑똑한 모델”이 아니다
이 소식을 “AI가 더 똑똑해졌다”로 요약하면 핵심을 놓친다. 발표문에 나오는 것은 모델의 크기나 벤치마크 점수가 아니라 작업 방식이다. 세션 두 개, 서브에이전트 60개, 셸 명령 2,400개, 스크립트 수백 개, 수치 검증 수천 회.
이것은 한 번의 천재적 도약이 아니라 관리된 대량 시도다. 사람 연구자 한 명이 물리적으로 못 하는 것은 “어려운 생각”이 아니라 **“틀린 길 650개를 하루 만에 다 걸어보는 일”**이다. 이번 결과에서 기계가 대신한 지점이 바로 거기다.
여기서 조직에 옮겨 볼 만한 부분이 나온다. 성과를 만든 것은 한 번에 맞히는 능력이 아니라 틀린 것을 빨리 버리고 다음으로 넘어가는 구조였다는 점이다. 650번 실패가 기록으로 남았기 때문에 두 번째 시도의 방향이 달라질 수 있었다.
3. 검증은 사람이 했다
발표문에서 가장 조용하지만 중요한 문단은 검증 부분이다.
- “Anthropic의 수학자 두 명이 Claude의 논문을 검토하고 검증했다” — Levent Alpöge와 Ralph Furman
- 여기에 더해 “이 분야의 전문가인 Brian Conrey와 Dan Goldston 두 사람이 촉박한 일정에도 논문을 살펴봐 주었다”
결과를 낸 것은 모델이고, 그것이 맞다고 말한 것은 사람이다. 이 순서는 뒤집히지 않았다. AI가 만든 산출을 사람이 확인하는 절차가 빠졌다면 이 발표는 “주장”에 머물렀을 것이다.
4. 회사가 스스로 붙인 단서들
과장을 걷어내려면 Anthropic이 직접 적어 둔 한계를 그대로 옮기는 편이 낫다.
- 리만 가설 자체는 풀리지 않았다. 이번에 개선된 것은 관련된 하한이다.
- 발표문은 **“Claude가 사용한 기법이 리만 가설 증명으로 이어질 것으로 기대하지 않는다”**고 적었다.
- 사용된 것은 공개되지 않은 연구용 버전이다. 따라서 외부에서 같은 조건으로 그대로 재현하기 어렵다.
- 통상적인 학술지 동료심사를 거쳤다는 언급은 발표문에 없다.
만든 쪽이 먼저 한계를 말했다는 점은 그 자체로 읽을 만한 신호다.
5. 착수 경위 — 수학자가 아닌 직원의 요청
이 프로젝트의 시작은 발표문에 그대로 적혀 있다. Anthropic 직원 Jarred Sumner — 수학자가 아니다 — 가 Claude에게 “리만 가설을 제대로 한번 파보라”(원문: “take a real stab”)고 요청했고, 거기서부터의 수학적 선택은 모델에게 맡겼다. 무리한 요청 하나가 출발점이었다는 것이 회사의 서술이다. 검증자 이름의 한글 표기는 국내 매체마다 갈리므로 이 글은 원문 표기를 따랐다.
6. 남는 것
이번 소식이 각자의 자리에서 의미를 갖는다면, 그것은 “AI가 수학을 푼다”가 아니라 이 세 가지에 가깝다.
- 성과는 한 번의 정답이 아니라 실패를 처리하는 구조에서 나왔다. 650번의 실패가 버려지지 않고 다음 시도의 재료가 됐다.
- 작업을 쪼개 동시에 굴리는 방식이 실제 결과를 냈다. 60개의 서브에이전트는 개념이 아니라 이번 결과의 실제 작업 단위였다.
- 마지막 판단은 사람이 했다. 그리고 만든 쪽이 한계를 먼저 밝혔다.
세 번째가 가장 지루하고, 가장 오래 남을 부분이다.
참고자료 (검증 출처)
- Anthropic — Learning more about Claude’s mathematical capabilities (2026-08-10) — 원문 직접 확인: 하한 41.6% → 67.2%, Claude Code 두 세션·출력 토큰 3,100만, 첫 시도 650개 아이디어 전부 실패, 두 번째 시도에서 약 60개 서브에이전트를 하루 반 동안 조율·셸 명령 2,400개·파이썬 스크립트 수백 개·수치 검증 수천 회, 검증자 Levent Alpöge·Ralph Furman 및 외부 검토 Brian Conrey·Dan Goldston, “Claude가 사용한 기법이 리만 가설 증명으로 이어질 것으로 기대하지 않는다”는 서술.
- AI타임스 — 앤트로픽 미공개 모델, 리만 가설 연구 대기록 (2026-08-12 작성 / 08-13 게재) — 국내 보도. 수치(41.6%→67.2%·서브에이전트 60·36시간·3,100만 토큰·셸 명령 2,400)와 착수 경위(직원의 요청) 모두 1차 출처와 일치. 검증자 한글 표기만 매체 간 갈림.
불확실 항목 명시
- 착수 경위(직원 Jarred Sumner의 “take a real stab” 요청)는 1차 출처에서 직접 확인했다(초기 판본에서 “확인하지 못했다”고 잘못 적었던 것을 검수에서 바로잡았다).
- 이 결과의 학술적 최종 평가는 아직 정해지지 않았다. 동료심사 완료 여부를 확인하지 못했다.
- 결과를 만든 모델이 미공개 연구용 버전이라 외부 재현이 어렵다는 점은 1차 출처에 명시돼 있다.
- 요즘IT·투쏠 등 다른 후보 자료는 이번 글에서 인용하지 않았다(원문 회수를 하지 않은 자료는 쓰지 않는다).
본 글은 공개 자료를 기반으로 하며 정보 제공·교육 목적입니다. 확인하지 못한 내용은 미확인으로 표기했습니다.