AI의 수학 난제 해결과 에르되시 문제의 새로운 국면

팩트오픈AI는 2026년 5월 20일, 자사 내부 인공지능 모델이 1946년 폴 에르되시가 제기한 단위 거리 문제에 대한 반례를 발견했다고 발표했습니다. 이는 인공지능이 역사적으로 중요한 수학적 증명을 성공시킨 첫 사례입니다.

주장이러한 성과는 수학적 연구 방식이 극적인 변화를 맞이하는 상전이 단계에 진입했음을 의미합니다. 인공지능은 기존 수학자들이 시도하지 않은 분야의 아이디어를 결합하여 문제 해결의 실마리를 제공합니다.

팩트오픈AI는 2026년 8월 1일, 미공개 모델인 아스트라가 에르되시의 추가 문제 3개를 포함해 총 10개의 수학적 진전을 이루어냈다고 밝혔습니다. 이는 인공지능이 특정 분야를 넘어 수학 전반에서 문제 해결 능력을 발휘함을 시사합니다.

주장수학자 노가 알론은 인공지능이 현대 수학 연구의 새로운 동력으로 자리 잡았다고 평가합니다. 인공지능은 방대한 데이터를 바탕으로 인간이 미처 고려하지 못한 논리적 경로를 탐색합니다.

교차검증인공지능이 제시한 결과가 항상 완벽한 것은 아닙니다. 인간 수학자들은 인공지능의 초기 결과를 바탕으로 몇 주 내에 이를 개선하고 보완하는 역할을 수행합니다.

주장인공지능은 강력한 도구이지만, 최종적인 검증과 심화 연구는 여전히 인간의 영역에 남아 있습니다. 인간과 인공지능의 협업은 수학적 난제 해결의 새로운 표준이 됩니다.

팩트폴 에르되시는 생전 수천 개의 수학 문제를 제기했으며, 난이도에 따라 직접 상금을 걸었습니다. 1996년 그가 사망한 이후, 아이오와에 기반을 둔 비영리 재단이 상금 약속을 이행합니다.

주장에르되시의 난제들이 거대 기술 기업의 기술력을 증명하는 시험대로 활용되는 상황은 역설적입니다. 과거 수학자가 던진 질문이 현대 인공지능 모델의 성능을 측정하는 핵심 지표가 되었습니다.

팩트영국 수학자 토마스 블룸은 2023년 초, 에르되시의 문제들을 정리한 웹사이트인 에르되시 프라블럼스 닷컴을 개설했습니다. 그는 챗GPT를 활용해 웹사이트 코드를 작성했으며, 현재 약 1,000개의 문제를 데이터베이스로 관리합니다.

교차검증해당 웹사이트는 단순히 문제를 나열하는 것을 넘어 전 세계 수학자와 연구자가 소통하는 커뮤니티로 발전했습니다. 2024년부터 2025년 8월까지 총 111개의 문제가 미해결 상태에서 해결 상태로 변경되었습니다.

팩트아마추어 수학자 바우터 반 도른은 2025년 10월, 에르되시의 1102번 문제인 제곱 인수가 없는 정수의 성질에 대해 논의를 시작했습니다. 그는 인공지능의 도움 없이 논리적 추론으로 접근했으며, 이후 수학자 테렌스 타오와 토론을 나누었습니다.

출처퀀타 매거진(Quanta Magazine)의 2026년 8월 3일 자 보도를 통해 위 내용을 교차 검증했습니다.