X 플랫폼의 게시물에 따르면, 앱토스는 설계된 대로 작동하는 것을 수학적으로 증명할 수 있는 동적 스케줄링의 공식 검증을 지원하는 최초의 L1이며, 앱토스는 AI가 사양을 작성하고 그것이 정확하다는 것을 수학적으로 증명하며, 이동 증명기 또는 예언기는 시장과 기계 사이의 신뢰 계층이라고 설명합니다.