80년 묵은 에르되시 기하학 추측, OpenAI 모델이 반증
Original: OpenAI Model Disproves 80-Year-Old Erdős Geometry Conjecture View original →
개요
OpenAI는 자사의 범용 추론 모델이 평면 단위 거리 문제(planar unit distance problem)를 해결했다고 발표했다. 헝가리 수학자 폴 에르되시(Paul Erdős)가 1946년에 처음 제시한 이 문제는 80년 가까이 수학계의 미해결 난제로 남아 있었다.
어떤 문제였나
평면 위 n개의 점에서 거리가 1인 점 쌍의 최대 개수를 구하는 것이 이 문제의 핵심이다. 80년 동안 수학자들은 정사각형 격자(square grid)가 최적에 가장 가깝다고 믿어왔다. 그런데 OpenAI 모델이 정사각형 격자보다 훨씬 더 많은 단위 거리 쌍을 만들어내는 무한한 점 배열 집합을 발견함으로써 이 오랜 믿음을 뒤집었다.
검증 과정
수학자 노가 알론(Noga Alon), 멜라니 우드(Melanie Wood), 토머스 블룸(Thomas Bloom)이 증명을 검토하고 동반 논문을 작성했다. 블룸은 7개월 전 OpenAI의 유사 주장을 "명백한 왜곡"이라 비판한 장본인으로, 그의 이번 지지는 결과의 신뢰성을 더욱 높인다.
의의
OpenAI는 이번 결과가 AI가 특정 수학 분야의 주요 미해결 문제를 자율적으로 처음 풀어낸 사례라고 밝혔다. 이 모델은 수학 전용 시스템이 아니었으며, 범용 추론 능력만으로 80년 된 난제를 해결했다는 점이 특히 주목된다.
Related Articles
OpenAI의 범용 추론 모델이 1946년 폴 에르되시가 제기한 이산 기하학의 핵심 추측을 자율적으로 반증했다. AI가 수학의 주요 미해결 문제를 독립적으로 해결한 것은 역사상 처음이며, 다수의 수학자들이 독립적으로 검증했다.
HN은 이번 수학 이야기를 "AI가 또 해냈다"보다 사람이 못 본 길을 찍어준 사건으로 봤다. 거친 GPT-5.4 Pro 초안을 수학자들이 추려내고 다듬는 과정 자체가 더 큰 화제가 됐다.
r/singularity는 “AI가 또 문제를 맞혔다”보다 “이번엔 진짜 새 수가 나온 건가”에 더 꽂혔다. Scientific American이 전한 23세 Liam Price와 GPT-5.4 Pro의 60년 묵은 Erdos 문제 풀이가, novelty와 전문가 정리 작업, 수학자 역할을 둘러싼 토론으로 번졌다.
Comments (0)
No comments yet. Be the first to comment!