OpenAI의 추론 모델이 1946년 헝가리 수학자 에르되시가 제시한 '단위거리 추측'의 반례를 80년 만에 처음으로 찾아냈어요

OpenAI의 추론 모델이 1946년 헝가리 수학자 에르되시가 제시한 '단위거리 추측'의 반례를 80년 만에 처음으로 찾아냈어요.

에르되시는 평면에 점을 배치할 때 정확히 1단위 거리인 쌍의 수가 특정 배열을 넘기 어렵다고 봤는데요. AI는 점 수가 2배 늘 때마다 기존 배열보다 약 1% 더 많은 단위거리 쌍을 만드는 새 구조를 발견했어요. 수십 년간 수론에서만 쓰이던 대수적 정수론 도구를 기하학 문제에 적용한 거예요.

인간 수학자가 이 해법에 도달하려면 '에르되시의 권위에 맞서 반례를 시도할 의지'와 '수체론 전문 지식'이 동시에 필요했는데, AI는 그 두 조건을 모두 충족했다고 검증에 참여한 수학자 토머스 블룸이 밝혔어요. 자동화된 수학적 추론이 어디까지 갈 수 있는지를 보여주는 분기점이 됐어요.