80년 수학 난제, AI가 풀었다…"무서울 정도로 똑똑해져"

AI 요약

오픈AI의 인공지능 모델이 폴 에르되시가 1946년 제기한 단위 거리 문제(Unit Distance Problem)와 관련해 기존 추측을 뒤집는 증명을 제시했다고 WSJ가 보도했습니다. 이 모델은 정사각형 격자보다 더 많은 단위 거리 쌍을 만들 수 있는 새로운 점 배열을 찾아 에르되시의 추측을 기하학적 반례로 입증했고, 증명 과정에서 7만5000단어가 넘는 분량의 수학적 증명을 생성했으며 연구진은 외부 전문가들과 교차 검증하는 한편 사내 AI 코딩 에이전트를 활용해 결과를 재확인했습니다. 노가 알론 프린스턴대 수학과 교수와 필즈상 수상자 티머시 가워스 콜레주 드 프랑스 교수는 AI의 성과를 높이 평가했고 WSJ는 AI의 급격한 능력 향상을 보도했습니다.