compute-cost-2k
계산비용($2,000)
포스트에서 언급된 바에 따르면 특정 수학적 문제 열 건의 기계검증 증명을 얻는 데 소요된 총 계산비용이 약 2,000달러였다는 주장이다. 이 수치는 입력 토큰, 모델 크기, 추론 횟수와 클라우드 인스턴스 시간 등을 합산한 비용 산정 결과를 요약한 것이며 증명의 자동화가 경제적으로도 실현 가능함을 시사한다. 비용 정보는 알고리즘·하이퍼파라미터·인프라 구성에 따라 크게 달라질 수 있다는 전제가 깔려 있다.
