오픈AI, 80년 묵은 기하학 난제 '에르되시 추측' 반증 성공

AI 요약

오픈AI가 자사 AI 기술로 폴 에르되시(1913∼1996)가 1946년에 제기한 평면 단위 거리 문제 관련 에르되시의 추측을 반증하는 데 성공했다고 발표했습니다. 메탑 사우니와 마크 셀키가 이달 7일께 대규모 언어 모델에 질문을 던져 고차원의 복잡한 대칭 격자를 구성한 뒤 이를 2차원으로 투사하는 방식으로 반증했으며, 오픈AI는 소속 수학자와 외부 전문가의 검증을 거쳐 인간 수학자들이 정리한 프롬프트와 원래 풀이를 포함한 총 18쪽 분량의 논문을 공개했다고 밝혔습니다. 학계 전문가들은 이번 성과를 수학의 주요 미해결 문제를 AI가 자율적으로 해결한 첫 사례로 평가하며 찬사를 보냈습니다.