도널드 커누스, Anthropic의 Claude Opus 4.6이 미해결 난제를 해결한 것에 경탄하다

섹션별 상세

도널드 커누스는 Anthropic이 출시한 하이브리드 추론 모델인 Claude Opus 4.6이 자신이 수주간 연구하던 오픈 프라블럼(open problem)을 해결했음을 확인했다.

커누스는 해당 모델의 자동 연역 능력과 창의적인 문제 해결 방식이 보여준 비약적인 발전에 대해 충격적이라는 표현을 사용하며 기쁨을 드러냈다.

이번 경험을 통해 커누스는 기존에 가졌던 생성형 AI에 대한 부정적이거나 회의적인 견해를 수정할 필요성을 느꼈다고 고백했다.

하이브리드 추론 모델(Hybrid Reasoning Model): — 전통적인 논리적 추론 방식과 신경망 기반의 생성 능력을 결합한 AI 모델이다. 복잡한 수학적 증명이나 논리적 난제를 해결할 때 단순한 패턴 매칭을 넘어 단계별 사고를 수행하는 데 강점이 있다.
자동 연역(Automatic Deduction): — 컴퓨터 프로그램을 사용하여 주어진 전제로부터 논리적 결론을 도출하거나 수학적 정리를 증명하는 과정이다. AI가 인간의 개입 없이 스스로 논리적 단계를 밟아 문제를 해결하는 핵심 기술이다.
미해결 난제(Open Problem): — 해당 분야의 전문가들이 인지하고 있으나 아직 증명되거나 해결되지 않은 수학적 또는 과학적 질문이다. 이를 해결하는 것은 해당 학문 분야에서 매우 중요한 성과로 간주된다.