Anthropic, AI 에이전트로 수학 연구 성과 달성

Anthropic은 리만 제타 함수의 자명하지 않은 영점 중 임계선 위에 놓인 비율을 무조건적(unconditional)으로 **41.6%에서 67.25%**로 끌어올린 연구 결과를 발표했다.

이 논문의 저자란에는 사람이 아닌 CLAUDE가 적혀 있으며, 약 60개의 Claude 서브 에이전트가 서로를 심사하며 논증을 만들어낸 결과물이다. 이는 리만 가설(Riemann Hypothesis)을 전제하지 않고도 도출된 결과라는 점에서 학술적 가치가 높다.

주요 특징은 다음과 같다:

• AI 기반 연구: 수학적 연구 계획이 아닌 실험적 요청에서 시작되었으나, AI 에이전트들이 협업하여 기존 수학계의 기록을 경신했다.
• 형식 검증: 논문의 주요 정리들은 Lean 4를 통해 형식 검증(formal verification)되었으며, 관련 저장소가 공개되어 있다.
• 새로운 방법론: 기존의 'mollifier' 방법론의 한계를 극복하기 위해 실베스터의 관성 법칙과 랭크-대각합 부등식 등 선형대수 도구를 사용하여 영점의 부호 문제를 우회했다.

이번 연구는 리만 가설 자체를 증명한 것은 아니지만, AI가 고도의 수학적 추론과 논증 과정에 직접 참여하여 실제 학술적 진전을 이뤄낼 수 있음을 보여주는 중요한 사례다.