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

AI 요약

오픈AI는 20일(현지시간) 자사 AI가 80년간 미해결이던 폴 에르되시의 '평면 단위 거리 문제'에 대해 어떤 상수 δ>0와 무수히 많은 n에 대해 ν(n) ≥ n^(1+δ)이 성립한다는 정리를 증명해 에르되시의 추측(ν(n) ≤ n^(1 + O(1/log log n)))을 반증했다고 발표했습니다. 오픈AI는 메탑 사우니와 마크 셀키가 범용 대규모 언어 모델(LLM)에 해당 질문을 던져 나온 풀이를 외부 전문가들에게 검증받고 인간 수학자들이 정리해 참고문헌을 포함한 총 18쪽 분량의 논문과 프롬프트·원문 출력을 홈페이지에 공개했으며, 학계에서는 티머시 가워스 등이 이를 평가했고 프린스턴대의 윌 사윈은 δ=0.014로 잡으면 된다는 점을 증명해 곧 발표할 예정입니다.