Anthropic의 미공개 모델, 핵심 수학 문제에서 진전

리만 가설은 소수의 분포에 관한 수학에서 가장 유명한 미해결 문제 중 하나로, 150년 이상 해결되지 않은 채 증명에 100만 달러의 상금이 걸려 있습니다. Anthropic은 공개되지 않은 모델이 주목할 만한 진전을 이루어, 이 가설이 성립하는 것으로 알려진 해의 하한을 크게 높였다고 발표했습니다. 수학적 배경이 제한적인 한 직원이 모델에게 이 문제를 시도하도록 제안한 후, 다음 날 하루 반 동안 작업을 조정하기 위해 그대로 두었습니다. 그 시간 동안 모델은 650개의 해결 경로를 시도했고, 60개의 하위 에이전트를 조정하며 3,100만 개의 출력 토큰을 소비했습니다. 하위 에이전트 중 2개는 주요 수학 해법을 개발했고, 13개는 해당 에이전트를 위한 새로운 변형을 생성했으며, 30개는 새로운 아이디어를 내지 못했고, 13개는 검증자 역할을 했으며, 2개는 초기 논문 작성에 도움을 주었습니다. 그 결과는 두 명의 직원 수학자에 의해 검증되었고 Lean 증명 도우미로 형식화되었습니다. 최근 몇 년 동안 AI 모델은 Pál Erdős의 문제 중 여러 개를 해결했으며, OpenAI의 Astra 모델은 10개를 해결했고, 다른 Anthropic 모델은 오랜 기간 유지된 야코비안 가설을 반증했습니다. 이러한 성과는 수학계에서 저자와 정확성에 대한 책임에 관한 기대와 우려를 동시에 불러일으키며, 일부는 정리가 특정 연구자와 연관될 필요가 없다고 주장합니다.