Claude Mythos, OpenAI의 획기적인 Erdős 문제를 '귀엽고 단순한 증명'으로 해결

Anthropic의 엔지니어 Sholto Douglas는 Claude Mythos가 1946년부터 미해결 상태였던 조합 기하학의 난제인 Erdős unit-distance conjecture를 "귀엽고 단순한 증명"으로 해결했다고 밝혔다. 이는 AI가 수학적 발견을 주도할 수 있는 강력한 잠재력을 시사한다.

이번 성과는 Claude Code 인스턴스를 활용한 테스트 시스템을 통해 이루어졌다. 시스템은 다음과 같은 방식으로 작동한다:

• Mythos 권한을 가진 개별 Claude Code 인스턴스가 문제를 수신하고 해결 경로를 개발한다.
• 하나의 인스턴스가 해결책을 요약하여 독립적으로 작업 중인 다른 인스턴스들에 배포한다.

Mythos는 OpenAI의 모델과는 다른 경로를 자주 찾아냈으며, 수학자 Daniel Litt는 결과가 OpenAI보다 "약간 아쉽다"고 평가하면서도 Mythos가 OpenAI의 해법까지 찾아냈음을 언급했다.

한편, Google DeepMind의 AlphaProof 역시 유사한 문제를 해결했으나, 이는 Lean이라는 형식 증명 언어에 의존한다는 점에서 차이가 있다. 또한 Claude Code는 순수 LLM이 아닌 에이전트 기반의 시스템(agentic harness)으로 작동한다.