Anthropic의 에이전트, 인간 수학자 없이 리만 가설을 발전시키다
미공개 Anthropic 모델이 60개의 자율 서브 에이전트를 통해 650개의 아이디어를 검증하며 리만 가설을 발전시켰고, AI가 발견한 과학적 진실로의 전환을 시사한다.
앤트로픽(Anthropic)은 출시되지 않은 모델이 60개의 하위 에이전트를 조정하여 650개의 서로 다른 수학적 접근 방식을 생성하고 검증함으로써 리만 가설(Riemann Hypothesis)의 하한을 개선했다고 밝혔다. 이 시스템은 36시간 동안 자율적으로 작동했으며, 3,100만 달러의 컴퓨팅 비용을 사용하여 린(Lean) 증명 도우미를 사용하여 인간 수학자들이 검증한 증명을 생성했다. 이 돌파구는 복잡한 과학 워크플로를 처리하는 멀티 에이전트 아키텍처의 잠재력을 강조하며, 수학적 커뮤니티 내에서 귀속 및 미래 발견에서 인간 연구원의 역할에 대한 우려를 다시 불러일으킨다.