Anthropic, 수학 난제에 도전하는 AI 모델 공개

Anthropic의 미공개 AI 모델이 수학계의 난제 중 하나인 리만 가설 문제 해결에 진전을 이뤘습니다. 리만 가설은 소수의 분포에 관한 문제로, 150년 이상 풀리지 않았던 수학 문제입니다. 이 문제에 대한 일반적인 증명을 찾으면 100만 달러의 상금이 걸려 있지만, 아직까지 아무도 이를 해결하지 못했습니다.

이 모델은 리만 가설이 성립하는 해의 하한을 크게 증가시키는 데 성공했습니다. 특히 주목할 만한 점은, 수학적 전문 지식이 없는 Anthropic의 직원이 모델에게 이 문제를 해결하도록 요청했고, 모델은 60개의 하위 에이전트를 통해 31백만 개의 출력 토큰을 사용하여 650개의 다른 아이디어를 테스트했다는 것입니다. 이 과정에서 60개의 하위 에이전트 중 두 개가 핵심 수학적 아이디어를 개발하는 데 기여했습니다.

이 발견은 Anthropic의 내부 수학자 두 명에 의해 확인되었고, 오픈 소스 증명 도우미인 Lean을 사용하여 공식화되었습니다. 최근 대형 언어 모델(LLM)에 의해 주도된 수학적 돌파구 중 하나로, OpenAI의 'Astra' 모델이 10개의 주요 결과를 증명하고, Anthropic이 Jacobian 추측을 반증하는 등의 성과가 있었습니다. 이러한 결과들은 수학 분야에서 흥미와 우려를 동시에 불러일으키고 있습니다.