오픈에이아이, 에르되시 단위 거리 추측 반증 성공

주장오픈에이아이의 내부 추론 모델이 헝가리 수학자 폴 에르되시가 제기한 단위 거리 추측을 반증하는 데 성공했습니다. 이는 인공지능이 단순한 보조 도구를 넘어 수학적 난제를 독자적으로 해결할 능력을 갖췄음을 시사합니다.

팩트단위 거리 추측은 평면 위의 점들 사이에서 거리가 정확히 1인 쌍이 얼마나 존재하는지에 관한 조합 기하학 문제입니다. 에르되시는 1946년에 이 문제에 500달러의 상금을 걸었으며, 이는 지난 80년간 수학계의 주요 난제로 남아 있었습니다.

팩트인공지능 모델은 기하학적 접근 대신 대수적 수론의 복잡한 수 체계를 활용하여 기존 사각형 격자보다 더 밀도 높은 점 배열을 찾아냈습니다. 프린스턴 대학교의 윌 사윈은 이 모델이 점의 개수가 두 배가 될 때마다 약 1퍼센트 더 많은 단위 거리 쌍을 생성한다고 분석했습니다.

교차검증이번 성과가 문제의 완전한 해결을 의미하는 것은 아닙니다. 1984년에 확립된 이론적 상한선은 여전히 인공지능이 찾아낸 구조보다 훨씬 높게 위치해 있어 추가 연구가 필요합니다.

주장수학자 토마스 블룸은 인간이 이 문제를 해결하지 못한 이유로 전문적인 체계론 지식과 에르되시의 기존 견해에 반대하려는 의지가 동시에 필요했기 때문이라고 설명합니다. 인공지능은 방대한 지식과 초인적인 인내심을 결합하여 해결책을 도출했습니다.

팩트필즈상 수상자인 팀 가워스는 이번 증명 결과가 매우 뛰어나며, 인간이 제출했다면 주저 없이 수학 학술지에 게재를 추천했을 것이라고 평가했습니다. 그는 이번 성과를 인공지능 수학 분야의 중요한 이정표라고 명명했습니다.

주장이번 사례는 기존의 단순한 문제 해결과는 차원이 다른 성과로 평가받습니다. 오픈에이아이는 이번 결과가 수학의 하위 분야에서 핵심 난제가 인공지능에 의해 자율적으로 해결된 최초의 사례라고 밝혔습니다.

교차검증수학자 다니엘 리트는 왜 유명한 난제들이 비교적 짧고 영리한 논증으로 해결될 수 있는지에 대해 의문을 제기합니다. 이는 연구자들이 기존의 잘못된 가정에 매몰되어 있거나 타 분야의 지식을 활용하지 못하고 있음을 보여주는 방증일 수 있습니다.

팩트토마스 블룸은 이 문제를 자신의 블로그에 10대 난제로 올린 지 불과 한 달 만에 인공지능이 해결책을 내놓을 것이라고는 예상하지 못했습니다. 그는 이번 결과가 수학계에 인공지능의 잠재력을 다시 인식시키는 계기가 되었다고 언급했습니다.

출처더 디코더(The Decoder) 보도를 통해 해당 수학적 성과와 전문가들의 분석 내용을 교차 검증했습니다.