오픈AI(OpenAI)가 인공지능(AI)으로 생성한 수학 연구 결과물 3건을 깃허브(GitHub) 저장소에서 철회했습니다. 이번 업데이트에는 새로운 린(Lean) 형식화 6건 추가, 19건 수정과 함께 3건의 철회가 포함되었으나, 구체적으로 어떤 결과물이 왜 철회되었는지에 대한 명확한 설명은 없어 학계의 궁금증과 논란을 증폭시키고 있습니다.
현재 오픈AI의 수학 저장소에 있는 주요 결과물 중 약 42%가 린(Lean)이라는 형식 검증 시스템으로 형식화(formalization)된 상태입니다. 린은 수학적 명제를 컴퓨터가 이해하고 검증할 수 있는 형태로 바꾸는 작업으로, 오류를 줄이는 데 기여합니다. 하지만 철회된 3건이 린으로 검증된 결과물이었는지, 아니면 아직 형식화되지 않은 결과물이었는지는 불분명합니다. 일각에서는 활발한 수학 공동체의 검토가 없었다면 오류가 그대로 남았을 것이라는 지적이 나오며, AI가 수학자 커뮤니티의 필요성을 위협하는 동시에 그 커뮤니티에 의존하는 역설적인 상황에 대한 우려도 제기되고 있습니다.
이번 철회는 AI가 생성한 복잡한 수학적 증명과 결과물의 신뢰성 검증이라는 중요한 과제를 다시금 부각시킵니다. AI는 방대한 양의 데이터를 빠르게 처리하여 새로운 통찰을 제공할 수 있지만, 그 결과가 항상 완벽하거나 인간이 쉽게 이해할 수 있는 형태는 아닙니다. 특히, 일부 AI 생성 증명은 너무 방대하거나 미묘한 가정을 포함하고 있어, 인간 수학자가 검토하는 데 막대한 시간과 노력이 필요합니다. 이는 AI 시대에 인간 수학자의 역할이 단순히 문제를 푸는 것을 넘어, AI의 결과물을 비판적으로 검토하고 검증하는 방향으로 진화해야 함을 시사합니다.