2026년 5월, AI가 에르되시의 평면 단위거리 문제(Erdős planar unit distance conjecture)를 반례로 논파했어요

AI가 수십 년 묵은 수학 난제를 풀기 시작했는데, 그걸 검증할 수 있는 사람은 오히려 줄어들고 있어요.

2026년 5월, AI가 에르되시의 평면 단위거리 문제(Erdős planar unit distance conjecture)를 반례로 논파했어요. 그런데 같은 시기 미국은 수학 분야 연방 지원을 잇따라 축소하고 있거든요.

arXiv에 올라온 이 논문은 수학적 역량을 반도체처럼 '전략 인프라'로 봐야 한다고 주장해요. AI가 낸 결론을 그냥 믿는 게 아니라, 기계가 검증 가능한 형식으로 추론 과정을 공개하도록 의무화하자는 제안도 담겨 있어요.

'자동화는 되는데 이해는 못 한다'는 상황, 수학에만 국한된 문제가 아닐 수 있어요.