AI 급등이 뒤흔드는 에르되시 수학 커뮤니티

핵심 요약

• 에르되시 문제 사이트(erdosproblems.com)는 AI가 1년 사이 수학의 어려운 문제들을 푸는 데 성공하면서 AI 역량 측정의 기준이 되어왔다.
• AI 해결책이 늘어나면서 많은 문제의 답을 알게 됐지만, 동시에 수학자들이 에르되시 문제를 '쉽고 재미있는' 것으로 폄하하고, AI와의 경쟁을 포기하며, 설명 없는 AI 생성 해결책으로 인해 인간 수학자들이 낙담하는 부작용도 생겼다.
• 사이트 운영자는 'Erdős 커뮤니티 인간들(에르되시 스타일 수학에 관심 있는 사람들)의 번영'을 핵심 가치로 삼고 변화를 추진했다.
• 주요 변화는 증명 주장(proof claim) 섹션의 기능 제한: (1) 새로운 증명 주장 제출 제한, (2) 증명 주장 댓글 기능 삭제, (3) 문제의 '해결됨/미해결' 상태 표시 제거, (4) 설명 및 해석을 중시하도록 전환이다.
• 커뮤니티 반응은 엇갈렸다. 일부는 설명 부족과 AI 생성 '쓰레기' 증명의 문제에 공감했으나, 많은 이들은 증명 주장과 댓글 기능 제거가 협업을 방해하고 수학적 진전 가시성을 낮춘다고 우려했다.
• 비판자들은 증명 주장 섹션이 이미 정보를 분류했고, 한 문제당 평균 2개 미만의 주장만 있어 검토 부담이 크지 않으며, 댓글 기능이 상세한 설명으로의 재작성을 돕는 협업의 장이었다고 지적했다.
• 운영자가 공개한 데이터에 따르면 291개의 증명 주장 중 155개는 댓글이 0개, 112개는 제출자 외 댓글이 있었으며, 61개 문제가 여러 주장을 갖고 있다.
• 또 다른 커뮤니티 멤버는 댓글 기능 제거가 증명 주장 작성자의 신원을 알리고 개선할 기회를 빼앗으며, AI 시대에 설명과 해석에 신용을 주되 '먼저 나온 것'을 완전히 무시할 수는 없다고 반박했다.
• 사이트의 포럼 댓글 기능이 새로운 수학 발견의 시작점이자 협업 촉매였던 만큼, 완전한 삭제보다는 더 신중한 접근(예: 1년 뒤 완전히 해결된 문제만 표시)을 제안하는 의견도 있었다.