Claude Mythos, OpenAI의 획기적인 에르되시 문제를 "귀엽고 단순한 증명"으로 풀어낸 것으로 알려져

앤트로픽 직원들은 Claude Mythos가 내부 멀티 인스턴스 테스트에서 에르되시 단위거리 추측의 짧은 증명을 찾았다고 전했다.

이 모델은 오픈AI와 다른 경로를 발견했지만, 같은 결론에도 도달한 것으로 알려졌다.

최근 다른 AI 시스템들도 Lean 등 형식 검증 도구를 활용해 추가적인 에르되시 문제를 풀고 있다.

이번 사례는 AI가 어려운 미해결 문제에서 새로운 증명을 만들어내는 단계로 빠르게 나아가고 있음을 보여준다.