WORLD NEWS
AI가 80년 된 에르되시 추측을 깼다, 한 번의 질문 뒤 인간이 검증했다
AI 모델이 한 번의 질문을 받고 80년 가까이 남아 있던 에르되시의 단위원 거리 문제 관련 추측을 반례로 무너뜨렸습니다.
수학 전체의 난제를 자동으로 해결했다는 뜻은 아니며 회사 연구진과 독립 수학자들이 결과를 검토했고 사용된 모델과 학습자료의 상세는 공개되지 않았습니다.
어떤 문제였나
평면의 점들을 일정한 거리로 연결한 단위원 거리 그래프에서 색칠과 구조가 어떻게 제한되는지를 묻는 조합기하 문제입니다. 수학자 폴 에르되시는 1940년대부터 특정 형태가 항상 성립할 것이라고 추측했고 수십 년간 일반 증명이나 반례가 없었습니다.
AI는 무엇을 했나
OpenAI 연구진이 문제를 자연어로 한 번 제시하자 내부 추론 모델은 기존에 흔하지 않던 방향으로 반례 구성을 전개했습니다. 핵심은 조건을 만족하면서 추측의 결론을 깨는 유한한 점과 연결 구조를 찾는 일이었습니다. 결과는 사람이 읽을 수 있는 논증으로 정리됐습니다.
정답은 어떻게 확인했나
회사 밖 수학자들이 구성과 논리를 독립적으로 검토해 반례가 조건을 충족한다고 확인했습니다. 수학은 계산이나 형식 검증으로 일부를 재확인할 수 있다는 장점이 있습니다. 그래도 모델 출력만으로 정리가 되는 것은 아니며 문제 정의, 증명 정리와 공개 검증에 사람이 참여했습니다.
무엇이 공개되지 않았나
회사는 증명과 설명을 공개했지만 어떤 내부 모델을 썼는지와 학습자료 전체는 밝히지 않았습니다. 따라서 기존 문헌의 영향과 다른 모델의 재현성을 외부에서 완전히 평가하기 어렵습니다. 수학계는 출처 표시, 동의와 검증 규칙이 기술 속도를 따라가야 한다고 지적합니다.
왜 중요한가
AI가 알려진 풀이를 요약하는 수준을 넘어 새로운 반례 탐색에 기여할 수 있음을 보여준 사례입니다. 동시에 좋은 답을 한 번 냈다는 사실과 일관된 연구 능력은 다릅니다. 공개 가능한 도구, 재현 실험과 엄격한 동료 검토가 다음 기준이 됩니다.