클로드 AI, 리만 가설 도전 중 하한선 41.6%→67.2%로 대폭 올려

클로드가 결합한 기술

클로드는 이전에 결합된 적이 없던 두 개의 독립적인 연구 흐름을 연결했습니다:

• 최근 연구 (2023–2025, Baluyot, Goldston, Suriajaya, Turnage-Butterbaugh): 이 일련의 논문들은 리만 가설에 대한 가정 없이도 사용할 수 있도록 몽고메리(Montgomery)의 쌍상관 기법(pair correlation method)을 수정했습니다 .
• 2000년 Bombieri의 논문: 이를 통해 보완적인 해석적 정수론 기법을 제공했습니다 .

클로드의 핵심 통찰은 Weil이 도입한 이차 형식(quadratic form)을 가진 전체 함수 공간을 다루는 것이었습니다. 즉, 임계선 위와 밖의 영점에서 각각 오는 양의 정부호(positive-definite) 부분 공간과 음의 정부호(negative-definite) 부분 공간을 함께 고려하고, 이차 형식이 대각선 행렬이 아니도록(non-diagonal) 허용한 것입니다. 이를 통해 1차 및 2차 적률 정보를 사용하여 계수 부등식(rank inequality)을 작성하고 새로운 하한선을 도출했습니다 .

이 돌파구는 완전히 새로운 수학을 발견한 것이 아니라, 기존의 두 논문을 하위 분야를 넘어 연결한 데서 비롯되었습니다 .

검증 및 주의 사항

• 내부 검증: Anthropic의 수학자 Levent Alpöge와 Ralph Furman이 클로드의 논문을 연구하고 확인했습니다 .
• 외부 전문가 검토: 이 분야의 두 선도적인 전문가인 Brian Conrey와 Dan Goldston이 짧은 시간 안에 결과를 조사하고 검증했습니다 .
• 형식 증명: 클로드는 직원 Eric Easley와 함께 협력하여 결과에 대한 Lean 형식화(formalization) 를 제작했으며, 이는 표준 Lean 검증 도구를 통과합니다 .
• Anthropic의 경고: "우리는 클로드가 사용한 기법이 리만 가설을 증명하는 것으로 이어질 것이라고 기대하지 않습니다." 즉, 이 접근 방식은 의미 있는 개선이지만 제한된 범위 내의 것이며, 완전한 추측으로 가는 길은 아닙니다 .