OpenAI는 80년 된 수학 문제를 해결했다고 밝혔습니다.

OpenAI는 최근 자사의 최신 범용 추론 모델이 1946년 유명 수학자 폴 에르되시(Paul Erdös)가 제안한 미해결 기하학적 추측을 뒤집는 독창적인 수학적 증명을 독립적으로 제공했다고 밝혔습니다. OpenAI는 특정 수학 분야의 핵심인 잘 알려진 공공 문제를 인공지능이 독립적으로 해결한 것은 이번이 처음이며, 지지에 참여한 많은 수학자들도 이번이 잘못된 경보가 아니라고 믿고 있습니다.

OpenAI가 "에르도스 문제를 극복하는 AI"에 대해 세간의 이목을 끄는 성명을 발표한 것은 이번이 처음이 아니라는 점은 주목할 가치가 있습니다. 약 7개월 전 당시 회사 부사장이었던 케빈 웨일(Kevin Weil)이 소셜 플랫폼에 글을 올렸습니다. 하지만 곧 누군가가 모델의 소위 "해법"이 실제로 수학 문헌에 이미 존재했으며 GPT-5는 실제로 새로운 해법을 발견하기보다는 기존 결과를 "조회"했을 뿐이라는 점을 지적했습니다. 구글 딥마인드 CEO 데미스 허사비스, 얀 르쿤 등 경쟁사들의 조롱 속에 위어는 결국 해당 게시물을 삭제해 '과장됐다'는 비판을 받았다.

아마도 이러한 경험 때문에 OpenAI는 이번 릴리스에서 분명히 더 신중해졌습니다. 회사는 결과를 발표하면서 이러한 기하학적 추측을 뒤집는 엄밀함을 입증하기 위해 다수의 수학자들이 작성한 '보충 해설' 문서를 공개했다. 이러한 공동 수학자에는 Noga Alon, Melanie Wood 및 Thomas Bloom이 포함됩니다. Bloom은 "Erdos Problems" 웹사이트를 운영하고 있으며 이전 논란에서 Weir의 발언을 "매우 극적인 오해"라고 비판했습니다. 이번에 그는 OpenAI의 편에 서서 새로운 증거를 승인했습니다.

OpenAI는 OpenAI에 따르면 이 결과는 문제를 해결하기 위해 특별히 설계된 수학적 시스템도 아니고 이 기하학적 문제에 대해 "맞춤형 훈련"된 알고리즘도 아닌 일반적인 추론 모델에서 나온 것입니다.

OpenAI는 이번 결과의 의의가 단일 명제 그 자체를 넘어 '장쇄 추론'과 '도메인 간 개념 연결'에서 현재 AI 시스템의 역량 향상을 반영한다고 믿습니다. 이러한 모델은 인간 연구자들이 아직 시도하지 않은 복잡한 공간의 구조적 패턴을 탐구하거나 체계적으로 탐구함으로써 생물학, 물리학, 공학, 의학 등 다양한 분야에서 새로운 발견으로 이어질 것으로 기대됩니다. 즉, AI는 더 이상 기존 증명을 검증하거나 기존 문헌을 검색하는 데 그치지 않고 '새로운 구조와 아이디어 제안'에 더욱 적극적인 역할을 하기 시작한다.

블룸은 성명에서 인공지능이 인간이 "우리가 수백 년에 걸쳐 함께 구축해 온 수학적 대성당을 더욱 완전하게 탐구"하는 데 도움을 주고 있다고 말했습니다. 그는 "얼마나 많은 보이지 않는 기적이 아직도 드러나기를 기다리고 있습니까?"라고 물었습니다. 'AI가 진정으로 독창적인 과학적 발견을 할 수 있는가'에 대한 논의가 아직 수그러들지 않은 상황에서, 수학계의 검토를 거쳐 승인된 이 기하학적 추측의 반례는 이후 논쟁의 중요한 참고점이 될 수 있다.