평면 단위 거리 문제
평면 위의 점들 사이의 거리가 1인 쌍의 최대 개수를 구하는 1946년 제기된 수학적 난제. 최근 AI 모델이 이를 해결하며 수학적 추론 능력을 입증한 사례로 언급된다.