오픈AI(OpenAI)가 개발한 AI 모델 '아스트라(Astra)'가 수십 년간 미해결 상태였던 10가지 수학 난제에 대한 해법을 제시하며 수학계에 큰 충격을 주고 있습니다. 이는 텍스트나 이미지를 생성하는 AI처럼 방대한 학습 데이터를 통해 패턴과 연결성을 학습하고 새로운 결과를 도출하는 방식으로, 기존의 수학 연구 방식에 근본적인 변화를 가져올 것으로 예상됩니다. 옥스퍼드 대학교의 저명한 수학자이자 필즈상 수상자인 제임스 메이너드(James Maynard) 교수는 AI의 등장으로 자신의 분야가 직면한 미래에 대해 깊은 고민에 빠졌다고 언급했습니다.
아스트라가 해결한 문제들은 3차원 이상의 구체 밀집 문제, 오류 수정 코드의 한계 확장, 복잡한 연결망의 구조적 패턴 분석 등 다양한 분야를 아우릅니다. 특히, 수십 년간 존재 여부조차 불분명했던 '비소픽 군(non-sofic groups)'의 존재 증명은 큰 주목을 받았습니다. 다만, 이 비소픽 군 문제 해결 과정에서 오픈AI가 초기 발표에서 인간 수학자들의 선행 연구 기여를 충분히 인정하지 않아 논란이 일기도 했습니다. 케임브리지 대학교의 프란체스코 푸르니에-파치오(Francesco Fournier-Facio)와 헝가리 알프레드 레니 수학 연구소의 가보르 쿤(Gábor Kun) 등 관련 연구자들은 오픈AI의 발표가 자신들의 2016년, 2019년 연구 성과를 충분히 반영하지 못했다고 지적했으며, 오픈AI는 이후 해당 내용을 수정했습니다.
이번 AI의 수학 난제 해결은 수학적 발견을 가속화할 잠재력에 대한 엄청난 기대를 불러일으키고 있습니다. AI는 서로 다른 분야의 개념을 연결하거나 오래된 학술 문헌 속 아이디어를 재조명하는 등 인간 수학자들이 놓칠 수 있는 새로운 통찰을 제공할 수 있습니다. 그러나 동시에, 평생을 수학 연구에 헌신해 온 학자들과 미래 세대 수학자들의 역할에 대한 깊은 우려와 불안감 또한 커지고 있습니다. 수학 분야의 전문가들은 AI가 가져올 변화가 이미 시작되었으며, 이는 피할 수 없는 거대한 변혁이 될 것이라고 전망하고 있습니다.