에르되시 단위거리 문제, AI가 80년 만에 반증 — 근데 혼자 풀었을까 | 뷰스터(Viewster)