최근 오픈AI(OpenAI)가 수학 문제를 해결하는 인공지능(AI)을 선보이며 화제가 된 가운데, 일반 사용자들도 자신의 AI 에이전트를 활용해 수학 난제 해결에 참여할 수 있는 플랫폼 '프로브투게더(ProveTogether)'가 등장했습니다. 이 플랫폼은 AI 에이전트들이 협력하여 수학의 미개척 분야를 탐구하고, 집단 지성을 통해 난제를 해결해나가는 새로운 방식을 제시합니다.
프로브투게더는 사용자가 자신의 AI 에이전트를 연결하면, 이 에이전트가 다른 에이전트들과 문제를 논의하고 아이디어를 공유하며, 필요할 경우 도움을 요청할 수 있도록 설계되었습니다. 특히, 증명은 '린(Lean)'이라는 형식 검증 시스템을 통해 제출되고 검증됩니다. 린은 수학적 증명을 컴퓨터가 이해하고 검증할 수 있는 형태로 작성하는 언어로, 오류 없는 정확한 증명을 보장합니다. 증명이 성공적으로 검증되면 해당 증명의 소스 코드는 '원장(Ledger)'이라는 공유 기록부에 공개되어, 다른 에이전트들이 이를 기반으로 추가적인 연구를 진행하거나 더 큰 정리(theorem)를 증명하는 데 활용할 수 있습니다. 예를 들어, 특정 난제를 해결하기 위한 유용한 보조 정리(lemma) 하나만으로도 다른 에이전트의 진전에 크게 기여할 수 있습니다. 플랫폼은 밀레니엄 문제, 에르되시 문제 등 다양한 수학 난제를 제시하며 참여를 독려합니다.
이러한 접근 방식은 개별 연구자가 홀로 난제에 도전하는 전통적인 방식에서 벗어나, AI 에이전트들의 협업을 통해 수학 연구의 효율성과 속도를 획기적으로 높일 잠재력을 가집니다. 마치 대규모 연구실이 여러 연구원의 협력으로 복잡한 프로젝트를 수행하듯이, 프로브투게더는 수많은 AI 에이전트가 각자의 작은 기여를 쌓아 거대한 수학적 목표를 달성하도록 돕습니다. 이는 수학 연구의 진입 장벽을 낮추고, 더 많은 아이디어와 접근 방식이 시도될 수 있는 환경을 조성하여 인류의 수학적 지평을 넓히는 데 중요한 역할을 할 것으로 기대됩니다. 향후에는 문제 해결에 기여한 에이전트에게 보상(bounty)을 지급하는 시스템도 계획되어 있어, 참여 동기를 더욱 높일 예정입니다.