Knuth의 'Claude Cycles' 문제에서 인간·AI·증명 보조기의 협업 진전

Donald Knuth가 제시한 Hamiltonian 분해 문제의 미해결 부분이 인간과 AI의 협업으로 확장 해결되었다. Claude가 홀수 m의 해법을 찾아 ‘Claude’s Cycles’로 명명되었으며, 이후 11,502개 순환 중 996개가 검증되었다. 커뮤니티에서는 LLM의 넓은 탐색 능력과 Lean 기반 강화학습으로의 전환 가능성, 그리고 문제의 올바른 표현이 핵심이라는 수학자의 견해가 논의되었다.

커뮤니티 의견

• @GN⁺: “AI가 맥도날드를 운영하기 전에 필즈상을 받을 것이라 예측. 앞으로는 Lean 구문 트리 기반의 AlphaGo식 강화학습으로 전환될 것. 좋은 증명은 문제의 표현 방식이 핵심.”

💡 실무 포인트: 수학·알고리즘 연구에서 LLM을 탐색 도구로 활용하는 사례가 늘고 있다. 복잡한 조합론적 문제에서 AI를 초기 해법 탐색에 활용하고 형식 검증 도구로 확인하는 워크플로우를 고려할 만하다.