AI가 난제를 풀면 수학은 전진할까, Reddit이 갈린 지점

AI가 어려운 수학 문제를 풀었다면 수학은 그만큼 전진한 것일까. r/singularity에 올라온 한 게시물은 최근의 수학 성과를 둘러싼 비판을 요약한 이미지와 함께 이 질문을 던졌고 172표를 받았다. 댓글은 빠르게 두 방향으로 갈렸다. 인간 연구자의 미공개 아이디어와 공로가 제대로 보호됐는지 먼저 따져야 한다는 쪽과, 결과가 나온 뒤에도 성과를 인정하지 않는 것은 기준을 옮기는 일이라는 쪽이다.

후자의 댓글들은 AI가 중요한 문제를 해결했다는 주장 자체를 논쟁의 출발점으로 삼았다. 일부는 ‘실제 밀레니엄 문제가 풀렸다’고 적었지만, 해당 댓글만으로 그 주장의 학술적 검증 상태를 확인할 수는 없다. 수학에서 증명은 답이 참처럼 보이는 것과 다르다. 전문가 검토, 오류 수정, 기존 연구와의 연결, 재현 가능한 서술을 거쳐 공동체가 받아들여야 비로소 지식 체계 안에 들어간다. Reddit의 높은 반응은 성과의 확정보다 이 검증 기준을 두고 대중의 기대가 얼마나 앞서 있는지를 보여준다.

논쟁의 배경에는 25명의 필즈상 수상자가 이름을 올린 ‘수학과 AI의 심각한 불일치’ 선언이 있다. 선언은 문제 풀이를 수학의 최종 목적이 아니라 개념적 이해와 통찰을 가늠하는 수단으로 본다. 유명 난제는 새 아이디어를 끌어내는 등대 역할을 해 왔고, 풀이 뒤에는 강연과 토론, 단순화, 교과서 수준의 정리가 이어졌다. AI가 참·거짓 명제와 풀이를 대량 생산해 이 시간을 압축하면, 오히려 다음 세대가 아이디어를 키울 공간과 연구의 출처가 훼손될 수 있다는 우려다.

반대편의 문제 제기도 가볍게 넘길 수 없다. 도구가 실제로 새로운 풀이를 만들고 오류 검증을 통과한다면, 인간이 만들지 않았다는 이유만으로 수학적 가치를 낮출 수는 없다. AI를 사용한 인간 연구자와 모델 개발사, 학습 자료를 만든 수학자 사이의 공로를 어떻게 나눌지도 새로운 규칙이 필요하다. ‘AI 사용 여부’만으로 선을 긋기보다 어떤 아이디어가 어디에서 왔고 누가 검증했는지 추적 가능한 기록을 남기는 편이 실질적이다.

두 진영이 놓치기 쉬운 공통점은 검증 역량이 병목이라는 사실이다. 모델이 풀이 후보를 만드는 속도가 빨라질수록 이를 읽고 의미를 추출할 전문가는 더 많이 필요하다. 연구실은 미공개 문제를 모델에 넣을 때 데이터 보관과 재학습 조건을 확인해야 하고, 개발사는 풀이의 출처와 실행 기록을 감사할 수 있게 제공해야 한다. 학술지는 AI 보조 범위와 저자 책임, 인용 기준을 명확히 할 필요가 있다.

이 토론의 가치는 승자를 정하는 데 있지 않다. ‘정답 생산’과 ‘학문 발전’을 같은 것으로 볼 수 있는지, 그리고 속도가 빨라질수록 무엇을 보존해야 하는지를 드러낸다. 원 게시물과 댓글은 기대와 불신이 충돌하는 현재의 온도를 그대로 담고 있다.