오픈AI 80년 수학난제 해결…"AI 자율로 핵심 난제 푼 첫 사례"

AI 요약

오픈AI는 자사 AI가 에르되시가 제시한 '평면 단위 거리 문제'에 대한 오랜 추측을 반증하는 정리를 증명했다고 20일(현지시간) 발표했으며, 오픈AI 소속 수학자 메탑 사우니와 마크 셀키가 범용 대규모 언어 모델(LLM)에 질문을 던져 AI가 "어떤 상수 δ > 0과 무수히 많은 n에 대해 ν(n) ≥ n^(1+δ)이 성립한다"는 내용을 증명했다고 설명했습니다. 회사는 이번 성과가 수학 문제 전용 모델이 아닌 범용 모델로 이뤄졌고, AI가 고차원의 대칭 격자를 구성해 이를 2차원으로 투사하는 방식으로 한계를 돌파했다고 밝혔으며 AI가 제시한 증명은 소속 연구자들과 외부 전문가들이 검증하고 인간이 정리해 참고문헌을 포함한 18쪽 분량의 논문으로 공개했다고 설명했습니다. 학계에서는 이번 성과를 높이 평가했으며, 원래 AI 증명에 명시되지 않았던 상수 δ에 대해 윌 사윈 프린스턴대 교수는 δ=0.014로 잡으면 된다는 점을 증명해 곧 발표할 예정입니다.