오픈AI가 공개한, 3×3 격자에 배치된 9개 점에서 단위 거리 점 쌍이 12개 생성되는 시각화 이미지
오픈AI가 공개한, 3×3 격자에 배치된 9개 점에서 단위 거리 점 쌍이 12개 생성되는 시각화 이미지

고차원 격자 투영으로 한계를 깬 AI의 해법은 이 분야를 따르는 동료와 함께 보면 더 풍부해요.

AI, 80년 수학 난제 정복 기사 흐름과 주요 사실

오픈AI가 80년간 미해결 상태였던 수학계의 주요 난제인 '평면 단위 거리 문제'를 인공지능 기술로 반증하며 수학계에 충격을 주고 있습니다. 이 문제는 헝가리 수학자 폴 에르되시가 1946년 제시한 것으로, 평면 위 n개의 점에서 단위 거리로 연결된 점 쌍의 최대 개수 ν(n)를 묻는 이산 기하학의 핵심 질문이었습니다. 에르되시는 이 값이 점을 정사각형 격자 형태로 배치할 때 최적이라는 추측을 내놨지만, 오픈AI의 AI 모델은 이 추측이 틀렸음을 증명하고, 고차원 대칭 격자를 2차원으로 투영하는 새로운 방법으로 더 많은 점 쌍을 생성할 수 있음을 보여줬습니다.

주요 사실

  • 오픈AI는 2026년 5월 7일경 AI가 폴 에르되시의 '평면 단위 거리 문제' 추측을 반증하는 정리를 증명했다고 발표함
  • AI는 고차원 대칭 격자를 2차원 평면에 투영해 기존 정사각형 격자보다 더 많은 단위 거리 점 쌍을 생성하는 새로운 방법을 발견함
  • 이번 증명은 범용 대규모 언어 모델(LLM)로 이뤄졌으며, 인간 수학자들이 검증하고 18쪽 분량의 논문으로 정리해 공개함

Canto가 정리한 비주얼 뉴스 해설이에요. 제작에는 AI 도구가 보조될 수 있습니다. 편집정책