80년 수학 난제, AI가 풀었다…오픈AI "에르되시 '평면 단위 거리' 스스로 해결"

AI 요약

챗GPT 개발사인 오픈AI는 현지시간 20일 자사 AI가 폴 에르되시가 1946년에 제시한 '평면 단위 거리 문제'의 에르되시 추측을 반증하는 정리를 증명해 80년간의 미해결 난제를 풀었다고 발표했습니다. AI는 어떤 상수 δ>0과 무수히 많은 n에 대해 ν(n) ≥ n^(1+δ)이 성립한다는 정리를 증명했으며, 오픈AI는 관련 분야 전문가들의 검증을 거쳐 AI가 낸 풀이와 프롬프트를 포함한 총 18쪽 분량의 논문을 공개했습니다. 회사는 범용 추론 모델이 고차원의 복잡한 대칭 격자를 구성해 이를 2차원으로 투사하는 방식으로 해법을 찾았다고 설명했고, 학계는 이번 성과를 높이 평가했으며 프린스턴대의 윌 사윈 교수는 δ=0.014로 잡으면 된다는 점을 증명해 곧 발표할 예정입니다.