1화 2026-07-14

AI의 '노가다'는 어떻게 '통찰'이 되는가 - AI가 50년 묵은 수학 난제를 풀었다.

컴퓨터로 수학의 난제를 증명한 것이 수학적 증명으로 인정될 수 있는지에 대한 논쟁이 있었다. 이른바 4색 문제 논쟁이다. 4색 문제란 "어떤 지도든 인접한 나라를 서로 다른 색으로 칠하는 데 네 가…