오픈AI(OpenAI)가 자사의 수학 연구 깃허브(GitHub) 저장소에서 이전에 발표했던 3개의 수학적 결과물을 철회했다고 밝혔습니다. 이와 함께 6개의 새로운 리안(Lean) 형식화(formalization)와 19개의 기존 결과물 수정을 공개하며, 전체 주요 결과의 약 42%가 형식적으로 검증되었다고 덧붙였습니다. 이는 AI 연구의 신뢰성을 높이기 위한 오픈AI의 지속적인 노력과 투명성을 보여주는 사례입니다.
이번 발표는 오픈AI의 댄 로버츠(Dan Roberts)가 X(구 트위터)를 통해 직접 알린 내용으로, 수학 연구 저장소의 업데이트 내역을 담은 `history.md` 파일을 통해 상세한 변경 사항을 확인할 수 있습니다. 리안(Lean)은 수학적 증명을 컴퓨터로 검증할 수 있도록 하는 증명 보조 도구(proof assistant)로, 복잡한 수학적 명제를 오류 없이 확인하는 데 사용됩니다. 오픈AI는 이 도구를 활용해 AI가 생성하거나 발견한 수학적 결과의 정확성을 체계적으로 검증하고 있습니다.
이번 철회는 AI가 수학 연구에 기여하는 과정에서 발생할 수 있는 오류를 인정하고, 이를 투명하게 공개하며 수정해나가는 책임감 있는 자세를 보여줍니다. 이는 단순히 AI의 한계를 드러내는 것이 아니라, AI 기반 연구가 인간 전문가의 검토와 형식적 검증이라는 엄격한 절차를 거쳐야만 신뢰성을 확보할 수 있음을 시사합니다. 앞으로 AI가 과학적 발견에 더 깊이 관여하게 될수록, 이처럼 철저한 검증과 투명한 오류 수정 과정은 연구 커뮤니티 전체의 신뢰를 구축하는 데 필수적인 요소가 될 것입니다.