본 논문은 에이전트의 모든 정책 중 최고 성능 정책이 존재함을 증명하고, 비록 해당 정책이 계산 가능하지 않더라도 근접한 계산 가능한 정책이 존재함을 주장합니다. AI를 최고 성능 정책에 충분히 근접한 계산 가능한 정책으로 정의하고, 세계를 기술하는 언어를 개발하여 AI 정의를 만족하는 프로그램을 개발하는 과정을 제시합니다. 이 프로그램은 세계를 기술 언어로 기술하고, 이를 바탕으로 미래를 예측하여 최적의 행동을 선택합니다. 비효율적이지만, 세계 기술 언어와 미래 예측 알고리즘을 개선하여 효율적이고 AI 정의와 일치하는 프로그램을 만들 수 있다고 주장합니다.