오픈AI의 최신 대규모 언어모델(LLM)인 GPT-5.6 솔 울트라(Sol Ultra)가 40년 이상 미해결 상태였던 그래프 이론의 난제, '사이클 이중 덮개 추측(Cycle Double Cover Conjecture)'을 증명하는 데 성공했습니다. 이는 인공지능이 복잡한 수학적 추론을 통해 기존에 알려지지 않았던 해답을 찾아낼 수 있음을 보여주는 기념비적인 사건으로 평가받고 있습니다.
이번 증명은 모델이 스스로 모든 것을 해결한 것이 아니라, 인간이 제공한 정교한 프롬프트(prompt)와 전략이 결정적인 역할을 했습니다. 특히, 모델에게 '단계별로 생각하라'거나 '특정 전략을 따르라'는 지시를 통해 탐색 공간을 넓히고, 조기 수렴을 막으며, 시간 제약을 두지 않는 방식으로 추론을 유도한 점이 주목됩니다. 이는 마치 초기 GPT-4 모델에 '사고 연쇄(Chain-of-Thought)' 프롬프트를 적용했던 방식과 유사하며, 모델이 기본적으로 짧고 직접적인 답변을 선호하도록 후훈련(post-training)되었기 때문에, 깊이 있는 추론을 위해서는 명확한 안내가 필요함을 시사합니다.
이러한 성과는 인공지능이 소프트웨어 공학이나 수학처럼 해답의 정확성을 쉽게 명시하고 검증할 수 있는 분야에서 특히 강력한 도구가 될 수 있음을 보여줍니다. AI가 직접 일자리를 대체하기보다는, AI가 생성한 고품질 소프트웨어가 다양한 산업에서 자동화를 가속화할 가능성이 높다는 분석도 나옵니다. 이번 증명은 AI가 체스 소프트웨어가 그랜드마스터를 제외한 모든 사람을 이기기 시작했던 시점처럼, 특정 분야에서 인간의 능력을 뛰어넘는 중요한 전환점이 될 수 있음을 의미합니다.