Anthropic은 8월 10일 아직 공개되지 않은 Claude 연구 모델이 리만 가설과 관련된 장기간의 수학적 하한 기록을 개선했다고 발표했습니다. Claude가 리만 가설 자체를 해결한 것은 아닙니다. 대신 리만 제타 함수의 영점 가운데 임계선 위에 존재하는 비율에 대한 하한을 기존 41.6%에서 67.2%로 개선하는 결과를 얻었습니다. anthropic.com
Anthropic 소속 수학자 두 명이 증명을 검증했고, 외부 전문가 Brian Conrey와 Dan Goldston도 짧은 시간 동안 내용을 검토했습니다. 또한 Claude가 형식 검증 가능한 형태의 증명도 생성했다고 Anthropic은 밝혔습니다. anthropic.com
왜 중요한가
기존 AI 수학 벤치마크는 대부분 이미 정답이 있는 문제였습니다.
이번 사례의 의미는 AI가:
알려진 문제 풀이
에서
실제 연구 문제 → 새로운 결과 후보 생성
쪽으로 이동하고 있다는 점입니다.
다만 아직 Anthropic 자체 발표 단계이며 학계의 장기적인 독립 검증과 동료평가가 필요합니다. 따라서 "Claude가 수학적 발견을 완전히 자동화했다"고 해석하는 것은 과도합니다. anthropic.com
실무 시사점
기업에서도 AI 활용 방식이 비슷하게 변할 가능성이 있습니다.
기존:
질문 → 답변
보다
자료 탐색 → 가설 생성 → 계산/코드 실행 → 결과 검증
형태의 research agent workflow가 더 중요해집니다.