최근 인공지능(AI) 에이전트들이 협력하여 수학계의 오랜 난제였던 페르마의 마지막 정리(Fermat's Last Theorem)를 단 11일 만에 형식화하는 데 성공했습니다. 이는 AI가 인간의 개입 없이도 복잡한 수학적 개념을 이해하고, 논리적으로 증명을 재구성할 수 있음을 입증한 중요한 성과로 평가됩니다.
이번 성과는 구글 딥마인드(Google DeepMind)와 매스포트(MathPort) 연구진이 개발한 AI 시스템을 통해 이루어졌습니다. 이 시스템은 여러 AI 에이전트들이 각자 다른 역할을 맡아 협력하는 방식으로 작동했습니다. 예를 들어, 한 에이전트는 기존 수학 라이브러리에서 관련 개념을 검색하고, 다른 에이전트는 새로운 증명 단계를 제안하며, 또 다른 에이전트는 제안된 증명의 유효성을 검증하는 식입니다. 이들은 기존의 인간이 작성한 증명을 기반으로, 컴퓨터가 이해하고 검증할 수 있는 형식 언어(formal language)로 변환하는 작업을 수행했습니다. 페르마의 마지막 정리는 17세기 수학자 피에르 드 페르마가 제시한 문제로, 1994년 앤드루 와일스(Andrew Wiles) 경이 최종 증명하기까지 350년 이상이 걸렸습니다.
이번 AI의 성공은 수학 연구 방식에 혁명적인 변화를 가져올 수 있음을 시사합니다. 복잡한 증명의 오류를 찾아내거나, 새로운 수학적 아이디어를 탐색하는 데 AI가 강력한 도구가 될 수 있습니다. 또한, 소프트웨어 및 하드웨어의 정확성을 보장하는 형식 검증(formal verification) 분야에서도 AI의 활용 가능성이 커질 것으로 보입니다. 이는 금융 시스템, 자율주행 소프트웨어 등 오류가 치명적인 결과를 초래할 수 있는 분야에서 신뢰성을 높이는 데 기여할 수 있습니다. 궁극적으로 AI는 인간 수학자들이 더 창의적이고 추상적인 문제에 집중할 수 있도록 지원하며, 수학적 지식의 경계를 확장하는 데 중요한 역할을 할 것입니다.