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

AI 요약

오픈AI는 20일(현지시간) 자사 인공지능이 폴 에르되시가 1946년에 제기한 평면 단위 거리 문제(ν(n))를 반증해 80년간 미해결이던 난제를 풀었다고 발표했습니다. 오픈AI 소속 수학자 메탑 사우니와 마크 셀키가 이달 7일께 범용 대규모 언어모델(LLM)에 해당 추측의 타당성을 물었고 AI가 추측이 틀렸다고 결론내자 외부 전문가들이 검증해 인간 수학자들이 정리·설명한 참고문헌 포함 18쪽 분량의 논문과 20여 줄 분량의 프롬프트·원문 풀이를 홈페이지에 공개했습니다. 필즈 메달 수상자인 티머시 가워스 케임브리지대 교수는 이를 매우 명확한 첫 사례라고 평가했으며 수학계 전문가들은 AI의 지치지 않는 인내심을 강점으로 꼽았습니다.