[6월1일] AI의 수학 난제 돌파에 충격받은 수학계…왜 인간은 실패하고 AI는 성공했나

AI 요약

오픈AI는 지난달 20일(현지시간) 새로운 추론 모델이 폴 에르되시가 1946년 제기한 미해결 기하학 추측을 반박하는 독창적 증명을 만들어냈다고 주장했고, 21일에는 구글의 알파프루프 넥서스가 에르되시 문제 9개와 OEIS 추측 44개를 해결했다고 발표했습니다. 두 사례 모두 AI가 증명을 제시하고 검증까지 통과했으며 문제당 수백달러 수준의 연산만 사용했다고 밝혔고, 일부 저명한 수학자들은 극찬을 보냈습니다. 기사는 AI가 특정 가설을 전제로 하지 않고 반례 가능성까지 탐색해 대수적 정수론과 이산 기하학을 결합하는 등 새로운 연결고리를 발견하고 24시간 대규모 추론을 수행한 점을 주목하면서도 최상위 난제는 여전히 남아 있고 연구의 의미와 활용은 인간의 몫이라는 분석을 함께 전했습니다.