수학계 난제 사이트마저 점령한 AI... "인간의 토론이 사라졌다" 운영자 한탄

요약 유명 수학자 에르되시 팔(Paul Erdős)의 수학 난제들을 모아 공유하던 전문 커뮤니티 사이트 'Erdosproblems.com'의 운영자 토마스 블룸(Thomas Bloom)이 사이트 운영에 대한 고민과 개편 계획을 담은 글을 공개했습니다. 해당 사이트는 2023년 5월 약 200여 개의 문제로 시작해 현재 1,221개의 난제와 9,000개가 넘는 댓글, 약 2,000명의 등록 회원을 보유한 사이트로 성장했습니다. 특히 2025년 8월 댓글 기능이 도입되면서 수학 연구자들과 애호가들이 모여 난제 해결을 위한 아이디어를 나누고 오류를 수정하며 공동 연구 논문까지 발표하는 활발한 인간 수학자들의 지적 교류의 장이 되었습니다. 그러나 최근 인공지능(AI)이 비약적으로 발전하며 불과 1년도 되지 않아 수학계 최고 난이도의 문제들까지 풀어내기 시작하자 상황이 급변했습니다. 문제들이 AI 벤치마크처럼 쓰이기 시작했고, 많은 수학자들이 AI와 경쟁할 수 없다는 무력감에 에르되시 문제 연구를 포기하거나 단순 오락 취급하는 부작용이 발생했습니다. 운영자가 지적한 가장 심각한 문제는 사이트가 '설명 없는 AI 생성 증명'을 올려 무의미한 우선권(priority)을 주장하는 공간으로 변질되었다는 점입니다. 인간이 수학적으로 이해하려는 노력이나 맥락 설명은 사라진 채, AI가 뱉어낸 형식적 증명만 던져두고 점수를 따려는 식의 과열 양상이 빚어졌습니다. 운영자는 "도축장에 식당을 열 수 없듯, AI 증명 아카이브와 인간의 호기심과 이해를 돕는 커뮤니티는 명확히 분리되어야 한다"며, 단순히 참/거짓 증명만 남기는 것이 아니라 에르되시가 의도했던 인간의 탐구심과 수학적 이해를 지키기 위해 사이트의 방향성을 개편하겠다고 선언했습니다.