미공개 Anthropic 모델이 리만 가설에서 진전을 보이다

Anthropic은 아직 공개되지 않은 모델이 150년 이상 풀리지 않은 소수에 관한 유명한 미해결 문제인 리만 가설에 대해 상당한 진전을 이루었다고 발표했습니다. 수학적 훈련을 제대로 받지 않은 Anthropic 직원이 모델에게 증명을 시도하도록 프롬프트를 제공한 후, 하루 반 동안 작업을 조정하도록 맡겼습니다. 모델은 650개의 서로 다른 아이디어를 테스트했으며, 60개의 하위 에이전트를 조정하고 총 3100만 개의 토큰을 사용했습니다. 두 개의 하위 에이전트가 핵심 수학적 아이디어를 개발했고, 다른 에이전트들은 아이디어를 기여하거나 새로운 아이디어 개발을 시도했지만 실패하거나, 검증자 역할을 하거나, 논문 작성에 도움을 주었습니다. Anthropic의 내부 수학자 두 명이 연구 결과를 확인했으며, 증명은 오픈소스 증명 보조 도구인 Lean을 사용하여 형식화되었습니다. 이는 대규모 언어 모델에 의한 일련의 수학적 돌파구 중 하나로, 해결된 에르되시 문제들과 OpenAI의 '아스트라' 모델의 다른 결과들, 그리고 제이코비안 추측을 반증한 Anthropic의 연구를 포함합니다. 점점 늘어나는 연구 결과는 흥분과 우려를 동시에 불러일으키고 있으며, 일부 수학자들은 증명의 귀속과 책임에 대해 걱정하고 있습니다. 반면 필즈상 수상자 티머시 가워스는 변화가 보이는 것만큼 문제가 되지 않을 수도 있다고 제안합니다.