"아이디어 새어나가면 AI가 가로챈다" 수학계가 다시 중세 비밀주의로 돌아가는 이유

요약 과거 중세 시대에는 수학 공식이나 해법이 학자 개인의 생계와 직결된 극비 정보였습니다. 당시 수학자들은 상대방과 문제를 내어 겨루는 대결에서 이겨야 연구 후원금과 사회적 지위를 얻을 수 있었기 때문에, 3차 방정식 해법을 찾고도 20년 동안 숨기다 임종 직전에야 제자에게 넘겨준 사례처럼 발견을 철저히 비밀에 부치는 문화가 팽배했습니다. 하지만 현대 과학계의 오픈 사이언스 전통이 거대 자본을 쥔 AI 기업들의 등장으로 다시 중세의 비밀주의로 퇴보할 수 있다는 위기감이 수학계에서 제기되고 있습니다. 최근 빅테크 기업들이 홍보(PR) 효과를 노리고 유명 난제 해결에 뛰어들면서, 막대한 컴퓨팅 파워를 투입해 대규모 언어 모델과 린(Lean) 기반 형식 검증으로 증명을 찍어내는 상황이 벌어지고 있기 때문입니다. 실제로 최근 나비에-스토크스 방정식 관련 반례 주장에도 적게는 수백만 달러에서 많게는 수천만 달러 규모의 컴퓨팅 비용이 들어간 것으로 추산되며, 이런 대규모 연산 인프라는 개인 연구자가 결코 감당할 수 없습니다. 세계적인 수학자 테렌스 타오(Terence Tao) 역시 이 문제의 심각성을 지적했습니다. 이제는 증명 자체보다 '유망한 문제를 발굴하는 것'이 가장 희귀하고 소중한 자원이 되었는데, 어떤 수학자가 특정 난제를 풀고 있다는 소문만 돌아도 거대 자본의 AI 연산이 투입되어 원래 연구자가 연구를 완벽히 꽃피우기도 전에 문제를 순식간에 평정해 버리는 일이 발생하고 있다는 것입니다. 결국 수학자들이 아이디어를 도둑맞지 않기 위해 연구 방향을 학계에 일절 공유하지 않고 혼자 비밀리에 연구하는 악순환이 생길 수 있으며, 이는 지난 수백 년간 이어져 온 개방적 학문 연구 전통과 수학 생태계 전체에 심각한 장기적 타격을 줄 수 있다는 경고가 나오고 있습니다.