Claude Mythos, Erdős 수학 문제 증명

Anthropic의 엔지니어 Sholto Douglas는 새로운 AI 모델인 Claude Mythos가 80년 동안 미해결 상태였던 Erdős의 distinct distances problem(에르되시의 서로 다른 거리 문제)에 대한 단순하고 새로운 대안적 증명을 찾아냈다고 밝혔다.

이번 성과는 Claude Code라는 실험적 프레임워크를 통해 이루어졌다. 여러 Claude Mythos 에이전트들이 독립적으로 각기 다른 각도에서 문제를 분석한 뒤, 하나의 에이전트가 결과를 통합하고 Claude Opus 4.7을 사용하여 최종 증명을 정교화하는 방식을 사용했다.

수학자 Daniel Litt는 이 증명이 OpenAI의 방대한 문서만큼 엄밀하지는 않더라도, 모델이 완전히 새로운 두 가지 대안적 해결책을 찾아냈다는 점이 매우 인상적이라고 평가했다. 이는 **에이전트 기반 시스템(Agentic systems)**이 독립적인 과학적 돌파구를 마련할 수 있음을 보여주는 강력한 사례다.