Claude의 수학적 역량을 더 알아보기

Anthropic의 미공개 연구 버전 Claude가 리만 가설 자체를 증명하지는 못했지만, 관련 문제에서 새로운 성과를 냈다. 리만 제타 함수의 영점 가운데 리만 가설을 만족하는 영점의 알려진 하한을 기존 **41.6%에서 67.2%**로 끌어올렸다.

Claude는 리만 가설에 도전하는 과정에서 Baluyot, Goldston, Suriajaya, Turnage-Butterbaugh의 최근 연구와 Bombieri의 2000년 연구를 결합했다. 이를 통해 몽고메리의 영점 분포 분석 기법을 리만 가설을 가정하지 않고 적용하는 방법을 활용했다.

핵심 접근은 Weil이 유도한 이차 형식으로 함수 공간을 구성하고, 임계선 위 영점과 임계선 밖 영점에서 각각 양의 정부호 및 음의 정부호 부분공간을 구분하는 것이다. Claude는 이차 형식의 계수와 1·2차 모멘트 정보 사이의 부등식을 세워 영점 비율의 하한을 계산했다.

Anthropic 소속 수학자 2명이 Claude의 논문을 검토하고 결과를 검증했으며, 관련 분야 전문가 Brian Conrey와 Dan Goldston도 논문을 살폈다. Claude는 결과에 대한 형식 검증 가능한 Lean 증명도 작성했다.

이번 기법이 리만 가설의 증명으로 이어질 것으로 기대되지는 않지만, 수십 년간 축적된 수학 연구를 결합해 기존 결과를 개선한 사례라는 점에서 AI 모델의 수학적 추론 능력과 발전 속도를 보여준다.