한 줄 요약
Anthropic의 미공개 연구용 Claude가 리만 가설을 풀지는 못했지만,
“영점 중 최소 몇 %는 가설이 말하는 선 위에 있다”는 하한선을 41.6% → 67.2%로 올렸습니다. 전문가 검증·Lean 형식 증명까지 나왔습니다.
쉽게 비유하면
리만 가설은 대략 이런 주장입니다.
> 리만 제타 함수의 (소수를 결정하는) 중요한 영점들이 전부 특정 수직선 위에 있다.
100%를 증명해야 가설이 완성됩니다.
지금까지 수학자들은 “적어도 41.6%는 그 선 위에 있다”까지만 보장했고, Claude가 그걸 67.2%까지 끌어올렸습니다.
- 증명된 하한 41.6% → 67.2%: “확실히 선 위에 있는 영점” 비율의 바닥을 높임
- 아직 100% 아님: 나머지 ~32.8%는 여전히 미보장
- 가설 자체는 미해결: 1859년 문제, 밀레니엄 난제(100만 달러 상금) 그대로
얼마나 중요하냐 (체감 점수)
| 관점 | 중요도 | 이유 |
|------|--------|------|
| AI 연구 | ★★★★★ | 사람이 “리만 가설 도전해 봐” 정도만 시키고, 모델이 관련 부분 결과를 스스로 찾아냄. 수천 아이디어 시도, 서브에이전트 협업, 논문·Lean 검증까지. |
| 해석적 정수론 | ★★★☆☆ | 수십 년간 쌓인 하한을 한 번에 크게 올린 실질적 개선. 다만 기존 연구(Baluyot–Goldston–Suriajaya–Turnage-Butterbaugh, Bombieri 등)를 잘 조합·확장한 성격이 강함. |
| 리만 가설 완전 해결 | ★☆☆☆☆ | Anthropic도 “이 기법으로 가설까지 갈 것 같진 않다”고 명시. 완전 증명과는 거리 있음. |
왜 “와” 하면서도 과대평가하면 안 되나
1. 진짜 새 결과: 단순 계산이 아니라, 기존 SOTA 상수(41.6%)를 넘어선 수학적 하한 개선.
2. 검증 절차가 있음: Anthropic 수학자 검토, 분야 전문가(Conrey, Goldston) 확인, Lean 형식화.
3. 하지만 방향은 “부분 보장 강화”: 가설의 핵심인 “전부”가 아니라 “더 많은 비율이 확실하다” 쪽.
4. 인간 수학 없이도 된 건 아님: 선행 논문·기법을 깊게 활용한 결과. “AI가 리만을 혼자 깨부쉈다”와는 다름.
결론
- 뉴스 가치: 높음 — 특히 “AI가 유명 미해결 문제 주변에서 논문급 부분 성과를 냈다”는 점에서.
- 수학사 가치: 의미 있는 중간 기록 경신, 하지만 리만 가설 종결 소식은 아님.
- 한 문장으로: “리만 가설을 푼 게 아니라, ‘영점 중 선 위에 있는 비율’의 보장 하한을 크게 올린 진짜 성과. AI 수학의 상징적 이정표.”