Claude Opus 4.6, 도널드 크누스의 미해결 수학 문제를 풀어내다

AI가 세계 최고의 수학자와 협업하다

컴퓨터 과학계의 살아있는 전설이자 The Art of Computer Programming 시리즈의 저자 도널드 크누스(Donald Knuth) 스탠퍼드 대학 명예교수가 2026년 3월 2일, Claude Opus 4.6과의 협업을 기록한 공식 논문을 발표했습니다.

문제의 배경

크누스 교수는 The Art of Computer Programming의 미래 권을 집필하는 과정에서 m³개의 꼭짓점을 가진 방향 그래프(digraph)의 방향성 해밀턴 순환 분해(directed Hamiltonian cycle decomposition) 문제에 봉착했습니다. 그의 친구이자 수학자인 Filip Stappers가 4 ≤ m ≤ 16 범위에서 실험적으로 해를 발견해 일반적인 해결책의 존재를 강력히 시사했지만, 이를 수학적으로 증명하는 방법은 여전히 미지수였습니다.

Claude의 문제 해결 과정

크누스 교수가 Claude Opus 4.6에게 이 문제를 제시하자, AI는 어디서 해를 찾아야 할지를 스스로 추론하여 문제를 풀어냈습니다. 논문에 따르면 Claude가 선택한 접근법은 수백 가지 가능한 방법 중 하나였으며, AI는 이를 정확히 도출해냈습니다.

학계에 미치는 의미

이 논문은 2026년 2월 28일에 초안이 작성되어 3월 2일에 최종 수정되었습니다. CS 분야 최고의 권위자 중 한 명이 LLM의 수학적 기여를 공식 논문에서 인정했다는 점에서 AI 연구사에 중요한 이정표로 기록될 것입니다. Hacker News에서는 이 논문이 188점을 획득하며 큰 화제를 모았고, Claude의 성과가 진정한 수학적 추론인지 정교한 패턴 매칭인지에 관한 활발한 토론이 이어졌습니다.

이번 사례는 LLM이 세계 수준의 연구자와의 협업에서 실질적인 가치를 창출할 수 있음을 보여주는 구체적인 증거로 평가됩니다.